Testing of Communicating Systems: 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings

Front Cover
Springer Science & Business Media, May 10, 2006 - Computers - 372 pages
This book constitutes the refereed proceedings of the 18th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2006, held in New York, NY, USA, in May 2006. The 23 revised full papers presented were carefully reviewed and selected from initially 48 submissions. The papers address all current issues in testing communicating systems, ranging from classical telecommunication issues to general software testing. They were presented in 8 sessions whose scope covered testing theory and foundations; testing non-deterministic and probabilistic systems; testing the Internet and industrial systems; TTCN-3; compositional and distributed testing; FSM-based testing and diagnosis; testing timed systems; and testing for security.
 

What people are saying - Write a review

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

Contents

Symbolic Execution Techniques for Test Purpose Definition
1
Controllable Combinatorial Coverage in GrammarBased Testing
19
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
39
Bounded Sequence Testing from Nondeterministic Finite State Machines
55
LaTe a Nonfully Deterministic Testing Language
71
Customized Testing for Probabilistic Systems
87
Generating Test Cases for Web Services Using Extended Finite State Machine
103
Towards the Testing of Composed Web Services in 3rd Generation Networks
118
Detecting Observability Problems in Distributed Testing
213
Compositional Testing of Communication Systems
227
FSM Test Translation Through Context
245
Using Distinguishing and UIO Sequences Together in a Checking Sequence
259
Reducing the Lengths of Checking Sequences by Overlapping
274
Test Case Minimization for RealTime Systems Using Timed Bound Traces
289
Symbolic and on the Fly Testing with RealTime Observers
306
Using TIMEDTTCN3 in Interoperability Testing for RealTime Communication Systems
324

Application of Two Test Generation Tools to an Industrial Case Study
134
Performance Analysis of Concurrent PCOs in TTCN3
149
Use of TTCN3 for Software Module Testing
161
Distributed Load Tests with TTCN3
177
Analyzing the Impact of Protocol Changes on Tests
197
Test Generation for Network Security Rules
341
Message Confidentiality Testing of Security Protocols Passive Monitoring and Active Checking
357
Author Index
373
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information