Ebook: Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

This book presents the latest research results in protocol testing. It contains the complete proceedings of the seventh IFIP WG6.1 International Workshop on Protocol Test Systems (IWPTS '94), organized by the International Federation for Information Processing and held in Tokyo, Japan in November 1994. The book presents an alliance between research and industry and between the theory and practice of testing of data communication systems.

---

---

Content:
Front Matter....Pages i-x
Front Matter....Pages 1-1
Open Issues in Conformance Test Specification....Pages 3-18
OSI Protocol Testing System based on User Friendly Test Scenario Specification Functions....Pages 19-34
TTCN test case correctness validation....Pages 35-51
Fault Coverage of Tests Based on Finite State Models....Pages 55-76
Front Matter....Pages 77-77
On Transition Time Testing based on Extended Finite State Machines....Pages 79-94
Selecting Test Sequences for Partially-Specified Nondeterministic Finite State Machines....Pages 95-110
An Optimal State Identification Method Using a Dynamic-Programming-Based Approach for Protocol Testing....Pages 111-118
The Present Status of Conformance Testing and Interoperability Testing....Pages 121-121
Front Matter....Pages 123-123
Design and Implementation of an Interconnectability Testing System — AICTS....Pages 125-140
Evaluation of some test generation tools on a real protocol example....Pages 141-154
Protocol Validation Tools as Test Case Generators....Pages 155-170
Framework for formal methods in conformance testing....Pages 173-189
Front Matter....Pages 191-191
Testing Strategies for Communicating FSMs....Pages 193-208
A Generalization of the multiple UIO method of test sequence selection for protocols represented in FSM....Pages 209-224
Automatic Generation of Extended UIO Sequences for Communication Protocols in an EFSM Model....Pages 225-240
Front Matter....Pages 241-241
A New Test Sequence Generation Method for Interoperability Testing....Pages 243-258
How to Observe Interoperability at the Service Level of Protocols....Pages 259-270
Testing using Telecommunications Management....Pages 271-280
Front Matter....Pages 281-281
An Implementation of CMIP/CMISE Conformance Testing System....Pages 283-290
A Conformance Testing Framework for Applying Test Purposes....Pages 291-298
Front Matter....Pages 281-281
Implementation of TTCN Operational Semantics in Estelle....Pages 299-306
Front Matter....Pages 307-307
An Approach to TTCN-Based Test Execution....Pages 309-316
Time Oriented Protocol Testing Simulator....Pages 317-324
On the Exploitation of Parallelism in a Test Generation Method for LOTOS-Specifications....Pages 325-332
Panel on Some Issues on Testing Theory and its Applications....Pages 335-335
Some Issues on Testing Theory and its Applications....Pages 337-345
Back Matter....Pages 346-347

---

Content:
Front Matter....Pages i-x
Front Matter....Pages 1-1
Open Issues in Conformance Test Specification....Pages 3-18
OSI Protocol Testing System based on User Friendly Test Scenario Specification Functions....Pages 19-34
TTCN test case correctness validation....Pages 35-51
Fault Coverage of Tests Based on Finite State Models....Pages 55-76
Front Matter....Pages 77-77
On Transition Time Testing based on Extended Finite State Machines....Pages 79-94
Selecting Test Sequences for Partially-Specified Nondeterministic Finite State Machines....Pages 95-110
An Optimal State Identification Method Using a Dynamic-Programming-Based Approach for Protocol Testing....Pages 111-118
The Present Status of Conformance Testing and Interoperability Testing....Pages 121-121
Front Matter....Pages 123-123
Design and Implementation of an Interconnectability Testing System — AICTS....Pages 125-140
Evaluation of some test generation tools on a real protocol example....Pages 141-154
Protocol Validation Tools as Test Case Generators....Pages 155-170
Framework for formal methods in conformance testing....Pages 173-189
Front Matter....Pages 191-191
Testing Strategies for Communicating FSMs....Pages 193-208
A Generalization of the multiple UIO method of test sequence selection for protocols represented in FSM....Pages 209-224
Automatic Generation of Extended UIO Sequences for Communication Protocols in an EFSM Model....Pages 225-240
Front Matter....Pages 241-241
A New Test Sequence Generation Method for Interoperability Testing....Pages 243-258
How to Observe Interoperability at the Service Level of Protocols....Pages 259-270
Testing using Telecommunications Management....Pages 271-280
Front Matter....Pages 281-281
An Implementation of CMIP/CMISE Conformance Testing System....Pages 283-290
A Conformance Testing Framework for Applying Test Purposes....Pages 291-298
Front Matter....Pages 281-281
Implementation of TTCN Operational Semantics in Estelle....Pages 299-306
Front Matter....Pages 307-307
An Approach to TTCN-Based Test Execution....Pages 309-316
Time Oriented Protocol Testing Simulator....Pages 317-324
On the Exploitation of Parallelism in a Test Generation Method for LOTOS-Specifications....Pages 325-332
Panel on Some Issues on Testing Theory and its Applications....Pages 335-335
Some Issues on Testing Theory and its Applications....Pages 337-345
Back Matter....Pages 346-347
....