%0 Conference Proceedings
%T Automated Transition Coverage in Behavioural Conformance Testing
%+ Construction of verified concurrent systems (CONVECS )
%+ Laboratoire d'Informatique de Grenoble (LIG)
%A Marsso, Lina
%A Mateescu, Radu
%A Serwe, Wendelin
%< avec comité de lecture
%B ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems
%C Napoli, Italy
%P 219-235
%8 2020-12-09
%D 2020
%R 10.1007/978-3-030-64881-7_14
%Z Computer Science [cs]/Software Engineering [cs.SE]Conference papers
%X In the setting of ioco-based conformance testing with test purposes, we propose an automatic approach to generate a test plan (set of test purposes) with its associated test suite (set of test cases) covering all transitions of the IOLTS model of the system. The approach can also be applied to improve an existing test plan, by both, completing the coverage and eliminating redundancies. Implementing our approach on top of the CADP toolbox, we report on experiments with several examples of concurrent systems and discuss possible variants and heuristics to fine-tune the overall performance of the approach, as well as the quality of the computed test plan.
%G English
%Z GRID5000
%2 https://inria.hal.science/hal-03038050/document
%2 https://inria.hal.science/hal-03038050/file/paper.pdf
%L hal-03038050
%U https://inria.hal.science/hal-03038050
%~ UGA
%~ CNRS
%~ INRIA
%~ INPG
%~ INRIA-RHA
%~ LIG
%~ INRIA_TEST
%~ GRID5000
%~ LIG_MFML_CONVECS
%~ CONVECS
%~ TESTALAIN1
%~ IFIP-LNCS
%~ IFIP
%~ INRIA2
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ INRIA-RENGRE
%~ SILECS
%~ UGA-EPE
%~ IFIP-LNCS-12543
%~ LIG_SIDCH