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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01055249
Contributor : Hal Ifip <>
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

File

64350235.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

139

Files downloads

334