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.
https://hal.inria.fr/hal-01055249 Contributor : Hal IfipConnect in order to contact the contributor Submitted on : Tuesday, August 12, 2014 - 9:15:37 AM Last modification on : Monday, February 18, 2019 - 12:38:05 PM Long-term archiving on: : Wednesday, November 26, 2014 - 10:36:59 PM
Andreas Ulrich, El-Hachemi Alikacem, Hesham H. Hallal, Sergiy Boroday. From Scenarios to Test Implementations Via
Promela. 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.236-249, ⟨10.1007/978-3-642-16573-3_17⟩. ⟨hal-01055249⟩