%0 Conference Proceedings
%F Jard-Jeron-Morel-Testcom2000
%A Jard, C.
%A Jéron, T.
%A Morel, P.
%T Verification of Test Suites
%B TestCom 2000, IFIP TC 6 / WG 6.1, The IFIP 13th International Conference on Testing of Communicating Systems, Ottawa, Ontario, Canada
%E Ural, H.
%E Probert, R.L.
%E v. Bochman, G.
%I Kluwer Academic Publishers
%X 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
%U http://www.irisa.fr/vertecs/Publis/Ps/2000-TESTCOM.ps.gz
%8 August
%D 2000