%0 Conference Proceedings
%F Jeron-SBMF08
%A Jéron, Thierry
%T Symbolic model-based test selection
%B Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2008), Salvador, Bahia, Brazil
%E Machado, P.
%E Andrade, A.
%E Duran, A.
%P 17-32
%I UFBA
%X 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
%U http://www.irisa.fr/vertecs/Publis/Ps/sbmf-jeron.pdf
%U http://dx.doi.org/10.1016/j.entcs.2009.05.051
%8 August
%D 2008