product iamge

Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2005, held in Montreal, Canada in May/June 2005.

The 24 revised full papers presented together with the extended abstract of a keynote talk were carefully reviewed and selected from initially 62 submissions. The papers address all current issues in testing communicating systems, ranging from classical telecommunication issues to general software testing.

Author(s): T. S. E. Maibaum (auth.), Ferhat Khendek, Rachida Dssouli (eds.)
Series: Lecture Notes in Computer Science 3502 : Computer Communication Networks and Telecommunications
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005

Language: English
Pages: 380
Tags: Software Engineering; Computer Communication Networks

Front Matter....Pages -
The Epistemology of Validation and Verification Testing....Pages 1-8
Passive Testing – A Constrained Invariant Checking Approach....Pages 9-22
Dependence Testing: Extending Data Flow Testing with Control Dependence....Pages 23-39
Comparing Bug Finding Tools with Reviews and Tests....Pages 40-55
Cross-Language Functional Testing for Middleware....Pages 56-68
Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams....Pages 69-80
Action Refinement in Conformance Testing....Pages 81-96
Multiplexing of Partially Ordered Events....Pages 97-110
Testing Communicating Systems: a Model, a Methodology, and a Tool....Pages 111-128
Coping with Nondeterminism in Network Protocol Testing....Pages 129-145
Eliminating Redundant Tests in a Checking Sequence....Pages 146-158
On FSM-Based Fault Diagnosis....Pages 159-174
State Identification Problems for Timed Automata....Pages 175-191
Timing Fault Models for Systems with Multiple Timers....Pages 192-208
An Expressive and Implementable Formal Framework for Testing Real-Time Systems....Pages 209-225
Firewall Conformance Testing....Pages 226-241
Test Generation for Interaction Detection in Feature-Rich Communication Systems....Pages 242-257
Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms....Pages 258-274
Detecting Trapdoors in Smart Cards Using Timing and Power Analysis....Pages 275-288
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -....Pages 289-303
Using TTCN-3 for Testing Platform Independent Models....Pages 304-317
Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing....Pages 318-332
A Model-Based Approach for Robustness Testing....Pages 333-348
Content-Level Conformance Testing: An Information Mapping Case Study....Pages 349-364
Quiescence Management Improves Interoperability Testing....Pages 365-379
Back Matter....Pages -