Abstract | ||
---|---|---|
The testing of implementations in order to check their validity is important during the development of communication protocols, as in the more general areas of hardware and software development. Protocol testing methods have profited from experience in hardware and software testing; in addition, much recent work considers testing based on finite state machine models. This paper points out the similarities between testing of hardware, software and communication protocols in the context of a general testing framework and the use of fault models. Fault models not only provide a basis for the definition of test coverage measures, but also lead to methodologies for test suite design and test result analysis for diagnosis. While the principles of fault models are essentially the same in the different areas of hardware, software and protocols, the particular fault models that can be applied depend on the specification formalism used to describe the implementation under test. The paper presents various fault models corresponding to hardware, software, finite state machines and several other modelling techniques, including Formal Description Techniques. |
Year | Venue | Keywords |
---|---|---|
1991 | World Computer Congress | fault models,fault model |
DocType | Volume | ISSN |
Conference | 3 | 0926-549X |
ISBN | Citations | PageRank |
0-444-89517-5 | 29 | 2.09 |
References | Authors | |
1 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gregor von Bochmann | 1 | 2573 | 427.74 |
Anindya Das | 2 | 219 | 31.78 |
Rachida Dssouli | 3 | 1037 | 107.80 |
Martin Dubuc | 4 | 36 | 3.32 |
Abderrazak Ghedamsi | 5 | 385 | 24.64 |
Gang Luo | 6 | 82 | 5.23 |