Abstract
Model-based conformance testing provides a mathematically sound technique to assess the quality of systems and check the correctness of a system with respect to a model. Most systems, however, are built or modified without documenting the (new) specifications, thereby limiting the use of model-based testing techniques. In this paper, we describe a method to obtain models automatically from an existing system, using model-based testing techniques relying on ioco-based testing. These models are useful for e.g. regression testing, or for the testing of different configurations of systems. We illustrate the effectiveness of our approach using a case-study in which we test mutants of the system against models that have been automatically extracted from the (correct) system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 2(75), 87–106 (1987)
Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Testcom ’99, pp. 179–196. Kluwer Academic Publishers, Dordrecht (1999)
Berg, T., Jonsson, B., Leucker, M., Saksena, M.: Insights to angluin’s learning. In: Etalle, S., Mukhopadhyay, S., Roychoudhury, A. (eds.) Proceedings of SVV 2003. ENTCS, vol. 118, pp. 3–18. Elsevier, Amsterdam (2005)
Godefroid, P.: Verisoft: A tool for the automatic analysis of concurrent reactive software. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 476–479. Springer, Heidelberg (1997)
Harrold, M.J.: Testing: A roadmap. In: Finkelstein, A. (ed.) ICSE - Future of SE Track, pp. 61–72. ACM Press, New York (2000)
Hungar, H., Margaria, T., Steffen, B.: Domain-specific optimization in automata learning. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 315–327. Springer, Heidelberg (2003)
Hungar, H., Margaria, T., Steffen, B.: Test-based model generation for legacy systems. In: IEEE international test conference (ITC), pp. 971–980. IEEE Computer Society Press, Los Alamitos (2003)
Leung, H.K.N., White, L.J.: Insights into regression testing. Journal of Software Maintenance: Research and Practice 2, 209–222 (1990)
Margaria, T., Raffelt, H., Steffen, B.: Knowledge-based relevance filtering for efficient system-level test-based model generation (to appear). Innovations in Systems and Software Engineering 1(2), 147–156 (2005)
Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Proceedings of FORTE/PSTV, vol. 156, pp. 225–240. Kluwer Academic Publishers, Dordrecht (1999)
Tretmans, J.: Test generation with inputs, outputs and repetetive quiescence. Software — Concepts and Tools 17(3), 103–120 (1996)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Willemse, T.A.C. (2007). Heuristics for ioco-Based Test-Based Modelling. In: Brim, L., Haverkort, B., Leucker, M., van de Pol, J. (eds) Formal Methods: Applications and Technology. PDMC 2006. Lecture Notes in Computer Science, vol 4346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70952-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-70952-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70951-0
Online ISBN: 978-3-540-70952-7
eBook Packages: Computer ScienceComputer Science (R0)