Verification of Test Suites

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.

• Type: Conference
• Year: 2000
• Where: PTS
• Authors: Claude Jard, Thierry Jéron, Pierre Morel
• Keywords: ATM Forum Test, Hand-written Test Suites, PTS 2000, PTS 2007, Test Suite