Abstract
Two heuristic principles for test selection are proposed: the reduction heuristic and the cycling heuristic. The first assumes that few outgoing transitions of a state show essentially different behaviour. The second assumes that the probability to detect erroneous behaviour in a loop decreases after each correct execution of the loop behaviour. We formalize these heuristic principles and we define a coverage function which serves as a measure for the error-detecting capability of a test suite. For this purpose we introduce the notion of a marked trace and a distance function on such marked traces.
This research was supported by the Dutch Technology Foundation STW under project STW TIF.4111: Côte de Resyste — COnformance TEsting of REactive SYSTEms; URL: http://fmt.cs.utwente.nl/CdR.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35497-2_31
Chapter PDF
Similar content being viewed by others
References
J. Alilovic-Curgus and S.T. Vuong. A metric based theory of test selection and coverage. In A. Danthine, G. Leduc, and P. Wolper, editors, Protocol Specification, Testing, and Verification, pages 289–304. North-Holland XIII, 1993.
J. Alilovic-Curgus and S.T. Vuong. Sensitivity analysis of the metric based test selection. In M. Kim, S. Kang, and K. Hong, editors, Int. Workshop on Testing of Communicating Systems, volume X, pages 200–219. Chapman & Hall, 1997.
A. Belinfante, J. Feenstra, R.G. Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal test automation: A simple experiment. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, Intenational Workshop on Testing of Cornunication Systems, pages 179–196. Kluwer Academic, 1999.
E. Brinksma, J. Tretmans, and L. Verhaard. A framework for test selection. In B. Jonsson, J. Parrow, and B. Pehrson, editors, Protocol, Specification, Testing, and Verification, volume XI, pages 233–248. North-Holland, 1991.
O. Charles and R. Groz. Formalisation d’hypothèses pour l’evaluation de la couverture de test. In Actes du Colloque Francophone sur l’Ingénierie des Protocoles (CFIP’96), Editions Hermes, 1996.
O. Charles and R. Groz. Basing test coverage on a formalization of test hypotheses. In M. Kim, S. Kang, and K. Hong, editors, Int. Workshop on Testing of Communicating Systems, volume X, pages 109–124. Chapman & Hall, 1997.
ISO. Information Processing Systems, Open Systems Interconnection, LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard IS-8807, 1989.
T. Jéron and P. Morel. Test generation derived from model-checking. In N. Halbwachs and D. Peled, editors, Computer Aided Verification CAV’99, volume 1633 of Lecture Notes in Computer Science, pages 108–121. Springer-Verlag, 1999.
G.J. Myers. The art of software testing. John Wiley & Sons Inc, 1979.
M. Schmitt, B. Koch, J. Grabowski, and D. Hogrefe. Autolink — a tool for the automatic and semi-automatic test generation. In A. Wolisz, I. Schieferdecker, and A. Rennoch, editors, Formale Beschreibungstechniken fur verteilte Systeme, volume 315. GMD-Studien, St. Augustin, GI/ITG-Fachgespräch, GMD, 1997.
G.A. Stephen. String search. Technical Report TR-92-gas-01, School of Electronic Engineering Science, University College of North Wales, 1992.
J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software—Concepts and Tools, 17 (3): 103–120, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Feijs, L.M.G., Goga, N., Mauw, S., Tretmans, J. (2002). Test Selection, Trace Distance and Heuristics. In: Schieferdecker, I., König, H., Wolisz, A. (eds) Testing of Communicating Systems XIV. IFIP — The International Federation for Information Processing, vol 82. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35497-2_20
Download citation
DOI: https://doi.org/10.1007/978-0-387-35497-2_20
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6705-6
Online ISBN: 978-0-387-35497-2
eBook Packages: Springer Book Archive