Testing of communicating systems : 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003 : proceedings
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
2644 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Testing of communicating systems, 15th IFIP international conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, proceedings, Dieter Hogrefe, Anthony Wiles (eds.), Berlin, Springer, 2003, 1 vol. (XII-310 p.), Lecture notes in computer science, 3-540-40123-7 • Testing of Communicating Systems, Texte imprimé, 9783662172285 |
Obsah:
- Keynote Speech I
- Prediction = Power
- Next Generation Networks, IP and UMTS
- UMTS Terminal Testing: A Practical Perspective
- Testing of 3G 1xEV-DV Stack A Case Study
- Testing SIP Call Flows Using XML Protocol Templates
- Towards Modeling and Testing of IP Routing Protocols
- TTCN-3
- An Intuitive TTCN-3 Data Presentation Format
- The UML 2.0 Testing Profile and Its Relation to TTCN-3
- Realizing Distributed TTCN-3 Test Systems with TCI
- TimedTTCN-3 Based Graphical Real-Time Test Specification
- Keynote Speech II
- Interoperabolity Events Complementing Conformance Testing Activities
- Automata-Based Methodology
- Testing Transition Systems with Input and Output Testers
- Generating Checking Sequences for a Distributed Test Architecture
- Conformance of Distributed Systems
- An Automata-Based Approach to Property Testing in Event Traces
- Fault Diagnosis in Extended Finite State Machines
- A Guided Method for Testing Timed Input Output Automata
- Interoperability Testing
- Interoperability Testing Based on a Fault Model for a System of Communicating FSMs
- Framework and Model for Automated Interoperability Test and Its Application to ROHC
- Keynote Speech III
- TestNet: Let s Test Together!
- Test Design, Tools and Methodology
- An Open Framework for Managed Regression Testing
- TUB-TCI An Architecture for Dynamic Deployment of Test Components
- Fast Testing of Critical Properties through Passive Testing.