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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Friske, M., & Schlingloff, B. H. (2007). Improving test coverage for UML state machines using transition instrumentation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4680 LNCS, pp. 301–314). Springer Verlag. https://doi.org/10.1007/978-3-540-75101-4_30
Mendeley helps you to discover research relevant for your work.