Amazon cover image
Image from Amazon.com

Testing of Communicating Systems [electronic resource] : 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings /

Contributor(s): Material type: TextTextSeries: Lecture Notes in Computer Science ; 2644Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003Edition: 1st ed. 2003Description: XII, 312 p. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540448303
Subject(s): Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:
  • 621.382 23
LOC classification:
  • TK5101-5105.9
Online resources:
Contents:
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.
In: Springer Nature eBook
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments on this title.

to post a comment.
© 2024 IIIT-Delhi, library@iiitd.ac.in