Testing of Communicating Systems
Editat de Bernd Baumgarten, Heinz-Jürgen Burkhardt, Alfred Giessleren Limba Engleză Hardback – 31 aug 1996
Preț: 1204.12 lei
Preț vechi: 1468.44 lei
-18%
Puncte Express: 1806
Carte tipărită la comandă
Livrare economică 29 august-12 septembrie
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: 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.