%0 Conference Proceedings
%T From Scenarios to Test Implementations Via Promela
%+ Corporate Technology
%+ CRIM
%+ Lebanese International University (LIU)
%A Ulrich, Andreas
%A Alikacem, El-Hachemi
%A Hallal, Hesham H.
%A Boroday, Sergiy
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS)
%C Natal, Brazil
%Y Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado
%I Springer
%3 Testing Software and Systems
%V LNCS-6435
%P 236-249
%8 2010-11-08
%D 2010
%R 10.1007/978-3-642-16573-3_17
%K Scenario-based testing
%K distributed testing
%K test consistency
%K Promela
%K Message Sequence Charts
%K UML2 sequence diagrams
%K tool implementation
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01055249/document
%2 https://inria.hal.science/hal-01055249/file/64350235.pdf
%L hal-01055249
%U https://inria.hal.science/hal-01055249
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-LNCS-6435
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-2010