Ebook: Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995

IWPTS'95 (International Workshop on Protocol Test Systems) is being held this year at !NT (Institut National des Telecommunications), Evry, France, from 4 to 6 September, 1995. IWPTS'95 is the eighth of a series of annual meetings sponsored by the IFIP Working Group WG6.1 dedicated to "Architecture and Protocols for Computer Networks". The seven previous workshops were held in Vancouver (Canada, 1988), Berlin (Germany, 1989), Mclean (USA, 1990), Leidschendam (The Netherlands, 1991), Montreal (Canada, 1992), Pau (France, 1993) and Tokyo (Japan, 1994). The workshop is a meeting place where both research and industry, theory and practice come together. By bringing both researchers and practitioners together, IWPTS opens up the communication between these groups. This helps keep the research vital and improves the state of the practitioner's art. Forty-eight papers have been submitted to IWPTS'95 and all of them have been reviewed by the members of the Program Committee and additional reviewers. The completed reviewers list is included in this Proceedings. Based on these reviews, the Program Committee selected 26 for oral presentation and 4 to be presented as posters. Two specially invited papers complete the Workshop Program, which is composed of ten sessions: Testing Methods (Session 1), Test Environments (Session 2), Theoretical Framework (Session 3), Algorithms and Languages (Session 4), Test Generation 1 (Session 5), Testability (Session 6), Test Generation 2 (Session 7), Industrial Applications (Session 8), Distributed Testing and performance (Session 9) and Test Management (Session 10).

---

---

Content:
Front Matter....Pages i-xii
Front Matter....Pages 1-1
Testing Through the Ages....Pages 5-19
An Executable Protocol Test Sequence Generation Method for EFSM-specified Protocols....Pages 20-35
Transformation of Estelle modules aiming at test case generation....Pages 36-51
On the design for testability of communication protocols....Pages 265-280
Front Matter....Pages 53-53
Application of a LOTOS based Test Environment on AAL5....Pages 55-70
Stable Testers for Environment Sensitive Systems....Pages 71-86
Front Matter....Pages 87-87
Timed systems behaviour and conformance testing — a mathematical framework....Pages 89-104
An adaptive test sequences generation method for the users needs....Pages 105-120
A Framework for Testing Telecommunication Services....Pages 121-132
Front Matter....Pages 133-133
Conformance testing of protocols specified as labeled transition systems....Pages 135-150
Two approaches linking a test generation tool with verification techniques....Pages 151-166
PROSPECT — A Proposal for a New Test Specification Language and Its Implementation....Pages 167-184
Front Matter....Pages 185-185
Test sequence generation for adaptive interoperability testing....Pages 187-200
Fault-tolerant UIO Sequences in Finite State Machines....Pages 201-214
Guaranteeing full fault coverage for UIO-based testing methods....Pages 215-231
Front Matter....Pages 233-233
Towards testable communication software....Pages 237-251
Design for testability of protocols based on formal specifications....Pages 252-264
On the design for testability of communication protocols....Pages 265-280
Front Matter....Pages 281-281
A Unified Test Case Generation Method for the EFSM Model Using Context Independent Unique Sequences....Pages 283-299
Handling redundant and additional states in protocol testing....Pages 300-315
Front Matter....Pages 317-317
Experiences with the Design of B-ISDN Integrated Test System(BITS)....Pages 319-328
Front Matter....Pages 317-317
The Testing of BT’s Intelligent Peripheral using abstract test suites from ETSI....Pages 329-341
Design of Intelligent OSI Protocol Monitor....Pages 342-357
Management and maintenance of TTCN Abstract Test Suites....Pages 358-366
Front Matter....Pages 367-367
Port-synchronizable test sequences for communication protocols....Pages 369-384
Synchronizable Checking Sequences Based on UIO Sequences....Pages 385-397
Specification-driven Performance Monitoring of SDL/MSC-specified Protocols....Pages 398-413
Front Matter....Pages 415-415
Test Management and TTCN based Test Sequencing....Pages 417-432
Towards a “Practical Formal Method” for Test Derivation....Pages 433-448
Back Matter....Pages 449-451

---

Content:
Front Matter....Pages i-xii
Front Matter....Pages 1-1
Testing Through the Ages....Pages 5-19
An Executable Protocol Test Sequence Generation Method for EFSM-specified Protocols....Pages 20-35
Transformation of Estelle modules aiming at test case generation....Pages 36-51
On the design for testability of communication protocols....Pages 265-280
Front Matter....Pages 53-53
Application of a LOTOS based Test Environment on AAL5....Pages 55-70
Stable Testers for Environment Sensitive Systems....Pages 71-86
Front Matter....Pages 87-87
Timed systems behaviour and conformance testing — a mathematical framework....Pages 89-104
An adaptive test sequences generation method for the users needs....Pages 105-120
A Framework for Testing Telecommunication Services....Pages 121-132
Front Matter....Pages 133-133
Conformance testing of protocols specified as labeled transition systems....Pages 135-150
Two approaches linking a test generation tool with verification techniques....Pages 151-166
PROSPECT — A Proposal for a New Test Specification Language and Its Implementation....Pages 167-184
Front Matter....Pages 185-185
Test sequence generation for adaptive interoperability testing....Pages 187-200
Fault-tolerant UIO Sequences in Finite State Machines....Pages 201-214
Guaranteeing full fault coverage for UIO-based testing methods....Pages 215-231
Front Matter....Pages 233-233
Towards testable communication software....Pages 237-251
Design for testability of protocols based on formal specifications....Pages 252-264
On the design for testability of communication protocols....Pages 265-280
Front Matter....Pages 281-281
A Unified Test Case Generation Method for the EFSM Model Using Context Independent Unique Sequences....Pages 283-299
Handling redundant and additional states in protocol testing....Pages 300-315
Front Matter....Pages 317-317
Experiences with the Design of B-ISDN Integrated Test System(BITS)....Pages 319-328
Front Matter....Pages 317-317
The Testing of BT’s Intelligent Peripheral using abstract test suites from ETSI....Pages 329-341
Design of Intelligent OSI Protocol Monitor....Pages 342-357
Management and maintenance of TTCN Abstract Test Suites....Pages 358-366
Front Matter....Pages 367-367
Port-synchronizable test sequences for communication protocols....Pages 369-384
Synchronizable Checking Sequences Based on UIO Sequences....Pages 385-397
Specification-driven Performance Monitoring of SDL/MSC-specified Protocols....Pages 398-413
Front Matter....Pages 415-415
Test Management and TTCN based Test Sequencing....Pages 417-432
Towards a “Practical Formal Method” for Test Derivation....Pages 433-448
Back Matter....Pages 449-451
....