Jeron-SBMF08

Thierry Jéron. Symbolic model-based test selection. In Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Bahia, Brazil, P. Machado, A. Andrade, A. Duran (eds.), Electronic Version available in ENTCS, Volume 240, pages 167-184, Pages 17-32, August 2008.

Download [help]

Download paper: Doi page

Download paper: Adobe portable document (pdf)

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Abstract

This paper addresses the problem of model-based on-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of reactive systems. Efficient solutions to this problem have been proposed for LTS finite-state models, based on the ioco conformance testing theory. In this paper, the approach is extended for infinite-state specifications, modelled as automata extended with variables. When considering the selection of test cases according to test purposes (abstract scenarii focused by test cases), the selection of test cases relies on approximate co-reachability analyses using abstract interpretation and syntactical transformations guided by this analysis, while test execution uses constraint solving

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron

BibTex Reference

@InProceedings{Jeron-SBMF08,
   Author = {Jéron, Thierry},
   Title = {Symbolic model-based test selection},
   BookTitle = {Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Bahia, Brazil},
   editor = {Machado, P. and Andrade, A. and Duran, A.},
   Pages = {17--32},
   Publisher = {UFBA},
   Month = {August},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)