Testing Of Communicating Systems: 17th Ifip Tc 6/wg 6.1 International Conference, Testcom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings (lecture Notes In Computer Science)

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. 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 - "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." Requirements engineering (RE) is a black art!