Automated test case generation from dynamic models
P Fröhlich, J Link - European Conference on Object-Oriented …, 2000 - Springer
P Fröhlich, J Link
European Conference on Object-Oriented Programming, 2000•SpringerWe 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 …
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 …
Abstract
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.
Springer