Title | ||
---|---|---|
FSM-based conformance testing methods: A survey annotated with experimental evaluation |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1016/j.infsof.2010.07.001 | Information & Software Technology |
Keywords | Field | DocType |
fsm-based conformance testing method,finite state machine,communication protocol,experimental evaluation,finite state machines,protocol testing,model based testing,fault detection capability,simple connection protocol,derivation time,important issue,formal specification,itu-t v.76 recommendation,test suite,conformance testing,test case,fault detection,reactive system | Test suite,Data mining,Computer science,Manual testing,Real-time testing,Conformance testing,Formal specification,Model-based testing,Test case,Reliability engineering,Keyword-driven testing | Journal |
Volume | Issue | ISSN |
52 | 12 | Information and Software Technology |
Citations | PageRank | References |
55 | 2.29 | 28 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
rita dorofeeva | 1 | 88 | 3.95 |
Khaled El-Fakih | 2 | 322 | 29.50 |
Stephane Maag | 3 | 229 | 27.21 |
Ana R. Cavalli | 4 | 671 | 76.11 |
Nina Yevtushenko | 5 | 664 | 63.45 |