Testing of Communicating Systems

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

Häftad, Engelska, 2013

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)

Inbunden

2 729 kr

Skickas inom 10-15 vardagar

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

Utgivningsdatum2013-02-25
Mått155 x 235 x 26 mm
Vikt703 g
FormatHäftad
SpråkEngelska
SerieIFIP Advances in Information and Communication Technology
Antal sidor452
FörlagSpringer-Verlag New York Inc.
ISBN9781475767018

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

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.