Advertisement

Testing of Communicating Systems

18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

  • M. Ümit Uyar
  • Ali Y. Duale
  • Mariusz A. Fecko
Conference proceedings TestCom 2006

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

Table of contents

  1. Front Matter
    PDF

  2. Session I: Testing Theory and Foundations

    1. Symbolic Execution Techniques for Test Purpose Definition
      Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
      Pages 1-18
      PDF
    2. Controllable Combinatorial Coverage in Grammar-Based Testing
      Ralf Lämmel, Wolfram Schulte
      Pages 19-38
      PDF
    3. A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
      Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
      Pages 39-54
      PDF

  3. Session II: Testing Non-deterministic and Probabilistic Systems

    1. Bounded Sequence Testing from Non-deterministic Finite State Machines
      Florentin Ipate
      Pages 55-70
      PDF
    2. LaTe, a Non-fully Deterministic Testing Language
      Emmanuel Donin de Rosière, Claude Jard, Benoît Parreaux
      Pages 71-86
      PDF
    3. Customized Testing for Probabilistic Systems
      Luis F. Llana-Díaz, Manuel Núñez, Ismael Rodríguez
      Pages 87-102
      PDF

  4. Session III: Testing Internet and Industrial Systems

    1. Generating Test Cases for Web Services Using Extended Finite State Machine
      ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi
      Pages 103-117
      PDF
    2. Towards the Testing of Composed Web Services in 3rd Generation Networks
      Abdelghani Benharref, Rachida Dssouli, Roch Glitho, Mohamed Adel Serhani
      Pages 118-133
      PDF
    3. Application of Two Test Generation Tools to an Industrial Case Study
      Ana Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener
      Pages 134-148
      PDF

  5. Session IV: TTCN-3

    1. Performance Analysis of Concurrent PCOs in TTCN-3
      Máté J. Csorba, Sándor Palugyai, Sarolta Dibuz, Gyula Csopaki
      Pages 149-160
      PDF
    2. Use of TTCN-3 for Software Module Testing
      Andreas Johan Nyberg
      Pages 161-176
      PDF
    3. Distributed Load Tests with TTCN-3
      George Din, Sorin Tolea, Ina Schieferdecker
      Pages 177-196
      PDF

  6. Session V: Compositional and Distributed Testing

    1. Analyzing the Impact of Protocol Changes on Tests
      Mahadevan Subramaniam, Zoltán Pap
      Pages 197-212
      PDF
    2. Detecting Observability Problems in Distributed Testing
      Jessica Chen, Hasan Ural
      Pages 213-226
      PDF
    3. Compositional Testing of Communication Systems
      Reinhard Gotzhein, Ferhat Khendek
      Pages 227-244
      PDF

  7. Session VI: FSM-Based Testing and Diagnosis

    1. FSM Test Translation Through Context
      Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
      Pages 245-258
      PDF
    2. Using Distinguishing and UIO Sequences Together in a Checking Sequence
      M. Cihan Yalcin, Husnu Yenigun
      Pages 259-273
      PDF
    3. Reducing the Lengths of Checking Sequences by Overlapping
      Hasan Ural, Fan Zhang
      Pages 274-288
      PDF

  8. Session VII: Timed Systems

    1. Test Case Minimization for Real-Time Systems Using Timed Bound Traces
      Ismaïl Berrada, Richard Castanet, Patrick Félix, Aziz Salah
      Pages 289-305
      PDF
    2. Symbolic and on the Fly Testing with Real-Time Observers
      Rachid Bouaziz, Ousmane Koné
      Pages 306-323
      PDF
    3. Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems
      Zhiliang Wang, Jianping Wu, Xia Yin, Xingang Shi, Beihang Tian
      Pages 324-340
      PDF

  9. Session VIII: Testing for Security

    1. Test Generation for Network Security Rules
      Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
      Pages 341-356
      PDF
    2. Message Confidentiality Testing of Security Protocols – Passive Monitoring and Active Checking
      Guoqiang Shu, David Lee
      Pages 357-372
      PDF
  10. Back Matter
    PDF

About these proceedings

Keywords

Monitor Session Symbol communicating systems testing communication computer communication systems data flow testing distributed testing interoperability network protocol testing next generation networking security testing software testing systems systems testing

Editors and affiliations

  • M. Ümit Uyar
    • 1
  • Ali Y. Duale
    • 2
  • Mariusz A. Fecko
    • 3
  1. 1.Electrical Engineering DepartmentThe City College of The City University of New YorkNew York, NYUSA
  2. 2.IBM, Systems Assurance Kernel (SAK), Poughkeepsie,NYUSA
  3. 3.Applied ResearchTelcordia Technologies Inc.Piscataway, NJUSA

Bibliographic information

  • DOI https://doi.org/10.1007/11754008
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-34184-0
  • Online ISBN 978-3-540-34185-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site