Protocol Test Systems VIII
Editat de Ana Cavalli, Stan Budkowskien Limba Engleză Paperback – 27 feb 2013
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 1178.99 lei 6-8 săpt. | |
| Springer – 27 feb 2013 | 1178.99 lei 6-8 săpt. | |
| Hardback (1) | 1183.12 lei 6-8 săpt. | |
| Springer Us – 31 ian 1996 | 1183.12 lei 6-8 săpt. |
Preț: 1178.99 lei
Preț vechi: 1437.79 lei
-18% Nou
Puncte Express: 1768
Preț estimativ în valută:
208.60€ • 243.02$ • 182.16£
208.60€ • 243.02$ • 182.16£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781475763126
ISBN-10: 1475763123
Pagini: 468
Ilustrații: XII, 452 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.7 kg
Ediția:Softcover reprint of the original 1st ed. 1996
Editura: Springer
Locul publicării:New York, NY, United States
ISBN-10: 1475763123
Pagini: 468
Ilustrații: XII, 452 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.7 kg
Ediția:Softcover reprint of the original 1st ed. 1996
Editura: Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
1 Testing through the ages.- 2 An executable protocol test sequence generation method for EFSM-specified protocols.- 3 Transformation of Estelle modules aiming at test case generation.- 4 Application of a LOTOS based test environment on AAL5.- 5 Stable testers for environment sensitive systems.- 6 Timed systems behaviour and conformance testing — a mathematical framework.- 7 An adaptative test sequence generation method for the users needs.- 8 A framework for testing telecommunication services.- 9 Conformance testing of protocols specified as labeled transition systems.- 10 Two approaches linking test generation with verification techniques.- 11 PROSPECT — a proposal for a new test specification language and its implementation.- 12 Test sequence generation for adaptive interoperability testing.- 13 Fault-tolerant UIO sequences in finite state machines.- 14 Guaranteeing full fault coverage for UIO-based testing methods.- 15 Towards testable communication software.- 16 Design for testability of protocols based on formal specifications.- 17 On the design for testability of communication protocols.- 18 A unified test case generation method for the EFSM model using context independent unique sequences.- 19 Handling redundant and additional states in protocol testing.- 20 Experiences with the design of B-ISDN integrated test system (BITS).- 21 The testing of BTs intelligent peripheral using abstract test suites from ETSI.- 22 Design of intelligent OSI protocol monitor.- 23 Management and maintenance of TTCN abstract test suites.- 24 Port-synchronizable test sequences for communication protocols.- 25 Synchronizable and checking sequences based on UIO sequences.- 26 Specification-driven performance monitoring of SDL/MSC-specified protocols.- 27 Test management and TTCNbased test sequencing.- 28 Towards a ‘practical formal method’ for test derivation.- Index of contributors.- Keyword index.