.png){kind=icon}
.png){kind=icon}
Return
FSM-based conformance testing methods: A survey annotated with experimental evaluation
.png){kind=icon}
PRE
AI
DOI：10.1016/j.infsof.2010.07.001.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
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. (C) 2010 Elsevier B.V. All rights reserved.
Keywords:
Conformance testing
Protocol testing
Model based testing
Finite state machines
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4.3
Papers:
3.7K
Citations:
7.7K
Organization
View more organizations