Protocol Test Systems VIII
Editat de Ana Cavalli, Stan Budkowskien Limba Engleză Paperback – 27 feb 2013
Preț: 1197.58 lei
Preț vechi: 1460.46 lei
-18%
Puncte Express: 1796
Carte tipărită la comandă
Livrare economică 08-22 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: 9781475763126
ISBN-10: 1475763123
Pagini: 452
Ilustrații: XII, 452 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.7 kg
Ediția:Softcover Reprint of the Original 1st 1996 edition
Editura: Springer Us
Locul publicării:New York, NY, United States
ISBN-10: 1475763123
Pagini: 452
Ilustrații: XII, 452 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.7 kg
Ediția:Softcover Reprint of the Original 1st 1996 edition
Editura: Springer Us
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.