Testing of Communicating Systems 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2003.
|
| Έκδοση: | 1st ed. 2003. |
| Σειρά: | Lecture Notes in Computer Science,
2644 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
