Cantitate/Preț
Produs

Testing of Communicating Systems: IFIP TC6 9th International Workshop on Testing of Communicating Systems Darmstadt, Germany 9–11 September 1996: IFIP Advances in Information and Communication Technology

Editat de Bernd Baumgarten, Heinz-Jürgen Burkhardt, Alfred Giessler
en Limba Engleză Hardback – 31 aug 1996
This volume contains the proceedings of the IFIP WG 6. 1 International Workshop on Testing of Communicating Systems (lWTCS'96), held in Darmstadt, Germany, on September 9 through II, 1996, continuing the IFIP WG 6. 1 series of International Workshops on Protocol Test Systems (IWPTS). In this series of working conferences, held annually since 1988, many valuable contributions have been presented with an emphasis both on the OSI conformance testing methodology and framework as well as the standardization effort on formal methods in conformance testing. While there are stilI open issues and divergencies between theory and practice in these fields, the scope of the series started expanding to related fields of growing practical relevance, for example to testing with regard to the B-ISDN protocol reference model, in particular ATM, the ODP reference model, and the Internet protocol suite, as well as to interoperability testing and performance testing. To reflect the extended scope, the program committee agreed on a new name for this series of working conferences, to be applied the first time to the 1996 conference. However, in order to emphasize the tradition of IWPTS, the numbering of this series was continued, such that IWTCS'96 is counted as the 9th International Workshop on Testing of Communicating Systems. As in the years before, the workshop aims at bringing together researchers and practi­ tioners, furthering the exchange of views, and correlating the work of both sides.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 118582 lei  6-8 săpt.
  Springer Us – 11 ian 2013 118582 lei  6-8 săpt.
Hardback (1) 119167 lei  6-8 săpt.
  Springer Us – 31 aug 1996 119167 lei  6-8 săpt.

Din seria IFIP Advances in Information and Communication Technology

Preț: 119167 lei

Preț vechi: 145325 lei
-18% Nou

Puncte Express: 1788

Preț estimativ în valută:
22804 23985$ 19054£

Carte tipărită la comandă

Livrare economică 08-22 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780412787904
ISBN-10: 0412787903
Pagini: 364
Ilustrații: X, 364 p.
Dimensiuni: 155 x 235 x 22 mm
Greutate: 0.71 kg
Ediția:1996
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 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.