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

Jard-Jeron-Morel-Testcom2000

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 [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

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

Contact

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

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)