Controlling Testing Using Three-Tier Model Architecture

Electronic Notes in Theoretical Computer Science

Volumn 164, Issue 4 SPEC. ISS., 2006, Pages 53-66

  Kervinen, Antti ^a   Maunumaa, Mika ^a   Katara, Mika ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

action word; coverage; GUI; keyword; Model based testing; Symbian; test control

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER TESTING; CONTROL SYSTEM ANALYSIS; GRAPHICAL USER INTERFACES; MATHEMATICAL MODELS; NAVIGATION;

ACTION WORDS; COVERAGE; KEYWORDS; MODEL BASED TESTING; SYMBIAN; TEST CONTROL;

COMPUTER ARCHITECTURE;

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

References (12)

1. Buwalda H. Action figures. STQE Magazine, March/April 2003 (2003) 42-47
2. Fewster M., and Graham D. Software Test Automation (1999), Addison-Wesley
3. Hansen, H., H. Virtanen and A. Valmari, Merging state-based and action-based verification, in: Proceedings of the Third International Conference on Application of Concurrency to System Design (2003), pp. 150-156
4. Hartman, A. and K. Nagin, The AGEDIS tools for model based testing, in: ISSTA '04: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (2004), pp. 129-132
5. Intuwave. m-Test homepage. At URL. http://www.intuwave.com
6. Karsisto, K., A new parallel composition operator for verification tools, Doctoral dissertation, Tampere University of Technology (number 420 in publications) (2003)
7. Kervinen, A., M. Maunumaa, T. Pääkkönen and M. Katara, Model-based testing through a GUI, in: Proceedings of the 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005
8. Kervinen A., and Virolainen P. Heuristics for faster error detection with automated black box testing. Proceedings of the Workshop on Model Based Testing. (MBT 2004). Electronic Notes in Theoretical Computer Science 111 (2005) 53-71
9. Mercury Interactive. QuickTest Pro homepage. At URL. http://www.mercury.com
10. Rankin C. The software testing automation framework. IBM Systems Journal: Software Testing and Verification 41 1 (2002) 126-139
11. SAFS. Software automation framework support homepage. At URL (2006). http://safsdev.sourceforge.net/
12. Symbian Ltd. Symbian Operating System homepage. At URL (2006). http://www.symbian.com/