Model-based user interface testing with Spec Explorer and ConcurTaskTrees

• Type: Article in International Scientific Journal
• Date: 2008

Authors

José L. Silva (Author) Other; José Creissac Campos (Author) Other; Ana C. R. Paiva (Author) FEUP

Journal

Title: Electronic Notes in Theoretical Computer Science

Vol. 208 No. C, 14 April 2008

Pages: 77-93

ISSN: 1571-0661

Publisher: Elsevier

Indexing

ISI Web of Knowledge

Scopus - 28 Citations

Scientific classification

CORDIS: Technological sciences > Engineering > Computer engineering

Other information

Authenticus ID: P-007-KTF

DOI: 10.1016/j.entcs.2008.03.108

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 17