Improving test coverage for UML state machines using transition instrumentation

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

Volumn 4680 LNCS, Issue , 2007, Pages 301-314

  Friske, Mario ^a   Schlingloff, Bernd Holger ^a  

^a FRAUNHOFER FIRST   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION; PROBLEM SOLVING; SAFETY FACTOR;

INSTRUMENTING TRANSITIONS; POSTPROCESSING; STATE MACHINES;

UNIFIED MODELING LANGUAGE;

EID: 38149035865     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75101-4_30     Document Type: Conference Paper

References (26)

1. Gill, A.: Introduction to Theory of Finite-state Machines. McGraw-Hill Education, New York (1962)
2. Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231-274 (1987)
3. Object Management Group: Unified Modeling Language: Superstructure, version 2.0 (formal/05-07-04) (2005)
4. The Mathworks: Stateflow, http://www.mathworks.com/products/stateflow/
5. Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Object Technology Series. Addison-Wesley, Reading (1999)
6. Hayhurst, K.J., Veerhusen, D.S., Chilenski, J.J., Rierson, L.K.: A practical tutorial on modified condition/decision coverage. Technical Report NASA/TM-2001-210876, NASA (2001)
7. Chow, T.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering SE-4, 178-187 (1978)
8. Sabnani, K., Dahbura, A.: A protocol test generation procedure. Computer Networks and ISDN Systems 15(4), 285-297 (1988)
9. Wang, C.J., Liu, M.T.: Generating test cases for EFSM with given fault models. In: INFOCOM, pp. 774-781 (1993)
10. Petrenko, A., Boroday, S., Groz, R.: Confirming configurations in EFSM testing. IEEE Trans. Softw. Eng. 30(1), 29-42 (2004)
11. Hong, H.S., Kim, Y.G., Cha, S.D., Bae, D.H., Ural, H.: A test sequence selection method for Statecharts. Software Testing, Verification and Reliability 10(4), 203-227 (2000)
12. Gnesi, S., Latella, D., Massink, M.: Formal test-case generation for UML statecharts. In: ICECCS '04: Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age (ICECCS'04), pp. 75-84. IEEE Computer Society Press, Washington, DC, USA (2004)
13. I-Logix: Rhapsody Automatic Test Generator, Release 2.3, User Guide (2004)
14. Conformiq Software Ltd.: Conformiq test generator, http://www.conformiq. com/
15. Reactive Systems Inc.: Reactis, http://www.reactive-systems.com/
16. Hartman, A.: Agedis final project report. Technical report, AGEDIS Consortium (2004)
17. Santen, T., Seifert, D.: TEAGER - test automation for UML state machines. In: Biel, B., Book, M., Gruhn, V. (eds.) Software Engineering. LNL, GI, vol. 79, pp. 73-84 (2006)
18. Fernandez, J.C., Jard, C., Jéron, T., Viho, C.: Using on-the-fly verification techniques for the generation of test suites. In: CAV '96: Proceedings of the 8th International Conference on Computer Aided Verification, London, UK, pp. 348-359. Springer, Heidelberg (1996)
19. rd Workshop on Embedded Systems, Utrecht, The Netherlands, pp. 246-255. STW Technology Foundation (October 24, 2002)
20. Lugato, D., Bigot, C., Valot, Y., Gallois, J.P., Gerard, S., Terrier, F.: Validation and automatic test generation on UML models: the AGATHA approach. Journal of Software Technology Transfer (2004)
21. Houdek, F., Paech, B.: Das Türsteuergerät - eine Beispielspezifikation. IESE-Report Nr. 002.02/D, Fraunhofer IESE (2002)
22. Denger, C., Kerkow, D., von Knethen, A., Medina Mora, M., Paech, B.: Richtlinien - Von Use Cases zu Statecharts in 7 Schritten. IESE-Report Nr. 086.02/D, Fraunhofer IESE (2002)
23. I-Logix: Rhapsody in C++, Version 6.0, User Guide (2004)
24. RTCA: DO-178B, Software considerations in airborne systems and equipment certification (1992)
25. Naito, S., Tsunoyama, M.: Fault detection for sequential machines by transition tours. In: Proceedings of the 11th. IEEE Fault Tolerant Computing Symposium, pp. 238-243. IEEE Computer Society Press, Los Alamitos (1981)
26. Object Management Group: XML Metadata Interchange (XMI) Specification. OMG (2003), http://www.omg.com/