Abstract
In this paper, we propose a structural analysis approach to the evaluation of fault coverage of protocol conformance testing based on the finite state machine model. The attractiveness of this approach is its low computational complexity. It allows us to calculate the fault coverage of a given test suite by directly analyzing the test suite against the specification machine. Therefore, it avoids the generation and execution of mutants. The approach has been implemented and a number of experiments has been carried out. Some of the experimental results are summarized in this paper to show the accuracy of this approach compared with the mutation analysis technique.
This research was supported by the IDACOM-NSERC-CWARC Industrial Research Chair on Communication Protocols at University of Montreal.
Chapter PDF
Similar content being viewed by others
References
T. S. Chow, “Test Design Modeled by Finite-State Machines”, WEE Trans. SE-4, 3, 1978, pp. 178–187.
A. Dahbura and K. Sabnani, “Experience in Estimating Fault Coverage of a Protocol Test”, Proc. of the IEEE INFOCOM’88, 1988, pp. 71–79.
M. Dubuc, R. Dssouli and G. v. Bochmann, “TESTL: A Tool for Incremental Test Suite Design Based on Finite State Model”, 4th International Workshop on Protocol Test Systems, Holland, November 1991.
A. Gill, “Introduction to the Theory of Finite-State Machines”, McGraw-Hill Book Company Inc., 1962, pp. 207.
Z. Kohavi, “Switching and Finite Automata Theory”, New York, McGraw-Hill, 1978, pp. 658.
F. Lombardi and Y. N. Shen, “Evaluation and Improvement of Fault Coverage of Conformance Testing by UIO Sequences”, IEEE Trans. Commun., Vol. COM-40, 8, August, 1992, pp. 1288–1293.
H. Motteler, A. Chung and D. Sidhu, “Fault Coverage of UIO-based Methods for Protocol Testing”, Proc. IWPTS, Pau, France, 1993, pp. 21–33.
R. E. Miller and S. Paul, “Structural Analysis of a Protocol Specification and Generation of a Maximal Fault Coverage Conformance Test Sequence”, submitted for publication.
E. F. Moore, “Gedanken-Experiments on Sequential Machines”, Automata Studies, Princeton University Press, Princeton, New Jersey, 1956.
A. Petrenko, G. v. Bochmann and R. Dssouli, “Conformance Relations and Test Derivation”, Proc. IWPTS, Pau, France, 1993, pp. 157–178.
A. Petrenko, “Checking Experiments with Protocol Machines”, Proc. of the 4th Int. Workshop on Protocol Test Systems, 1991.
D. P. Sidhu and T. K. Leung, “Formal Methods for Protocol Testing: A Detailed Study”, WEE Trans. SE-15, 4, April 1989, pp. 413–425.
H. Ural, “Formal Methods for Test Sequence Generation”, Computer Communications, Vol. 15, No. 5, June 1992, pp. 311–325.
M. Yao, A. Petrenko and G. v. Bochmann, “Conformance Testing of Protocol Machines without Reset”, Department Publication #861, Département d’informatique et de recherche opérationnelle, Université de Montréal, February 1993, 27 p.
M. Yao, A. Petrenko and G. v. Bochmann, “Conformance Testing of Protocol Machines without Reset”, Proc. of the 13th IFIP Symposium on Protocol Specification, Testing and Verification, Liege, Belgium, 1993, pp. 241–253.
M. Yao, A. Petrenko and G. v. Bochmann, “Fault Coverage Analysis in Respect to an FSM Specification”, Proc. of the IEEE INFOCOM’94, Toronto, Canada, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Yao, M., Petrenko, A., Bochmann, G.v. (1995). A Structural Analysis Approach to the Evaluation of Fault Coverage for Protocol Conformance Testing. In: Hogrefe, D., Leue, S. (eds) Formal Description Techniques VII. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34878-0_33
Download citation
DOI: https://doi.org/10.1007/978-0-387-34878-0_33
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2881-0
Online ISBN: 978-0-387-34878-0
eBook Packages: Springer Book Archive