Buch, Englisch, Band 2644, 312 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 505 g
15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings
Buch, Englisch, Band 2644, 312 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 505 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-40123-0
Verlag: Springer Berlin Heidelberg
the assessment of three referees for each paper. The p- ceedings also include the text of the invited talk by Elaine Weyuker, Philippe Cousin, and Ana Cavalli.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Technische Informatik Externe Speicher & Peripheriegeräte
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Technische Wissenschaften Elektronik | Nachrichtentechnik Nachrichten- und Kommunikationstechnik Funktechnik
Weitere Infos & Material
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.