Buch, Englisch, 452 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1830 g
Reihe: IFIP Advances in Information and Communication Technology
Proceedings of the Ifip Wg6.1 Tc6 Eighth International Workshop on Protocol Test Systems, September 1995
Buch, Englisch, 452 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1830 g
Reihe: IFIP Advances in Information and Communication Technology
ISBN: 978-0-412-78110-0
Verlag: Springer Nature Singapore
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung Netzwerkprotokolle
- Naturwissenschaften Physik Mechanik Akustik, Schwingungsanalyse
- Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
- Technische Wissenschaften Elektronik | Nachrichtentechnik Nachrichten- und Kommunikationstechnik
- Mathematik | Informatik EDV | Informatik Technische Informatik Netzwerk-Hardware
Weitere Infos & Material
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.