Abstract
This paper presents a practical approach useful for assessing the coverage of test suites which are generated automatically from Extended Finite State Machine specifications. It is based on transition coverage, a variant of branch coverage which seems to correspond to the needs of test designers for conformance testing of communication protocols. It presents a tool for implementing this approach, and discusses the facilities needed for a qualitative analysis of coverage.
Josiane Renévot is now with Prologue SA, F-91941 Les Ulis, France..
Chapter PDF
Similar content being viewed by others
References
G.v. Bochmann, A Das, R. Dssouli, M. Dubuc, A. Ghedamsi, G. Luo, Fault Model in testing, in Proceedings of the IWPTS IV - Int Workshop on Protocol Test Systems, Leinschendam, The Netherlands, 1991.
C. Caouette, Evaluation du flux de données couvert par une suite de tests, MSc thesis, Université de Montréal, 1993.
M. Clatin, R. Groz, M. Phalippou, Richard Thummel. Two approaches linking a test generation tool with verification techniques. in Proceedings of the IWPTS VIII - Int Workshop on Protocol Test Systems, Evry, France, 1995.
M. Dubuc, Sélection de tests pour les protocoles de communication, MSc thesis, Université de Montréal, 1991.
A. Ek, J. Ellsberger, A. Wiles, Experiences with computer aided test suite generation, proceedings of IWPTS 93, Pau, September 1993.
R. Groz, M. Phalippou, La génération automatique de tests est-elle possible ?, proceedings of CFIP’95, Rennes, May 1995, pp 421–438.
ISO, Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework, International Standard IS-9646, 1994. Also available as re-commendations X.290 (for Part 1 of ISO document), X.291 (Part 2)… from ITU-T.
ISO/IEC/JTC1/SC21/P.54 - ITU-T SG10 Q.8, Formal Methods in Conformance Tes-ting, Working Draft, March 1995. To become Recommendation Z.500 from ITU-T.
G. J. Myers. The Art of Software Testing. New York: John Wiley & Sons, 1979.
M. Phalippou, R. Groz, Evaluation of an empirical approach for computer-aided test cases generation, proceedings of the 3rd IWPTS, Washington, October 1990.
M. Phalippou, Test sequence generation using Estelle or SDL structure infor-mation, proceedings of FORTE’94, Bern, October 1994.
J. Renévot. Définition et réalisation d’un outil d’analyse de couverture de test sous Concerto. Rapport RP/LAA/EIA/77, CNET, Octobre 1995.
P. Salvail. Calcul de couverture de tests pour le protocole D, niveaux 2 et 3. Rapport RP/LAA/EIA/17, CNET, Février 1994.
B. Sarikaya, G. v. Bochmann, Obtaining Normal Form Specifications for Protocols, proceedings of COMNET’85, Budapest, October 1985, pp 601–612.
J. Tretmans. A Formal Approach to Conformance Testing. proceedings of IWPTS 93, Pau, September 1993, Omar Rafiq ed, North Holland, pp 257–276.
S. T. Vuong, J, Curgus. On Test coverage Metrics for Communication Protocols. in Proceedings of the IWPTS IV - Int Workshop on Protocol Test Systems, Leinschendam, The Netherlands, 1991.
S. T. Vuong, S. Lee. TESTGEN+: An Integrated Environment for Protocol Test Suite Generation, Selection and Validation. in Proc. of the FORTE’93, Boston, USA, 1993.
M. Yao, A. Petrenko, G. V. Bochmann, A Structural Analysis to the Evaluation of Fault Coverage for Protocol Conformance Testing. in Proceedings of the FORTE 94, Bern, Switzerland, October 1994.
J. Zhu, S. T. Chanson. Toward Evaluating Fault Coverage of Protocol Test Sequences. in Proceedings of the PSTV X IV, Vancouver, Canada, June 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Groz, R., Charles, O., Renévot, J. (1996). Relating conformance test coverage to formal specifications. In: Gotzhein, R., Bredereke, J. (eds) Formal Description Techniques IX. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35079-0_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-35079-0_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2883-4
Online ISBN: 978-0-387-35079-0
eBook Packages: Springer Book Archive