Amazon cover image
Image from Amazon.com

Testing of communicating systems : 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31-June 2, 2005 : proceedings / Ferhat Khendek, Rachida Dssouli (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 3502.Publication details: Berlin ; New York : Springer, ©2005.Description: 1 online resource (x, 379 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540320760
  • 3540320768
  • 3540260544
  • 9783540260547
Other title:
  • TestCom 2005
Subject(s): Genre/Form: Additional physical formats: Print version:: Testing of communicating systems.DDC classification:
  • 621.382 22
LOC classification:
  • TK5101.A1 I333 2005
Other classification:
  • 54.32
  • TN915. 06-532
Online resources:
Contents:
The Epistemology of Validation and Verification Testing -- Passive Testing -- A Constrained Invariant Checking Approach -- Dependence Testing: Extending Data Flow Testing with Control Dependence -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware -- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams -- Action Refinement in Conformance Testing -- Multiplexing of Partially Ordered Events -- Testing Communicating Systems: a Model, a Methodology, and a Tool -- Coping with Nondeterminism in Network Protocol Testing -- Eliminating Redundant Tests in a Checking Sequence -- On FSM-Based Fault Diagnosis -- State Identification Problems for Timed Automata -- Timing Fault Models for Systems with Multiple Timers -- An Expressive and Implementable Formal Framework for Testing Real-Time Systems -- Firewall Conformance Testing -- Test Generation for Interaction Detection in Feature-Rich Communication Systems -- Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms -- Detecting Trapdoors in Smart Cards Using Timing and Power Analysis -- From U2TP Models to Executable Tests with TTCN-3 -- An Approach to Model Driven Testing -- Using TTCN-3 for Testing Platform Independent Models -- Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing -- A Model-Based Approach for Robustness Testing -- Content-Level Conformance Testing: An Information Mapping Case Study -- Quiescence Management Improves Interoperability Testing.
In: OhioLINK electronic book center In: SpringerLinkSummary: "This volume contains the proceedings of the 17th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (TestCom 2005). The conference was held at Concordia University, Montreal, Canada, from May 31 to June 2, 2005. TestCom 2005 was organized by Concordia University and was sponsored by IFIP."
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

"This volume contains the proceedings of the 17th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (TestCom 2005). The conference was held at Concordia University, Montreal, Canada, from May 31 to June 2, 2005. TestCom 2005 was organized by Concordia University and was sponsored by IFIP."

Print version record.

The Epistemology of Validation and Verification Testing -- Passive Testing -- A Constrained Invariant Checking Approach -- Dependence Testing: Extending Data Flow Testing with Control Dependence -- Comparing Bug Finding Tools with Reviews and Tests -- Cross-Language Functional Testing for Middleware -- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams -- Action Refinement in Conformance Testing -- Multiplexing of Partially Ordered Events -- Testing Communicating Systems: a Model, a Methodology, and a Tool -- Coping with Nondeterminism in Network Protocol Testing -- Eliminating Redundant Tests in a Checking Sequence -- On FSM-Based Fault Diagnosis -- State Identification Problems for Timed Automata -- Timing Fault Models for Systems with Multiple Timers -- An Expressive and Implementable Formal Framework for Testing Real-Time Systems -- Firewall Conformance Testing -- Test Generation for Interaction Detection in Feature-Rich Communication Systems -- Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms -- Detecting Trapdoors in Smart Cards Using Timing and Power Analysis -- From U2TP Models to Executable Tests with TTCN-3 -- An Approach to Model Driven Testing -- Using TTCN-3 for Testing Platform Independent Models -- Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing -- A Model-Based Approach for Robustness Testing -- Content-Level Conformance Testing: An Information Mapping Case Study -- Quiescence Management Improves Interoperability Testing.

University staff and students only. Requires University Computer Account login off-campus.

Powered by Koha