Testing of Communicating Systems
Editat de Bernd Baumgarten, Heinz-Jürgen Burkhardt, Alfred Giessleren Limba Engleză Hardback – 31 aug 1996
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 1173.37 lei 6-8 săpt. | |
| Springer Us – 11 ian 2013 | 1173.37 lei 6-8 săpt. | |
| Hardback (1) | 1179.16 lei 6-8 săpt. | |
| Springer Us – 31 aug 1996 | 1179.16 lei 6-8 săpt. |
Preț: 1179.16 lei
Preț vechi: 1438.01 lei
-18% Nou
Puncte Express: 1769
Preț estimativ în valută:
208.66€ • 244.68$ • 183.24£
208.66€ • 244.68$ • 183.24£
Carte tipărită la comandă
Livrare economică 02-16 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780412787904
ISBN-10: 0412787903
Pagini: 364
Ilustrații: X, 364 p.
Dimensiuni: 156 x 234 x 22 mm
Greutate: 0.71 kg
Ediția:1996 edition
Editura: Springer Us
Locul publicării:New York, NY, United States
ISBN-10: 0412787903
Pagini: 364
Ilustrații: X, 364 p.
Dimensiuni: 156 x 234 x 22 mm
Greutate: 0.71 kg
Ediția:1996 edition
Editura: Springer Us
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
1 How could research on testing of communicating systems become more industrially relevant?.- 2 Testing the broadband network: a quickly shifting demand for test equipment solutions.- 3 Conformance testing trials on ERMES receivers.- 4 TSE-P — a highly flexible tool for testing network management applications using simulation.- 5 A workstation’s communication performance benchmark.- 6 Automatic checking of the compatibility of the ISDN user-network interface (layer 3) using the tool VACCIN.- 7 The analysis of integration test result for ATM switching systems.- 8 The specification and testing of conformance in ODP systems.- 9 An approach to the validation of open object-based distributed applications.- 10 Testing deterministic implementations from nondeterministic FSM specifications.- 11 An approach for testing asynchronous communicating systems.- 12 Checking unstable properties in distributed testing of communication protocols.- 13 A rigorous and practical approach to service testing.- 14 Selective generation of symmetrical test cases.- 15 Automation of test case derivation in respect to test purposes.- 16 Field trial and quality test of ATM switching system in Korea.- 17 Conformance testing of ATM Adaptation Layer protocol.- 18 Test case generation for ATM protocols using high-level Petri net models.- 19 Formal methods in conformance testing: a probabilistic refinement.- 20 TDL: an ASN.1-based tests description language.- 21 Report on the standardization project “Formal methods in conformance testing”.- 22 Network testing strategies for local mobility service.- 23 Generation of conformance test suites for B-ISDN signalling relevant to Multi-party testing architecture.- 24 Experiences with concurrent TTCN for GSM/SS7 testing.- 25 Assessment of automaticgeneration methods of conformance test suites in an industrial context.- Keyword index.- Index of contributors.