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.
Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. Springer, Lecture Notes in Computer Science, LNCS-6435, pp.236-249, 2010, Testing Software and Systems. 〈10.1007/978-3-642-16573-3_17〉
https://hal.inria.fr/hal-01055249
Contributeur : Hal Ifip
<>
Soumis le : mardi 12 août 2014 - 09:15:37
Dernière modification le : mercredi 16 août 2017 - 15:22:42
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 22:36:59
Andreas Ulrich, El-Hachemi Alikacem, Hesham H. Hallal, Sergiy Boroday. From Scenarios to Test Implementations Via
Promela. Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. Springer, Lecture Notes in Computer Science, LNCS-6435, pp.236-249, 2010, Testing Software and Systems. 〈10.1007/978-3-642-16573-3_17〉. 〈hal-01055249〉
