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.
Author(s): Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil (auth.), M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.)
Series: Lecture Notes in Computer Science 3964 : Computer Communication Networks and Telecommunications
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Language: English
Pages: 373
Tags: Software Engineering; Computer Communication Networks; Communications Engineering, Networks
Front Matter....Pages -
Symbolic Execution Techniques for Test Purpose Definition....Pages 1-18
Controllable Combinatorial Coverage in Grammar-Based Testing....Pages 19-38
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses....Pages 39-54
Bounded Sequence Testing from Non-deterministic Finite State Machines....Pages 55-70
LaTe, a Non-fully Deterministic Testing Language....Pages 71-86
Customized Testing for Probabilistic Systems....Pages 87-102
Generating Test Cases for Web Services Using Extended Finite State Machine....Pages 103-117
Towards the Testing of Composed Web Services in 3 rd Generation Networks....Pages 118-133
Application of Two Test Generation Tools to an Industrial Case Study....Pages 134-148
Performance Analysis of Concurrent PCOs in TTCN-3....Pages 149-160
Use of TTCN-3 for Software Module Testing....Pages 161-176
Distributed Load Tests with TTCN-3....Pages 177-196
Analyzing the Impact of Protocol Changes on Tests....Pages 197-212
Detecting Observability Problems in Distributed Testing....Pages 213-226
Compositional Testing of Communication Systems....Pages 227-244
FSM Test Translation Through Context....Pages 245-258
Using Distinguishing and UIO Sequences Together in a Checking Sequence....Pages 259-273
Reducing the Lengths of Checking Sequences by Overlapping....Pages 274-288
Test Case Minimization for Real-Time Systems Using Timed Bound Traces....Pages 289-305
Symbolic and on the Fly Testing with Real-Time Observers....Pages 306-323
Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems....Pages 324-340
Test Generation for Network Security Rules....Pages 341-356
Message Confidentiality Testing of Security Protocols – Passive Monitoring and Active Checking....Pages 357-372
Back Matter....Pages -
