jeannet05a

B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic Test Selection based on Approximate Analysis. In 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), LNCS, Volume 3440, Pages 349-364, Edinburgh (Scottland), April 2005.

Download [help]

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 generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of reactive systems. The challenge we consider is the selection of test cases according to a test purpose, which is here a set of scenarii of interest that one wants to observe during test execution. Because of the interactions that occur between the test case and the implementation, test execution can be seen as a game involving two players, in which the test case attempts to satisfy the test purpose. Efficient solutions to this problem have been proposed in the context of finite-state models, based on the use of fixpoint computations. We extend them in the context of infinite-state symbolic models, by showing how approximate fixpoint computations can be used in a conservative way. The second contribution we provide is the formalization of a quality criterium for test cases, and a result relating the quality of a generated test case to the approximations used in the selection algorithm

Contact

Bertrand Jeannet http://www.irisa.fr/prive/bjeannet
Thierry Jéron http://www.irisa.fr/prive/jeron
Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html
Elena Zinovieva http://www.irisa.fr/prive/lenaz

BibTex Reference

@InProceedings{jeannet05a,
   Author = {Jeannet, B. and Jéron, T. and Rusu, V. and Zinovieva, E.},
   Title = {Symbolic Test Selection based on Approximate Analysis},
   BookTitle = {11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05)},
   Volume = {    3440},
   Pages = {349--364},
   Series = {LNCS},
   Address = {Edinburgh (Scottland)},
   Month = {April},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)