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

Front Cover
Springer Science & Business Media, May 23, 2005 - Computers - 379 pages
This volume contains the proceedings of the 17th IFIP TC6/WG6. 1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2005). The conference was held at Concordia University, Montr´ eal, Canada, from May 31 to June 2, 2005. TestCom 2005 was organized by Concordia University and was sponsored by IFIP. Following the trends initiated at the 16th edition of the conference held in Oxford, UK, the ?rst call for papers issued in summer 2004 called for contri- tions from the general software testing community. The goal of the conference thisyearwas tocontinue the broadeningofthesubject. The themeoftheconf- ence this year is “Meeting Software Testing. ” In response to the call for papers, we received 62 abstracts. Out of these abstracts, 53 turned into paper subm- sions. Each of these submissions was evaluated by at least 3 reviewers from the Technical Programme Committee, with the help of additional co-reviewers when needed. The Programme Committee meeting was held online from January 18 to January 30, 2005. Out of the 53 submitted papers, the Programme C- mittee selected 24 papers covering the traditional topics of TestCom, such as EFSM/FSM model-based testing, and also papers on general software testing re?ecting the new trends in the conference. We are very grateful to the keynote speaker, Prof. Tom Maibaum, from McMaster University, Hamilton, Canada. Prof. Maibaum addressed TestCom 2005 on this year's theme. He kindly provided an extended abstract, which is also included in this volume.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

The Epistemology of Validation and Verification Testing
1
Passive Testing A Constrained Invariant Checking Approach
9
Extending Data Flow Testing with Control Dependence
23
Comparing Bug Finding Tools with Reviews and Tests
40
CrossLanguage Functional Testing for Middleware
56
Using AntiAntlike Agents to Generate Test Threads from the UML Diagrams
69
Action Refinement in Conformance Testing
81
Multiplexing of Partially Ordered Events
97
An Expressive and Implementable Formal Framework for Testing RealTime Systems
209
Firewall Conformance Testing
226
Test Generation for Interaction Detection in FeatureRich Communication Systems
242
Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms
258
Detecting Trapdoors in Smart Cards Using Timing and Power Analysis
275
From U2TP Models to Executable Tests with TTCN3 An Approach to Model Driven Testing
289
Using TTCN3 for Testing Platform Independent Models
304
Some Lessons from an Experiment Using TTCN3 for the RIPng Testing
318

a Model a Methodology and a Tool
111
Coping with Nondeterminism in Network Protocol Testing
129
Eliminating Redundant Tests in a Checking Sequence
146
On FSMBased Fault Diagnosis
159
State Identification Problems for Timed Automata
175
Timers
192
A ModelBased Approach for Robustness Testing
333
An Information Mapping Case Study
349
Quiescence Management Improves Interoperability Testing
364
Author Index
379
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information