Protocol Test Systems

Inhaltsverzeichnis

• 1 Open issues in conformance test specification.
• 2 OSI protocol testing system based on user friendly test scenario specification functions.
• 3 TTCN test case correctness validation.
• 4 Fault coverage of tests based on finite state models.
• 5 On transition time testing based on extended finite state machines.
• 6 Selecting test sequences for partially-specified nondeterministic finite state machines.
• 7 An optimal state identification method using a dynamic-programming-based approach for protocol testing.
• 8 The present status of conformance testing and interoperability testing.
• 9 Design and implementation of an interconnectability testing system — AICTS.
• 10 Evaluation of some test generation tools on a real protocol example.
• 11 Protocol validation tools as test case generators.
• 12 Framework for formal methods in conformance testing.
• 13 Testing strategies for communicating FSMs.
• 14 A generalization of the multiple UIO method of test sequence selection for protocols represented in FSM.
• 15 Automatic generation of extended UIO sequences for communication protocols in an EFSM model.
• 16 A new test sequence generation method for interoperability testing.
• 17 How to observe interoperability at the service level of protocols.
• 18 Testing using telecommunications management.
• 19 An implementation of CMIP/CMISE conformance testing system.
• 20 A conformance testing framework for applying test purposes.
• 21 Implementation of TTCN operational semantics in Estelle.
• 22 An approach to TTCN-based test execution.
• 23 Time oriented protocol testing simulator.
• 24 On the exploitation of parallelism in a test generation method for LOTOS-specifications.
• 25 Panel on some issues on testing theory and its application.
• 26 Some issues on testing theory and its application.
• Index ofcontributors.
• Keyword index.