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.
