Formal and experimental validation approaches in HCI systems design based on a shared event B model

Authors:
Yamine Ait-Ameur;Mickael Baron
Affiliations:
LISI - ENSMA and University of Poitiers, BP 40109, 86961, Futuroscope Cedex, France;LISI - ENSMA and University of Poitiers, BP 40109, 86961, Futuroscope Cedex, France
Venue:
International Journal on Software Tools for Technology Transfer (STTT)
Year:
2006

Citing 0
Cited 4

Combining test case generation for component and integration testing

Proceedings of the 3rd international workshop on Advances in model-based testing
Task descriptions using academic oriented modelling languages: a survey of actual practices across the SIGCHI community

INTERACT'11 Proceedings of the 13th IFIP TC 13 international conference on Human-computer interaction - Volume Part III
Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking

International Journal of Human-Computer Studies
Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking

Computational & Mathematical Organization Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

The development of user interfaces (UI) needs validation and verification of a set of required properties. Different kinds of properties are relevant to the human computer interaction (HCI) area. Not all of them may be checked using classical software engineering validation and verification tools. Indeed, a large part of properties is related to the user and to usability. Moreover, this kind of properties usually requires an experimental validation. This paper addresses the cooperation between formal and experimental HCI properties validation and verification. It focuses on a proof based technique (event B) and a Model Based System (MBS) based technique (SUIDT). Moreover, this paper tries to bridge the gap between both approaches in order to reduce the heterogeneity they lead to.