C. Jard, T. Jéron, P. Morel. Verification of Test Suites. In TestCom 2000, IFIP TC 6 / WG 6.1, The IFIP 13th International Conference on Testing of Communicating Systems, Ottawa, Ontario, Canada, H. Ural, R.L. Probert, G. v. Bochman (eds.), August 2000.
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
We present a formal approach to check the correctness and to propose corrections of hand-written test suites with respect to a formal specification of the protocol implementations to test. It is shown that this requires in general a complex algorithmic comparable to model-checking. The principles of a prototype tool, called VTS, and based on the synthesis algorithms of TGV, are presented. We then prove the usefulness of the technique by checking a significant part of the ATM Forum test suite for the SSCOP protocol
Thierry Jéron http://www.irisa.fr/prive/jeron
@InProceedings{Jard-Jeron-Morel-Testcom2000,
Author = {Jard, C. and Jéron, T. and Morel, P.},
Title = {Verification of Test Suites},
BookTitle = {TestCom 2000, IFIP TC 6 / WG 6.1, The IFIP 13th International Conference on Testing of Communicating Systems, Ottawa, Ontario, Canada},
editor = {Ural, H. and Probert, R.L. and v. Bochman, G.},
Publisher = {Kluwer Academic Publishers},
Month = {August},
Year = {2000}
}
Get EndNote Reference (.ref)
|
| VerTeCs
| Team
| Publications
| New Results
| Softwares
|
Irisa - Inria - Copyright 2005 © Projet VerTeCs |