From Scenarios to Test Implementations Via Promela
Abstract
We report on a tool for generating executable
concurrent tests from scenarios specified as message sequence charts.
The proposed approach features three steps: 1) Deriving a MSC test
implementation from a MSC scenario, 2) Mapping the test implementation
into a Promela model, 3) Generating executable test scripts in Java. The
generation of an intermediate Promela model allows for model-checking to
inspect the test implementation for properties like soundness, fault
detection power as well as for consistency checking between different
test scenarios. Moreover decoupling the executable test scripts from the
scenario specification makes it possible to use different backend code
generators to support other scripting languages when needed.
Origin | Files produced by the author(s) |
---|
Loading...