Jump to : Download | Note | Abstract | Contact | BibTex reference | EndNote reference |
Download paper Adobe portable document format (pdf)
Copyright noticeThis 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.
Electronic version will appear in ENTCS
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.
Thierry Jéron
Thierry.Jeron@irisa.fr
@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},
Year = {2008}
}
Get EndNote Reference (.ref)