Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |
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.
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.
Thierry Jéron
Thierry.Jeron@irisa.fr
@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}
}
Get EndNote Reference (.ref)