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

Brossura

ISBN 10: 1475763093 ISBN 13: 9781475763096

Casa editrice: Springer, 2013

Riassunto

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2013
• Lingua: Inglese
• ISBN 10: 1475763093
• ISBN 13: 9781475763096
• Rilegatura: Copertina flessibile
• Numero di pagine: 360
• Redattore: Mizuno Tadanori, Higashino Teruo, Shiratori Norio
• Contatto del produttore: Elevation; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; 22391; Germania