IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea
edited by Myungchul Kim, Sungwon Kang, Keesoo Hong.
Boston, MA
Springer US
1997
(x, 452 pages)
IFIP - The International Federation for Information Processing.
1 Future directions for protocol testing, learning the lessons from the past --;2 PertTTCN, a TTCN language extension for performance testing --;3 Real-time TTCN for testing real-time and multimedia systems --;4 Integration of test procedures and trials for DECT handsets --;5 Development of an ETSI standard for Phase-2 GSM/DCS mobile terminal conformance testing --;6 Automatic executable test case generation for extended finite state machine protocols --;7 A method to derive a single-EFSM from communicating multi-EFSM for data part testing --;8 Basing test coverage on a formalization of test hypotheses --;9 Design for testability: a step-wise approach to protocol testing --;10 Developments in testing transition systems --;11 Checking experiments with labeled transition systems for trace equivalence --;12 An approach to dynamic protocol testing --;13 Sensitivity analysis of the metric based test selection --;14 Analyzing performance bottlenecks in protocols based on finite state specifications --;15 A conformance testing for communication protocols modeled as a set of DFSMs with common inputs --;16 On test case generation from asynchronously communicating state machines --;17 Fault detection in embedded components --;18 A pragmatic approach to generating test sequences for embedded systems --;19 The European initiative for the development of infrastructural tools: the INTOOL programme --;20 HARPO: testing tools development --;21 Application of a TTCN based conformance test environment on the Internet email protocol --;22 The INTOOL/CATG European project: development of an industrial tool in the field of computer aided test generation --;23 Modeling and testing of protocol systems --;24 A pragmatic approach to test generation --;25 Towards abstract test methods for relay system testing --;26 Applying SaMsTaG to the B-ISDN protocol SSCOP --;27 Design of protocol monitor emulating behaviors of TCP/IP protocols --;28 A two-level approach to automated conformance testing of VHDL designs --;Index of contributors --;Keyword index.
phases of testing including test case generation, means of testing, test execution and test results analysis; classes of systems tested and the theory and practice of testing including test-related algorithms, practical testing methodology and practical testing experience.
Computer Communication Networks.
Computer science.
TK5101
.
A1
E358
1997
edited by Myungchul Kim, Sungwon Kang, Keesoo Hong.