Groz-Jeron-Kerbrat-SDLForum99

R. Groz, T. Jéron, A. Kerbrat. Automated Test Generation from SDL specifications. In SDL'99 The Next Millenium, 9th SDL Forum, Montréal, Québec, R. Dssouli, G. von Bochmann, Y. Lahav (eds.), Pages 135-152, June 1999.

Download [help]

Download paper: Gziped Postscript

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

Automatic test generation from formal specifications presents a lot of promises, either in cost control or test suite correctness. Some interesting tools begin to emerge, either prototypes or industrial strength tools. We present the result of the integration in ObjectGéode of an industrial test generation tool. This tool is based on two complementary test generation prototypes, TVeda and TGV. TVeda comes from the research laboratory CNET/France Telecom, it provides for test purposes and test cases generation, based on state space exploration or symbolic analysis techniques. TGV has been designed in the research laboratories Irisa and Verimag, it provides test cases generation based on efficient, on-the-fly state space exploration techniques

Contact

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

BibTex Reference

@InProceedings{Groz-Jeron-Kerbrat-SDLForum99,
   Author = {Groz, R. and Jéron, T. and Kerbrat, A.},
   Title = {Automated Test Generation from {SDL} specifications},
   BookTitle = {SDL'99 The Next Millenium, 9th SDL Forum, Montréal, Québec},
   editor = {Dssouli, R. and von Bochmann, G. and Lahav, Y.},
   Pages = {135--152},
   Publisher = {Elsevier},
   Month = {June},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)