Symbolic test selection based on approximate analysis

Lecture Notes in Computer Science

Volumn 3440, Issue , 2005, Pages 349-364

  Jeannet, Bertrand ^a   Jéron, Thierry ^a   Rusu, Vlad ^a   Zinovieva, Elena ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; FINITE AUTOMATA; MATHEMATICAL MODELS; PROBLEM SOLVING;

FIXPOINT COMPUTATIONS; SYMBOLIC TEST SELECTION; TEST EXECUTION;

COMPUTATION THEORY;

EID: 24644500355     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31980-1_23     Document Type: Conference Paper

References (16)

1. ISO/IEC 9646. Conformance Testing Methodology and Framework, 1992.
2. th Int. Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, 1999.
3. M. Benjamin, D. Geist, A. Hartman, G. Mas, R. Smeets, and Y. Wolfsthal. A feasibility study in formal coverage driven test generation. In DAC99, 1999.
4. P. Cousot and R. Cousot. Abstract intrepretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages, Los Angeles, CA, 1977.
5. L. Frantzen, J. Tretmans, and T. Willemse. Test generation based on symbolic specifications. In FATES 2004, Linz, Austria, 2004.
6. th SDL Forum, Darmstadt (Germany). North-Holland, 1993.
7. N. Halbwachs, Y.E. Proy, and P. Roumanoff. Verification of real-time systems using linear relation analysis. Formal Methods in System Design, 11(2), 1997.
8. H.S. Hong, I. Lee, O. Sokolsky, and H. Ural. A temporal logic based theory of test coverage and generation. In TAG AS '02, Grenoble, France, LNCS 2280. Springer-Verlag, 2002.
9. C. Jard and T. Jéron. TGV: theory, principles and algorithms. International Journal on Software Tools for Technology Transfer, 6, 2004.
10. B. Jeannet. Dynamic partitioning in linear relation analysis, application to the verification of reactive systems. Formal Methods in System Design, 23(1), 2003.
11. B. Jeannet, T. Jéron, V. Rusu, and E. Zinovieva. Symbolic test selection using approximate analysis. Technical Report 1649, INRIA, 2004. Available at http://www.irisa.fr/bibli/publi/pi/2004/1649/1649.html.
12. T. Jéron and P. Morel. Test generation derived from model-checking. In CAV'99, Trento, Italy, LNCS 1633. Springer-Verlag, 1999.
13. D. Lee and M. Yannakakis. Principles and Methods of Testing Finite State Machines - A Survey. Proceedings of the IEEE, 84(8), 1996.
14. V. Rusu, L. du Bousquet, and T. Jéron. An approach to symbolic test generation. In Integrated Formal Methods (IFM'00), Dagstuhl, Allemagne, LNCS 1945. Springer Verlag, 2000.
15. V. Rusu, H. Marchand, and T. Jéron. Verification and symbolic test generation for safety properties. Technical Report 5285, INRIA, 2004. Available at http://www.inria.fr/rrrt/rr-5285.html.
16. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3), 1996.