Testing of Communicating Systems
Autor Myungchul Kim, Sungwon Kang, Keesoo Hongen Limba Engleză Hardback – 31 aug 1997
Preț: 1246.23 lei
Preț vechi: 1557.79 lei
-20%
Puncte Express: 1869
Carte tipărită la comandă
Livrare economică 07-21 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9780412817304
ISBN-10: 0412817306
Pagini: 452
Ilustrații: X, 452 p.
Dimensiuni: 156 x 234 x 25 mm
Greutate: 0.83 kg
Ediția:1997 edition
Editura: Springer Us
Locul publicării:New York, NY, United States
ISBN-10: 0412817306
Pagini: 452
Ilustrații: X, 452 p.
Dimensiuni: 156 x 234 x 25 mm
Greutate: 0.83 kg
Ediția:1997 edition
Editura: Springer Us
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
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.