Skip to main content
SpringerLink
Log in

Testing of Communicating Systems

15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Dieter Hogrefe

    1. Universität Göttingen Lehrstuhl für Telematik, Göttingen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Anthony Wiles

    1. PEX and Testing Competence Centre (PTCC), ETSI, Sophia Antipolis, France

    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 2644)

Included in the following conference series:

Conference proceedings info: TestCom 2003.

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 (22 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Keynote Speech I

    1. Prediction = Power

      • Elaine J. Weyuker
      Pages 1-9

  3. Next Generation Networks, IP and UMTS

    1. UMTS Terminal Testing: A Practical Perspective

      • Olaf Bergengruen
      Pages 10-19

    2. Testing of 3G 1xEV-DV Stack — A Case Study

      • Ira Acharya, Hemendra Kumar Singh
      Pages 20-32

    3. Testing SIP Call Flows Using XML Protocol Templates

      • M. Ranganathan, Olivier Deruelle, Doug Montgomery
      Pages 33-48

    4. Towards Modeling and Testing of IP Routing Protocols

      • Jianping Wu, Zhongjie Li, Xia Yin
      Pages 49-62

  4. TTCN-3

    1. An Intuitive TTCN-3 Data Presentation Format

      • Roland Gecse, Sarolta Dibuz
      Pages 63-78

    2. The UML 2.0 Testing Profile and Its Relation to TTCN-3

      • Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, Axel Rennoch
      Pages 79-94

    3. Realizing Distributed TTCN-3 Test Systems with TCI

      • Ina Schieferdecker, Theofanis Vassiliou-Gioles
      Pages 95-109

    4. TimedTTCN-3 Based Graphical Real-Time Test Specification

      • Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen
      Pages 110-127

  5. Keynote Speech II

    1. Interoperabolity Events Complementing Conformance Testing Activities

      • Philippe Cousin
      Pages 128-128

  6. Automata-Based Methodology

    1. Testing Transition Systems with Input and Output Testers

      • Alexandre Petrenko, Nina Yevtushenko, Jia Le Huo
      Pages 129-145

    2. Generating Checking Sequences for a Distributed Test Architecture

      • Hasan Ural, Craig Williams
      Pages 146-162

    3. Conformance of Distributed Systems

      • Maximilian Frey, Bernd-Holger Schlingloff
      Pages 163-179

    4. An Automata-Based Approach to Property Testing in Event Traces

      • Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko
      Pages 180-196

    5. Fault Diagnosis in Extended Finite State Machines

      • Khaled El-Fakih, Svetlana Prokopenko, Nina Yevtushenko, Gregor v. Bochmann
      Pages 197-210

    6. A Guided Method for Testing Timed Input Output Automata

      • Abdeslam En-Nouaary, Rachida Dssouli
      Pages 211-225

  7. Interoperability Testing

    1. Interoperability Testing Based on a Fault Model for a System of Communicating FSMs

      • Vadim Trenkaev, Myungchul Kim, Soonuk Seol
      Pages 226-242

    2. Framework and Model for Automated Interoperability Test and Its Application to ROHC

      • Sarolta Dibuz, Péter Krémer
      Pages 243-257

  8. Keynote Speech III

    1. TestNet: Let’s Test Together!

      • Ana Cavalli, Edgardo Montes de Oca, Manuel Núñez
      Pages 258-264
Back to top

Keywords

Editors and Affiliations

  • Universität Göttingen Lehrstuhl für Telematik, Göttingen, Germany

    Dieter Hogrefe

  • PEX and Testing Competence Centre (PTCC), ETSI, Sophia Antipolis, France

    Anthony Wiles

Bibliographic Information

  • Book Title: Testing of Communicating Systems

  • Book Subtitle: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings

  • Editors: Dieter Hogrefe, Anthony Wiles

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-44830-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2003

  • Softcover ISBN: 978-3-540-40123-0Published: 08 May 2003

  • eBook ISBN: 978-3-540-44830-3Published: 03 August 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 312

  • Topics: Communications Engineering, Networks, Software Engineering, Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation