IFIP TC6 Open Digital Library

18. TestCom 2006: New York, NY, USA

Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings

M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko

Springer, Lecture Notes in Computer Science 3964, ISBN: 3-540-34184-6



Contents

Session I: Testing Theory and Foundations

Symbolic Execution Techniques for Test Purpose Definition.

Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil

 1-18

Controllable Combinatorial Coverage in Grammar-Based Testing.

Ralf Lämmel, Wolfram Schulte

 19-38

A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.

Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez

 39-54

Session II: Testing Non-deterministic and Probabilistic Systems

Bounded Sequence Testing from Non-deterministic Finite State Machines.

Florentin Ipate

 55-70

LaTe, a Non-fully Deterministic Testing Language.

Emmanuel de Rosière, Claude Jard, Benoit Parreaux

 71-86

Customized Testing for Probabilistic Systems.

Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez

 87-102

Session III: Testing Internet and Industrial Systems

Generating Test Cases for Web Services Using Extended Finite State Machine.

ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi

 103-117

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

Abdelghani Benharref, Rachida Dssouli, Roch H. Glitho, Mohamed Adel Serhani

 118-133

Application of Two Test Generation Tools to an Industrial Case Study.

Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener

 134-148

Session IV: TTCN-3

Performance Analysis of Concurrent PCOs in TTCN-3.

Máté J. Csorba, Sándor Palugyai, Sarolta Dibuz, Gyula Csopaki

 149-160

Use of TTCN-3 for Software Module Testing.

Andreas Johan Nyberg

 161-176

Distributed Load Tests with TTCN-3.

George Din, Sorin Tolea, Ina Schieferdecker

 177-196

Session V: Compositional and Distributed Testing

Analyzing the Impact of Protocol Changes on Tests.

Mahadevan Subramaniam, Zoltán Pap

 197-212

Detecting Observability Problems in Distributed Testing.

Jessica Chen, Hasan Ural

 213-226

Compositional Testing of Communication Systems.

Reinhard Gotzhein, Ferhat Khendek

 227-244

Session VI: FSM-Based Testing and Diagnosis

FSM Test Translation Through Context.

Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko

 245-258

Using Distinguishing and UIO Sequences Together in a Checking Sequence.

M. Cihan Yalcin, Hüsnü Yenigün

 259-273

Reducing the Lengths of Checking Sequences by Overlapping.

Hasan Ural, Fan Zhang

 274-288

Session VII: Timed Systems

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

Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah

 289-305

Symbolic and on the Fly Testing with Real-Time Observers.

Rachid Bouaziz, Ousmane Koné

 306-323

Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems.

Zhiliang Wang, Jianping Wu, Xia Yin, Xingang Shi, Beihang Tian

 324-340

Session VIII: Testing for Security

Test Generation for Network Security Rules.

Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier

 341-356

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

Guoqiang Shu, David Lee

 357-372