Automated Test Case Generation from Dynamic Models

We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and postconditions. The resulting state charts can have transitions with conditions and actions, as well as nested states (sub and stub states). The current paper outlines how test suites with a given coverage level can be automatically generated from these state charts. We do so by mapping state chart elements to the STRIPS planning language. The application of the state of the art planning tool graphplan yields the different test cases as solutions to a planning problem. The test cases (sequences of messages plus test data) can be used for automated or manual software testing on system level.

• Type: Conference
• Year: 2000
• Where: ECOOP
• Authors: Peter Fröhlich, Johannes Link
• Keywords: ECOOP 2000, Programming Languages, State Chart, Test Cases, UML State Charts