Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP

The test generation method <em>SAMSTAG</em> (SDL and MSC based test case generation) has successfully been applied to the B-ISDN ATM Adaption Layer protocol SSCOP (Service Specific Connection Oriented Protocol). In parallel to our work the ATM Forum developed another test suite for SSCOP. Unlike the test suite generated automatically by the <em>SAMSTAG</em> tool, this one was specified manually. In this paper we present a comparison looking at various aspects of the two test suites.