Rudolf Scheurer

Learn More
The treatment of complexity is one of the main problems in the area of validation and veriication of formally speciied protocols. The problem can be tackled by using heuristics, partial order simulation methods, and optimization strategies. We present these mechanisms and describe the way they work. Their usefulness will be discussed by presenting the(More)
The test generation method SaMsTaG (SDL and MSC based test case generation) has been applied successfully to the B-ISDN ATM Adaption Layer protocol SSCOP (Service Speciic Connection Oriented Protocol). For approximately 70% of the identiied test purposes complete TTCN test cases have been generated automatically. In the rst part of this technical report we(More)
The test generation method SaMsTaG (SDL and MSC based test case generation) has successfully been applied to the B-ISDN ATM Adaption Layer protocol SSCOP (Service Speciic Connection Oriented Protocol). A test suite has been generated covering approximately 70% of the test purposes identiied. In parallel to our work the ATM Forum developed another test suite(More)
  • 1