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

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

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)