Abstract
This paper defines a characterization of protocol conformance test coverage based on test hypotheses. All test selection methods and coverage computation make use of test hypotheses in one way or another. Test hypotheses are assumptions made on the implementation, which justify the verdict of conformity provided by testing; thus they are an important part of the coverage. We propose a model of these hypotheses based on functions on automata, enabling a definition of coverage based on test hypotheses, which we call TH-based coverage.
Chapter PDF
Similar content being viewed by others
References
Bernot G., Gaudel MC., Marre B., Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, November 1991.
Bochmann G. v., Das A., Dssouli R., Dubuc M., Ghedamsi A., Luo G., Fault models in testing, Proceedings of IWPTS, Leidschendam, October 1991.
Charles O., Groz R., Formalisation d’hypothèses pour l’évaluation de la couverture de test. Proceedings of CFIP 96, Rabat, Morocco.
Clatin M., Groz R., Phalippou M., Thummel R., Two approaches linking a test generation tool with verification techniques,IWPTS 95, Evry, France.
Curgus J., Vuong S. T. A Metric Based Theory of Test Selection and Coverage. Proceedings of PSTV XIII, Liege, Belgium, 1993.
Dubuc M., Dssouli R., Bochmann G. v., TESTL: A Tool for Incremental Test Suite Design Based on Finite State Model, IWPTS, Leidschendam, 1991.
Gaudel MC., Test Selection Based on ADT Specifications. Proceedings of IWPTS 92, Montréal, Canada.
Groz R., Charles O., Renévot J., Relating Conformance Test Coverage to Formal Specifications. Proceedings of FORTE 96, Kaiserslautern, Germany.
ISO/IEC/JTC1/SC21/P.54 - ITU-T SG10 Q.8, Formal Methods in Conformance Testing,Working Draft, March 1995. To become rec. Z.500 from ITU-T.
Motteler H., Chung A., Sidhu D., Fault Coverage of U10-based Methods for Protocol testing. Proceedings of IWTCS 93, Pau, France.
Phalippou M., Relations d’implantation et hypothèses de test sur des automates à entrées et sorties,université de Bordeaux I, 1994.
Rapps S., Weyuker E. J.. Selecting Software Test Data Using Data Flow Informa- tion. IEEE Trans. on Software Engineering, vol. SE-11, NO. 4, April 1985.
Sidhu D., Leung T., Formal Methods for Protocol Testing: A Detailed Study, IEEE transactions on software engineering, vol. 15, n. 4, april 1989.
Tretmans J., Test Generation with Inputs, Outputs, and Repetitive Quiescence. CTIT Technical Report series No. 96–26, ISSN 1381–3625. To be published in Software — Concept and Tools. 1996.
Ural H., Yang B., A Test Sequence Selection Method for Protocol Testing, IEEE Transactions on Communications, vol. 39, no 4, April 1991, pp. 514–523.
Vuong S. T., Curgus J.. On Test coverage Metrics for Communication Protocols. Proceedings of IWPTS IV, Leinschendam. The Netherlands. 1991.
Weyuker E. J., The Complexity of Data Flow Criteria for Test Data Selection, Information Processing Letters 19 (31 August 1984 ), pp 103–109.
Yao M., Petrenko A., Bochmann G. V., A Structural Analysis Approach to the Evaluation of Fault Coverage for Protocol Conformance Testing. Proceedings of FORTE 94, Berne, Switzerland, 1994.
Zhu J., Chanson S. T., Toward Evaluating Fault Coverage of Protocol Test Sequences. Proceedings of PSTV XIV, Vancouver, Canada, 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Charles, O., Groz, R. (1997). Basing test coverage on a formalization of test hypotheses. In: Kim, M., Kang, S., Hong, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35198-8_8
Download citation
DOI: https://doi.org/10.1007/978-0-387-35198-8_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6701-8
Online ISBN: 978-0-387-35198-8
eBook Packages: Springer Book Archive