| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [12 references]
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
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