Open AccessModel-based User Interface Testing With Spec Explorer and ConcurTaskTrees
Author(s) -
José Luís Silva,
José Creissac Campos,
Ana C. R. Paiva
Publication year - 2008
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2008.03.108
Subject(s) - computer science , usability , oracle , user interface , spec# , component based usability testing , interface (matter) , non regression testing , process (computing) , model based testing , software engineering , abstraction , software performance testing , graphical user interface testing , software , human–computer interaction , user interface design , programming language , heuristic evaluation , software development , usability inspection , test case , software construction , machine learning , operating system , philosophy , maximum bubble pressure method , regression analysis , bubble , epistemology
Analytic usability analysis methods have been proposed as an alternative to user testing in early phases of development due to the cost of the latter approach. By working with models of the systems, analytic models are not capable of identifying implementation related problems that might have an impact on usability. Model-based testing enables the testing of an implemented software artefact against a model of what it should be (the oracle). In the case of model-based user interface testing, the models should be expressed at an adequate level of abstraction, adequately modelling the interaction process. This paper describes an effort to develop tool support enabling the use of task models as oracles for model-based testing of user interfaces
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom