Model-based testing service on the web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5047 LNCS, Issue , 2008, Pages 38-53

  Jääskeläinen, Antti ^a   Katara, Mika ^a   Kervinen, Antti ^a   Heiskanen, Henri ^a   Maunumaa, Mika ^a   Pääkkönen, Tuula ^b  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

^b MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHICAL USER INTERFACES; MODEL CHECKING; TESTING; WEB SERVICES; SOCIAL NETWORKING (ONLINE); USER INTERFACES;

GRAPHICAL USER INTERFACES (GUI); INDUSTRIAL CONTEXT; INDUSTRIAL TRANSFERS; INHERENT COMPLEXITY; MODEL BASED TESTING; SEPARATION OF CONCERNS; SMART-PHONE APPLICATIONS; TEST GENERATION ALGORITHM;

SOFTWARE TESTING;

EID: 84871225075     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68524-1_5     Document Type: Conference Paper

References (25)

1. Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2007)
2. Campbell, C., Grieskamp, W., Nachmanson, L., Schulte,W., Tillmann, N., Veanes, M.: Testing concurrent object-oriented systems with Spec Explorer. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 542-547. Springer, Heidelberg (2005)
3. Robinson, H.: Obstacles and opportunities for model-based testing in an industrial software environment. In: Proceedings of the 1st European Conference on Model-Driven Software Engineering, Nuremberg, Germany, pp. 118-127 (2003)
4. Hartman, A.: AGEDIS project final report. Cited (March 2008), http://www.agedis.de/documents/FinalPublicReport28D1.629.PDF
5. Katara, M., Kervinen, A., Maunumaa, M., Pääkkönen, T., Satama, M.: Towards deploying model-based testing with a domain-specific modeling approach. In: Proceedings of TAIC PART -Testing: Academic & Industrial Conference, Windsor, UK, pp. 81-89. IEEE Computer Society, Los Alamitos (2006)
6. Symbian Cited (March 2008), http://www.symbian.com/
7. S60. Cited (March 2008), http://www.s60.com
8. OMG: UML testing profile, v 1.0. Cited (March 2008), http://www.omg.org/ technology/documents/formal/test-profile.htm
9. Kervinen, A., Maunumaa, M., Pääkkönen, T., Katara, M.: Model-based testing through a GUI. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 16-31. Springer, Heidelberg (2006)
10. Kervinen, A., Maunumaa, M., Katara, M.: Controlling testing using three-tier model architecture. In: Proceedings of the Second Workshop on Model Based Testing (MBT 2006), Vienna, Austria. Electronic Notes in Theoretical Computer Science, vol. 164(4), pp. 53-66. Elsevier, Amsterdam (2006)
11. Katara, M., Kervinen, A.: Making model-based testing more agile: a use case driven approach. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 219-234. Springer, Heidelberg (2007)
12. Katara, M., Kervinen, A., Maunumaa, M., Pääkkönen, T., Jääskeläinen, A.: Can I have some model-based GUI tests please? Providing a model-based testing service through a web interface. In: Proceedings of the second annual Conference of the Association for Software Testing (CAST 2007), Bellevue, WA, USA (2007)
13. Jääskeläinen, A.: A domain-specific tool for creation and management of test models. Master's thesis, Tampere University of Technology (2008)
14. Boehm, B., Turner, R.: Balancing Agility and Discipline: A Guide for the Perplexed. Addison-Wesley, Reading (2004)
15. Rook, P.: Controlling software projects. Softw. Eng. J. 1, 7-16 (1986)
16. Buwalda, H.: Action figures. STQE Magazine, 42-47 (March/April 2003)
17. Fewster, M., Graham, D.: Software Test Automation: Effective use of test execution tools. Addison-Wesley, Reading (1999)
18. Valmari, A.: The state explosion problem. In: Lectures on Petri Nets I: Basic Models, London, UK, pp. 429-528. Springer, Heidelberg (1996)
19. Python: Python Programming Language homepage. Cited (March 2008), http://python.org/
20. Karsisto, K.: A new parallel composition operator for verification tools. Doctoral dissertation, Tampere University of Technology (number 420 in publications) (2003)
21. Satama, M.: Event capturing tool for model-based GUI test automation. Master's thesis, Tampere University of Technology (2006), Cited March 2008, http://practise.cs.tut.fi/project.php?project=tema&page=publications
22. HP: Mercury Functional Testing homepage. Cited (March 2008), http://www.mercury.com/us/products/quality-center/functional-testing/
23. Zakas, N.C., McPeak, J., Fawcett, J.: Professional Ajax, 2nd edn. Wiley, Chichester (2007)
24. Taipale, O., Smolander, K.: Improving software testing by observing practice. In: ISESE 2006. Proceedings of the 2006 ACM/IEEE international symposium on empirical software engineering, pp. 262-271. ACM Press, New York (2006)
25. Microsoft: Microsoft unveils vision and road map to simplify SOA, bridge software plus services, and take composite applications mainstream (2007-11-28). Cited March 2008, http://www.microsoft.com/presspass/press/2007/oct07/10- 30OsloPR.mspx