Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993
著者
書誌事項
Protocol test systems, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28-30 September 1993
（IFIP transactions, C . Communication systems ; 19）
North-Holland, 1994
- タイトル別名
-
Protocol test systems, 6
大学図書館所蔵 全4件
注記
Includes bibliographical references and index
内容説明・目次
内容説明
In order to achieve the goal of communication architectures and protocols, which is the interworking of systems, several kinds of test are required: conformance testing, interoperability testing, performance testing and robustness testing. This volume contains contributions from internationally recognized experts working on the theory and practice of protocol testing. In addition to the discussion of important issues in the area, it also offers a review of the state of the art and consideration of trends and directions for the future. The papers cover different approaches, including: formal methods for conformance testing; test generation and coverage; testability and architecture; conformance relations and test derivation; interoperability and nondeterminism; industrial reports and tools. The book will be an essential reference tool for students, engineers, researchers and designers in the field.
目次
- Part 1 Invited paper I: formal methods for conformance testing - results and perspectives, A.R. Cavalli et al
- test generation and coverage - fault coverage of UIO-based methods for protocol tesing, H. Motteler et al
- executable testers, M. Phalippou
- generating tests for control portion of SDL specifications, G. Luo et al
- test suite generation for application layer protocols from formal specifications in Estelle, O. Henniger et al
- tutorial - a framework for the design for testability of communication protocols, S.T. Vuong et al
- testability and architecture - on evaluation of testability of protocol structures, A. Petrenko et al
- ATM broadband network testing using the ferry principle, M.F. Witteman and R.C. van Wuijtswinkel
- generating synchronizable test sequences based on finite state machine with distributed ports, G. Luo et al. Part 2 Invited paper II: conformance relations and test derivation, A. Petrenko et al
- industrial reports and tools - experiences with computer aided test case generation, A. Ek et al
- protocol test case vizualization, P. Kalyanasundaram and P.D. Amer
- the UBC protocol testing environment, S.T. Chanson et al
- experience with Octopus automated TTCN translation tools applied to GSM/SS7, A. Ahtiainen et al. Part 3 Invited paper III: a formal approach to conformance testing, J. Tretmans
- test generation - test derivation from LOTOS using structure information, A. Ulrich and H. Konig. Part 4 Invited paper IV: the refusal graph - a tradeoff between verification and test, K. Drira
- interoperability and nondeterminism - interoperability testing - basis for the acceptance of communication systems, G. Vermeer and H. Blik
- deriving coordinated testers for interoperability, R. Castanet and O. Kone
- adaptive testing of non-deterministic communication protocols, M. Ghriga and P.G. Frankl
- nondeterministic state machines in protocol conformance testing, A. Petrenko et al.
「Nielsen BookData」 より