Cantitate/Preț
Produs

Testing of Communicating Systems: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea: IFIP Advances in Information and Communication Technology

Autor Myungchul Kim, Sungwon Kang, Keesoo Hong
en Limba Engleză Hardback – 31 aug 1997
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 125406 lei  43-57 zile
  Springer Us – 25 feb 2013 125406 lei  43-57 zile
Hardback (1) 126037 lei  43-57 zile
  Springer Us – 31 aug 1997 126037 lei  43-57 zile

Din seria IFIP Advances in Information and Communication Technology

Preț: 126037 lei

Preț vechi: 157546 lei
-20% Nou

Puncte Express: 1891

Preț estimativ în valută:
24121 25055$ 20036£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780412817304
ISBN-10: 0412817306
Pagini: 452
Ilustrații: X, 452 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.83 kg
Ediția:1997
Editura: Springer Us
Colecția Springer
Seria IFIP Advances in Information and Communication Technology

Locul publicării:New York, NY, United States

Public țintă

Research

Cuprins

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.