FSM-based conformance testing methods : a survey annotated with experimental evaluation - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information and Software Technology Année : 2010

FSM-based conformance testing methods : a survey annotated with experimental evaluation

Résumé

The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of a test suite based on a formal specification given in the form of a finite state machine. In this paper, we overview and experiment with these methods to assess their complexity, applicability, completeness, fault detection capability, length and derivation time of their test suites. The experiments are conducted on randomly generated specifications and on two realistic protocols called the Simple Connection Protocol and the ITU-T V.76 Recommendation.

Dates et versions

hal-00593960 , version 1 (18-05-2011)

Identifiants

Citer

Rita Dorofeeva, Khaled El-Fakhi, Stephane Maag, Ana Rosa Cavalli, Nina Yevtushenko. FSM-based conformance testing methods : a survey annotated with experimental evaluation. Information and Software Technology, 2010, 52 (12), pp.1286-1297. ⟨10.1016/j.infsof.2010.07.001⟩. ⟨hal-00593960⟩
118 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More