Abstract
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools provide only a limited coverage for different testing objectives. We argue that a better coverage can be achieved by instrumenting transitions, and performing an appropriate pre- and postprocessing. We describe the necessary enhancements of the UML model and demonstrate our method on a simple example. We further report on an industrial case study where we successfully applied our method for generating a validation test suite for a safety-relevant communication protocol.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Gill, A.: Introduction to Theory of Finite-state Machines. McGraw-Hill Education, New York (1962)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
Object Management Group: Unified Modeling Language: Superstructure, version 2.0 (formal/05-07-04) (2005)
The Mathworks: Stateflow, http://www.mathworks.com/products/stateflow/
Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns, and Tools. Object Technology Series. Addison-Wesley, Reading (1999)
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)
Chow, T.: Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering SE-4, 178–187 (1978)
Sabnani, K., Dahbura, A.: A protocol test generation procedure. Computer Networks and ISDN Systems 15(4), 285–297 (1988)
Wang, C.J., Liu, M.T.: Generating test cases for EFSM with given fault models. In: INFOCOM, pp. 774–781 (1993)
Petrenko, A., Boroday, S., Groz, R.: Confirming configurations in EFSM testing. IEEE Trans. Softw. Eng. 30(1), 29–42 (2004)
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)
Gnesi, S., Latella, D., Massink, M.: Formal test-case generation for UML statecharts. In: ICECCS 2004: Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age (ICECCS 2004), pp. 75–84. IEEE Computer Society Press, Washington, DC, USA (2004)
I-Logix: Rhapsody Automatic Test Generator, Release 2.3, User Guide (2004)
Conformiq Software Ltd.: Conformiq test generator, http://www.conformiq.com/
Reactive Systems Inc.: Reactis, http://www.reactive-systems.com/
Hartman, A.: Agedis final project report. Technical report, AGEDIS Consortium (2004)
Santen, T., Seifert, D.: TEAGER - test automation for UML state machines. In: Biel, B., Book, M., Gruhn, V. (eds.) Software Engineering. LNI., GI, vol. 79, pp. 73–84 (2006)
Fernandez, J.C., Jard, C., Jéron, T., Viho, C.: Using on-the-fly verification techniques for the generation of test suites. In: CAV 1996: Proceedings of the 8th International Conference on Computer Aided Verification, London, UK, pp. 348–359. Springer, Heidelberg (1996)
Tretmans, J., Brinksma, E.: Côte de resyste – automated model based testing. In: Schweizer, M. (ed.) Progress 2002 – 3rd Workshop on Embedded Systems, Utrecht, The Netherlands, pp. 246–255. STW Technology Foundation (October 24, 2002)
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)
Houdek, F., Paech, B.: Das Türsteuergerät - eine Beispielspezifikation. IESE-Report Nr. 002.02/D, Fraunhofer IESE (2002)
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)
I-Logix: Rhapsody in C++, Version 6.0, User Guide (2004)
RTCA: DO-178B, Software considerations in airborne systems and equipment certification (1992)
Naito, S., Tsunoyama, M.: Fault detection for sequential machines by transition tours. In: Proccedings of the 11th. IEEE Fault Tolerant Computing Symposium, pp. 238–243. IEEE Computer Society Press, Los Alamitos (1981)
Object Management Group: XML Metadata Interchange (XMI) Specification. OMG (2003), http://www.omg.com/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Friske, M., Schlingloff, BH. (2007). Improving Test Coverage for UML State Machines Using Transition Instrumentation. In: Saglietti, F., Oster, N. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2007. Lecture Notes in Computer Science, vol 4680. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75101-4_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-75101-4_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75100-7
Online ISBN: 978-3-540-75101-4
eBook Packages: Computer ScienceComputer Science (R0)