Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

JJR-FMCO-06

B. Jeannet, T. Jéron, V. Rusu. Model-based test selection for infinite state reactive systems. In Formal Methods of Components and Objects - FMCO 2006, Amsterdam, Netherlands, Revised Lectures, LNCS, Volume 4709, Pages 47-69, 2007.

Download [help]

Download paper: Doi page

Download paper: Adobe portable document (pdf) 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 off-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 in the context of finite-state models, based on the ioco conformance testing theory. An extension of these is proposed in the context of infinite-state specifications, modelled as automata extended with variables. One considers the selection of test cases according to test purposes describing abstract scenarios that one wants to test. The selection of program test cases then consists in syntactical transformations of the specification model, using approximate analyses

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron

BibTex Reference

@InProceedings{JJR-FMCO-06,
   Author = {Jeannet, B. and Jéron, T. and Rusu, V.},
   Title = {Model-based test selection for infinite state reactive systems},
   BookTitle = {{Formal Methods of Components and Objects - FMCO 2006, Amsterdam, Netherlands, Revised Lectures}},
   Volume = {    4709},
   Pages = {47--69},
   Series = {LNCS},
   Publisher = {Springer},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)