Choosing a test modeling language: A survey

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

Volumn 4383 LNCS, Issue , 2007, Pages 204-218

  Hartman, Alan ^a   Katara, Mika ^b   Olvovsky, Sergey ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

^b TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; MATHEMATICAL MODELS;

AUTOMATIC TEST EXECUTION; GENERIC DESIGN LANGUAGES; MODELING LANGUAGE;

SOFTWARE TESTING;

EID: 38049115766     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70889-6_16     Document Type: Conference Paper

References (27)

1. OMG: Model Driven Architecture. Available at http://www.omg.org/mda/ (2006)
2. Domain-Specific Modeling Forum: DSM case studies and examples. Available at http://www.dsmforum.org/cases.html (2006)
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 (2003) 118-127
4. Baker, P., Loh, S., Weil, F.: Model-driven engineering in a large industrial context - Motorola case study. In: Proceedings of MoDELS 2005. Number 3713 in Lecture Notes in Computer Science. Springer (2005) 476-491
5. Hartman, A., Kirshin, A., Olvovsky, S.: Model driven testing - as an infrastructure for custom made solutions. In: Proceedings of the 4th Workshop on System Testing and Validation (STV'06), Potsdam, Germany (2006)
6. Nachmanson, L., Veanes, M., Schulte, W., Tillmann, N., Grieskamp, W.: Optimal strategies for testing nondeterministic systems. In: ISSTA'04: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, Boston, MA, USA, ACM (2004) 55-64
7. Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Testing concurrent object-oriented systems with Spec Explorer. In: Proceedings of Formal Methods 2005. Number 3582 in Lecture Notes in Computer Science. Springer (2005) 542-547
8. Jard, C., Jéron, T.: TGV: theory, principles and algorithms - a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. STTT 7 (2005) 297-315
9. Hartman, A.: AGEDIS project final report. Available at http://www.agedis.de/documents/d423_3/FinalPublicReport(D1.6).PDF (2004)
10. Apfelbaum, L., Doyle, J.: Model based testing. Software Quality Week (1997)
11. Farchi, E., Hartman, A., Pinter, S.: Using a model-based test generator to test for standard conformance. IBM Systems Journal 41 (2002) 89-110
12. Modelware: Modelware project homepage. Available at http://www.modelware- ist.org (2006)
13. OMG: UML Testing Profile. Available at http://www.omg.org/technology/ documents/formal/test-profile.htm (2006)
14. ETSI: TTCN-3 homepage. Available at http://www.ttcn-3.org (2006)
15. MetaCase: MetaEdit+ homepage. Available at http://www.metacase.com (2006)
16. Xactium: XMFMosaic homepage. Available at http://www.xactium.com (2006)
17. 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, IEEE Computer Society (2006) 81-89
18. Buwalda, H.: Action figures. STQE Magazine, March/April 2003 (2003) 42-47
19. 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), ENTCS 164(4) (2006) 53-66
20. Sinha, A., Smidts, C.: HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. ACM Trans. Softw. Eng. Methodol. 15 (2006) 242-278
21. Behm, M., Ludden, J., Lichtenstein, Y., Rimon, M., Vinov, M.: Industrial experience with test generation languages for processor verification. In: Proceedings of the 41st Annual conference on Design Automation (DAC-04), San Diego, CA, USA, ACM (2004) 36-40
22. Hyrkkänen, A.: General purpose SUT adapter for TTCN-3. Master's thesis, Tampere University of Technology, Department of Information Technology (2005)
23. Abouzahra, A., Bézivin, J., Didonet Del Fabro, M., Jouault, F.: A practical approach to bridging domain specific languages with UML profiles. In: Proceedings of the Best Practices for Model Driven Software Development at OOPSLA'05, San Diego, California, USA (2005)
24. UniTesK: UniTesK tools homepage. Available at http://www.unitesk.com (2006)
25. ETSI: Conformance test specification for SIP - part 3: Abstract test suite (TTCN-3 code). Available at http://portal.etsi.org/docbox/EC.Files/ EC_Files/ts_10202703v030101p0.zip (2003)
26. IETF: IETF RFC 3261 - SIP: Session Initiation Protocol. Available at http://www.ietf.org/rfc/rfc3261.txt (2002)
27. Kaner, C., Bach, J., Pettichord, B.: Lessons Learned in Software Testing. Wiley (2001)