Towards deploying model-based testing with a domain-specific modeling approach

Proceedings - Testing: Academic and Industrial Conference - Practice and Research Techniques, TAIC PART 2006

Volumn , Issue , 2006, Pages 81-89

  Katara, Mika ^a   Kervinen, Antti ^a   Maunumaa, Mika ^a   Pääkkönen, Tuula ^b   Satama, Mikko ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

^b NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASSOCIATED TOOL; CAPTURE/REPLAY; DOMAIN SPECIFIC; DOMAIN SPECIFIC MODELING; GENERIC SOLUTIONS; GUI TESTING; HIGH LEVEL OF ABSTRACTION; INDUSTRIAL CONTEXT; LABELED TRANSITION SYSTEMS; MODEL BASED TESTING; TEST AUTOMATION; TEST CASE; TRANSITION LABELS; USER BEHAVIORS;

BEHAVIORAL RESEARCH; GRAPHICAL USER INTERFACES; INDUSTRY;

MODEL CHECKING;

EID: 38049107184     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TAIC-PART.2006.34     Document Type: Conference Paper

References (10)

1. British Computer Society. ISEB foundation certificate in software testing material, 2001.
2. H. Buwalda. Action figures. STQE Magazine, March/April 2003, pages 42-47, 2003.
3. Domain-Specific Modelling Forum. DSM case studies and examples. Available at http://www.dsmforum.org/cases.html, 2006.
4. I. K. El-Far. Enjoying the perks of model-based testing. In Proceedings of the Software Testing, Analysis, and Review Conference (STARWEST) 2001, 2001.
5. Intuwave. m-Test homepage. At URL http://www.intuwave.com.
6. A. Kervinen, M. Maunumaa, and M. Katara. Controlling testing using three-tier model architecture. In Proceedings of the Second Workshop on Model Based Testing (MBT 2006), Vienna, Austria, Mar. 2006. To appear.
7. A. Kervinen, 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), July 2005. To appear in LNCS 3997.
8. Mercury Interactive. QuickTest Pro homepage. At URL http://www.mercury. com.
9. H. Robinson. Obstacles and opportunities for model-based testing in an industrial software environment. In Proceedings of the 1st European Conference on Model-Driven Software Engineering, pages 118-127, Nuremberg, Germany, Dec. 2003. Available at http://www.model-based-testing.org/ObstaclesAndOpportunities. pdf.
10. Symbian Ltd. Symbian Operating System homepage. At URL http://www.symbian.com/, 2006.