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.

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

Download [help]

Download paper Gziped Postscript (.ps.gz)

Copyright noticeThis 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.

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
Thierry.Jeron@irisa.fr

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)


This page has been automatically generated using the bib2html program.