Model-based user interface testing with Spec Explorer and ConcurTaskTrees

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 imp...

Full description

Bibliographic Details
Main Author: José L. Silva (author)
Other Authors: José Creissac Campos (author), Ana C. R. Paiva (author)
Format: article
Language:eng
Published: 2008
Subjects:
Online Access:https://repositorio-aberto.up.pt/handle/10216/89709
Country:Portugal
Oai:oai:repositorio-aberto.up.pt:10216/89709
Description
Summary: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.