Skip to main content
SpringerLink
Log in

Testing of Software and Communicating Systems

20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Kenji Suzuki
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Teruo Higashino
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andreas Ulrich
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Toru Hasegawa
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5047)

Part of the book sub series: Computer Communication Networks and Telecommunications (LNCCN)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  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
Back to top

Other volumes

  1. Testing of Software and Communicating Systems

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation