Learn 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)
Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbücher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bücher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Ergänzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Büchern zu Sonderpreisen. Der Shop führt mehr als 8(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). In parallel to our work the ATM Forum developed another test suite for SSCOP. Unlike the test suite generated automatically by the SaMs-TaG tool, this one(More)
The treatment of complexity is one of the main problems in the area of validation and ver cation of formally speci ed 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)