Sciweavers

Share
ECOOP
2000
Springer

Automated Test Case Generation from Dynamic Models

8 years 8 months ago
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.
Peter Fröhlich, Johannes Link
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where ECOOP
Authors Peter Fröhlich, Johannes Link
Comments (0)
books