A symbolic framework for model-based testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4262 LNCS, Issue , 2006, Pages 40-54

  Frantzen, L ^a,b   Tretmans, J ^b   Willemse, T A C ^b  

^a CNR   (Italy)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; TESTING;

IMPLEMENTATION RELATION; LABELLED TRANSITION SYSTEMS; MODEL BASED TESTING; SOUNDNESS AND COMPLETENESS; STATE-SPACE EXPLOSION; SYMBOLIC TRANSITION SYSTEMS; TEST GENERATION ALGORITHM; TRANSITION SYSTEM;

SOFTWARE TESTING;

EID: 34548100832     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11940197_3     Document Type: Conference Paper

References (16)

1. A. Belinfante, J. Feenstra, R.G. de Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal test automation: A simple experiment. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, IWTCS'99, pages 179-196. Kluwer Academic Publishers, 1999.
2. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks, 14(1):25-59, January 1988.
3. M. Broy, B. Jonsson, J.P. Katoen, M. Leucker, and A. Pretschner, editors. Model-based Testing of Reactive Systems: Advanced Lectures, volume 3472 of LNCS. Springer, 2005.
4. A.D. Brucker and B. Wolff. Symbolic test case generation for primitive recursive functions. In FATES 2004, volume 3395 of LNCS, pages 16-32. Springer-Verlag, 2005.
5. H. Ehrig, B. Mahr, F. Cornelius, M. Große-Rhode, and P. Zeitz. Mathematisch-strukturelle Grundlagen der Informatik. Springer, 2nd edition, 2001.
6. L. Frantzen, J. Tretmans, and T.A.C. Willemse. Test generation based on symbolic specifications. In FATES 2004, volume 3395 of LNCS, pages 1-15. Springer-Verlag, 2005.
7. C. Gaston, P. Le Gall, N. Rapin, and A. Touil. Symbolic execution techniques for test purpose definition. In M. U. Uyar, A. Y. Duale, and M. A. Fecko, editors, TestCom 2006, volume 3964 of LNCS, pages 1-18. Springer, 2006.
8. N. Goga. Comparing torx, autolink, tgv and uio test algorithms. In SDL '01: Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML, pages 379-402, London, UK, 2001. Springer-Verlag.
9. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, 1987.
10. C. Jard and T. Jéron. TGV: theory, principles and algorithms. In IDPT '02. Society for Design and Process Science, 2002.
11. B. Jeannet, T. Jéron, V. Rusu, and E. Zinovieva. Symbolic test selection based on approximate analysis. In TACAS, pages 349-364, 2005.
12. J. C. King. A new approach to program testing. In Proceedings of the international conference on Reliable software, pages 228-233, New York, NY, USA, 1975. ACM Press.
13. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - A survey. In Proceedings of the IEEE, volume 84, pages 1090-1126, 1996.
14. Object Management Group. UML 2.0 Superstructure Specification, ptc/03-08-02 edition. Adopted Specification.
15. V. Rusu, L. du Bousquet, and T. Jéron. An Approach to Symbolic Test Generation. In W. Grieskamp, T. Santen, and B. Stoddart, editors, IFM'00, volume 1945 of LNCS, pages 338-357. Springer-Verlag, 2000.
16. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103-120, 1996.