Testing of Software and Communicating Systems

1. Front Matter

   PDF

2. Invited Talks

   1. All-IP Based Ultra 3G Network/Service Development in a Competitive Market

      • Yutaka Yasuda

      Pages 1-4

   2. Models and Testing – A Recipe for Improved Effectiveness?

      • Paul Baker

      Pages 5-6

3. General Software Testing

   1. Runtime Verification of C Programs

      • Klaus Havelund

      Pages 7-22

   2. Test Construction for Mathematical Functions

      • Victor Kuliamin

      Pages 23-37

   3. Model-Based Testing Service on the Web

      • Antti Jääskeläinen, Mika Katara, Antti Kervinen, Henri Heiskanen, Mika Maunumaa, Tuula Pääkkönen

      Pages 38-53

4. Testing Continuous and Real-Time Systems

   1. Using Disparity to Enhance Test Generation for Hybrid Systems

      • Thao Dang, Tarik Nahhal

      Pages 54-69

   2. Modeling Property Based Stream Templates with TTCN-3

      • Juergen Grossmann, Ina Schieferdecker, Hans-Werner Wiesbrock

      Pages 70-85

   3. \({\cal T}\! {\cal H} {\cal O} {\cal T}\! {\cal L}\): A Timed Extension of \({\cal H} {\cal O} {\cal T}\! {\cal L}\)

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

      Pages 86-102

5. Network Testing

   1. Model-Based Firewall Conformance Testing

      • Achim D. Brucker, Lukas Brügger, Burkhart Wolff

      Pages 103-118

   2. VCSTC: Virtual Cyber Security Testing Capability – An Application Oriented Paradigm for Network Infrastructure Protection

      • Guoqiang Shu, Dongluo Chen, Zhijun Liu, Na Li, Lifeng Sang, David Lee

      Pages 119-134

   3. Performance Test Design Process and Its Implementation Patterns for Multi-services Systems

      • George Din, Ina Schieferdecker, Razvan Petre

      Pages 135-152

6. Test Generation

   1. Generating Checking Sequences for Partial Reduced Finite State Machines

      • Adenilso Simão, Alexandre Petrenko

      Pages 153-168

   2. Testing Systems Specified as Partial Order Input/Output Automata

      • Gregor v. Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan

      Pages 169-183

   3. Test Purpose Concretization through Symbolic Action Refinement

      • Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil

      Pages 184-199

7. Concurrent System Testing

   1. Implementation Relations for the Distributed Test Architecture

      • Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez

      Pages 200-215

   2. Modular System Verification by Inference, Testing and Reachability Analysis

      • Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz

      Pages 216-233

   3. Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis

      • Farn Wang, Geng-Dian Huang

      Pages 234-249

8. Applications of Testing

   1. Applying Model-Based Testing to HTML Rendering Engines – A Case Study

      • Jens R. Calamé, Jaco van de Pol

      Pages 250-265

   2. Model-Based Generation of Testbeds for Web Services

      • Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini

      Pages 266-282

This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.

• action refinement
• all-IP networks
• aspect oriented programming
• automated testing
• communicating systems testing
• computer communication systems
• conformance testing
• error recovery
• fault protection
• finite state automata
• functional testing
• graph tran
• real-time
• testing
• tools

Policies and ethics