Lazy buffer semantics for partial order scenarios
Automated Software Engineering
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Implementing MSC Tests with Quiescence Observation
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Automatic generation of conformance tests from message sequence charts
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Comparing UML 2.0 interactions and MSC-2000
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Hi-index | 0.00 |
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.