%0 Book Section %1 friske_07_improving %A Friske, Mario %A Schlingloff, Bernd H. %D 2007 %J Computer Safety, Reliability, and Security %K _to_download_springer 2007 statecharts uml %P 301--314 %R 10.1007/978-3-540-75101-4_30 %T Improving Test Coverage for UML State Machines Using Transition Instrumentation %U http://dx.doi.org/10.1007/978-3-540-75101-4_30 %X 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.

@incollection{friske_07_improving, 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.}, added-at = {2009-02-11T20:50:24.000+0100}, author = {Friske, Mario and Schlingloff, Bernd H.}, biburl = {https://www.bibsonomy.org/bibtex/2a763f7ae83390f1b2f6361d8dba9998a/leonardo}, citeulike-article-id = {2527305}, doi = {10.1007/978-3-540-75101-4_30}, interhash = {4fa12590668d0d25103508308b34dd50}, intrahash = {a763f7ae83390f1b2f6361d8dba9998a}, journal = {Computer Safety, Reliability, and Security}, keywords = {_to_download_springer 2007 statecharts uml}, pages = {301--314}, posted-at = {2008-03-13 14:43:36}, priority = {2}, timestamp = {2009-02-11T20:50:24.000+0100}, title = {Improving Test Coverage for UML State Machines Using Transition Instrumentation}, url = {http://dx.doi.org/10.1007/978-3-540-75101-4_30}, year = 2007 }