Protocol Test Systems: IFIP Advances in Information and Communication Technology

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.