Testing of Communicating Systems

IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea

Inbunden, Engelska, 1997

Av Myungchul Kim, Sungwon Kang, Keesoo Hong

2 729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

2 729 kr

Skickas inom 10-15 vardagar

The aim of this book is to bring together the research of academics and practitioners in the field of communication systems testing. It covers four major topic areas; types of testing including conformance testing, inoperability testing, performance and QoS testing; 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.

Produktinformation

Utgivningsdatum1997-08-31
Mått155 x 235 x 25 mm
Vikt826 g
FormatInbunden
SpråkEngelska
SerieIFIP Advances in Information and Communication Technology
Antal sidor452
Upplaga1997
FörlagChapman and Hall
ISBN9780412817304

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Hårdvara inom Data och it
Elektronik och kommunikationer inom Naturvetenskap och teknik
Nätverk och kommunikation inom Data och it

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.