Protocol Test Systems VIII

1 Testing through the ages.- 2 An executable protocol test sequence generation method for EFSM-specified protocols.- 3 Transformation of Estelle modules aiming at test case generation.- 4 Application of a LOTOS based test environment on AAL5.- 5 Stable testers for environment sensitive systems.- 6 Timed systems behaviour and conformance testing — a mathematical framework.- 7 An adaptative test sequence generation method for the users needs.- 8 A framework for testing telecommunication services.- 9 Conformance testing of protocols specified as labeled transition systems.- 10 Two approaches linking test generation with verification techniques.- 11 PROSPECT — a proposal for a new test specification language and its implementation.- 12 Test sequence generation for adaptive interoperability testing.- 13 Fault-tolerant UIO sequences in finite state machines.- 14 Guaranteeing full fault coverage for UIO-based testing methods.- 15 Towards testable communication software.- 16 Design for testability of protocols based on formal specifications.- 17 On the design for testability of communication protocols.- 18 A unified test case generation method for the EFSM model using context independent unique sequences.- 19 Handling redundant and additional states in protocol testing.- 20 Experiences with the design of B-ISDN integrated test system (BITS).- 21 The testing of BTs intelligent peripheral using abstract test suites from ETSI.- 22 Design of intelligent OSI protocol monitor.- 23 Management and maintenance of TTCN abstract test suites.- 24 Port-synchronizable test sequences for communication protocols.- 25 Synchronizable and checking sequences based on UIO sequences.- 26 Specification-driven performance monitoring of SDL/MSC-specified protocols.- 27 Test management and TTCNbased test sequencing.- 28 Towards a ‘practical formal method’ for test derivation.- Index of contributors.- Keyword index.