Software Testing, Verification and Reliability

Cover image for Vol. 23 Issue 1

January 2013

Volume 23, Issue 1

Pages 1–88

  1. Editorial

    1. Top of page
    2. Editorial
    3. Research Articles
    1. You have free access to this content
  2. Research Articles

    1. Top of page
    2. Editorial
    3. Research Articles
    1. Error-preserving local transformations on communication protocols (pages 3–25)

      Monika Kapus-Kolar

      Article first published online: 21 JAN 2011 | DOI: 10.1002/stvr.449

      Thumbnail image of graphical abstract

      The paper proposes four new transformations for modifying a member of a closed system of communicating state machines (CSMs) without considering the other CSMs and nevertheless securing that after the modification, the system can reach the same dead states and overfill the same channels, where channels are assumed to be error-free unidirectional first-in-first-out queues. When verifying general correctness properties of a communication protocol whose specification is such a system, one can employ the error-preserving local transformations (EPLTs) for simplifying individual CSMs and thereby the subsequent reachability analysis. The paper proves also a generic EPLT from which further easily applicable EPLTs can be derived simply by specialization Copyright © 2011 John Wiley & Sons, Ltd.

    2. An automated analysis methodology to detect inconsistencies in web services with WSDL interfaces (pages 27–51)

      Marc Fisher II, Sebastian Elbaum and Gregg Rothermel

      Article first published online: 4 FEB 2011 | DOI: 10.1002/stvr.451

      Thumbnail image of graphical abstract

      This paper presents an automated dynamic analysis methodology fordetecting inconsistencies between the implementation of a web service and its WSDL interface. Themethodology is applied to two commercial web services where it uncovers a variety of problems in the WSDL interfaces that may impact a large number of clients. Copyright © 2011 John Wiley & Sons, Ltd.

    3. A test purpose-based approach for testing timed input output automata (pages 53–76)

      Abdeslam En-Nouaary

      Article first published online: 9 MAR 2011 | DOI: 10.1002/stvr.453

      Thumbnail image of graphical abstract

      This paper presents a new method for testing timed input output automata using test purposes. The proposed method consists of three main steps as shown in the figure. Its main advantage is that it significantly helps reduce the number of test cases to be generated, and consequently minimize the time, effort and money to spend in testing the system. Copyright © 2011 John Wiley & Sons, Ltd.

    4. Reliability assessment based on hazard rate model for an embedded OSS porting-phase (pages 77–88)

      Yoshinobu Tamura and Shigeru Yamada

      Article first published online: 17 MAR 2011 | DOI: 10.1002/stvr.455

      Thumbnail image of graphical abstract

      Embedded OSS (Open Source Software) systems have been gaining a lot of attention in the embedded system area. However, the poor handling of quality problem and customer support prohibit the progress of embedded OSS. A method of software reliability assessment based on flexible hazard rate modeling for theembedded OSS is proposed in this paper. Also, several numerical examples are shown by using actual data. Copyright © 2011 John Wiley & Sons, Ltd.

SEARCH

SEARCH BY CITATION