Testing of Communicating Systems : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings / edited by M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko.

Format:

Book

Contributor:

Uyar, M. Ümit, editor.

Duale, Ali Y., editor.

Fecko, Mariusz A., 1968- editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Computer communication networks and telecommunications ; SL 5, 3964.

Computer Communication Networks and Telecommunications ; 3964

Language:

English

Subjects (All):

Software engineering.

Computer networks.

Electrical engineering.

Software Engineering.

Computer Communication Networks.

Communications Engineering, Networks.

Local Subjects:

Software Engineering.

Computer Communication Networks.

Communications Engineering, Networks.

Physical Description:

1 online resource (XI, 373 pages).

Edition:

First edition 2006.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.

System Details:

text file PDF

Contents:

Session I: Testing Theory and Foundations

Symbolic Execution Techniques for Test Purpose Definition

Controllable Combinatorial Coverage in Grammar-Based Testing

A Logic for Assessing Sets of Heterogeneous Testing Hypotheses

Session II: Testing Non-deterministic and Probabilistic Systems

Bounded Sequence Testing from Non-deterministic Finite State Machines

LaTe, a Non-fully Deterministic Testing Language

Customized Testing for Probabilistic Systems

Session III: Testing Internet and Industrial Systems

Generating Test Cases for Web Services Using Extended Finite State Machine

Towards the Testing of Composed Web Services in 3rd Generation Networks

Application of Two Test Generation Tools to an Industrial Case Study

Session IV: TTCN-3

Performance Analysis of Concurrent PCOs in TTCN-3

Use of TTCN-3 for Software Module Testing

Distributed Load Tests with TTCN-3

Session V: Compositional and Distributed Testing

Analyzing the Impact of Protocol Changes on Tests

Detecting Observability Problems in Distributed Testing

Compositional Testing of Communication Systems

Session VI: FSM-Based Testing and Diagnosis

FSM Test Translation Through Context

Using Distinguishing and UIO Sequences Together in a Checking Sequence

Reducing the Lengths of Checking Sequences by Overlapping

Session VII: Timed Systems

Test Case Minimization for Real-Time Systems Using Timed Bound Traces

Symbolic and on the Fly Testing with Real-Time Observers

Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems

Session VIII: Testing for Security

Test Generation for Network Security Rules

Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking.

Other Format:

Printed edition:

ISBN:

978-3-540-34185-7

9783540341857

Access Restriction:

Restricted for use by site license.