Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees

Electronic Notes in Theoretical Computer Science

Volumn 208, Issue C, 2008, Pages 77-93

  Silva, José L ^a   Campos, José Creissac ^a   Paiva, Ana C R ^b  

^a UNIVERSITY OF MINHO   (Portugal)

^b UNIVERSITY OF PORTO   (Portugal)

Author keywords

ConcurTaskTrees; Model based testing; Spec Explorer

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; MODEL CHECKING; PROBLEM SOLVING;

ANALYTIC MODELS; LEVEL OF ABSTRACTION; MODEL BASED TESTING; SOFTWARE ARTEFACT;

USER INTERFACES;

EID: 41949107842     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.03.108     Document Type: Article

References (16)

1. Barnett, M., R. DeLine, B. Jacobs, M. Fhndrich, K.R.M. Leino, W. Schulte and H. Venter, The spec# programming system: Challenges and directions, in: VSTTE2005 - Verified Software: Theories, Tools, Experiments, ETH, Zurich, Switzerland, 2005, uRL: http://vstte.ethz.ch/program.html
2. Barnett M., Leino K.R.M., and Schulte W. The Spec# programming system: An overview. In: Barthe G., Burdy L., Huisman M., Lanet J.-L., and Muntean T. (Eds). Construction and Analysis of Safe, Secure, and Interoperable Smart Devices. Lecture Notes in Computer Science 3362 (2005) 49-69
3. Campbell, C., W. Grieskamp, L Nachmanson, W. Schulte, N. Tillmann and M. Veanes, Model-based testing of object-oriented reactive systems with spec explorer, Technical Report MSR-TR-2005-59, Microsoft Research (2005)
4. d'Ausbourg B., Durrieu G., and Roché P. Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behaviour. In: Bodart F., and Vanderdonckt J. (Eds). Design, Specification and Verification of Interactive Systems '96. Springer Computer Science (1996), Springer-Verlag/Wien 105-122
5. Hartman, A. and K. Nagin, The AGEDIS tools for model based testing, in: G. Rothermel, editor, ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis (2004), pp. 129-132
6. Horrocks I. Constructing the User Interface with Statecharts (1999), Addison-Wesley, Harlow, England
7. Li, S.Y.W., A. Blandford, P. Cairns and R.M. Young, Post-completion errors in problem solving, in: B.G. Bara, L. Barsalou and M. Bucciarelli, editors, CogSci 2005: XXVII Annual Conference of the Cognitive Science Society (2005), pp. 1278-1283
8. Memon, A.M., M.E. Pollack and M.L. Soffa, Automated test oracles for GUIs, in: D.S. Rosenblum, editor, SIGSOFT '00/FSE-8: Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering (2000), pp. 30-39
9. Mori G., Paternó F., and Santoro C. Design and development of multi-device user interfaces through multiple logical descriptions. IEEE Transactions on Software Engineering 30 (2004) 507-520
10. Mugridge R., and Cunningham W. Fit for Developing Software: Framework for Integrated Tests (2005), Prentice-Hall
11. P., A.C.R.P., "Automated Specification-Based Testing of Graphical User Interfaces," Ph.D. thesis, Engineering Faculty of Porto University, Department of Electrical and Computer Engineering (2007). URL http://www.fe.up.pt/~apaiva/PhD/PhDGUITesting.pdf
12. Paiva A.C., Faria J.P., Tillmann N., and Vidal R.M. A model-to-implementation mapping tool for automated model-based GUI testing. In: Lau K.-K., and Banach R. (Eds). Formal Methods and Software Engineering. Lecture Notes in Computer Science 3785 (2005) 450-464
13. Paiva, A.C., N. Tillmann, J.P. Faria and R.M. Vidal, Modeling and testing hierarchical guis, in: Proceedings of the 12th International Workshop on Abstract State Machines, ASM'05, 2005, pp. 329-344, uRL: http://www.univ-paris12.fr/lacl/dima/asm05/asm05-contents.html
14. Paternò F. ConcurTaskTrees: An engineered notation for task models. In: Diaper D., and Stanton N. (Eds). The Handbook of Task Analysis for Human-Computer Interaction (2003), LEA 483-503
15. Puerta, A. and J. Eisenstein, Towards a general computational framework for model-based interface development systems, in: Proceedings ACM IUI99 (1999), pp. 171-178
16. Warren, C., The task oriented modelling (TOM) approach to the development of real-time safety-critical systems, in: S. Ashlund, K. Mullet, A. Henderson, E. Hollnagel and T. White, editors, INTERACT '93 and CHI '93 conference companion (1993), pp. 167-168