Software Testing, Verification and Reliability

Cover image for Vol. 22 Issue 5

Special Issue: Model-based Testing Volume 1: Foundations and Applications of Model-Based Testing

August 2012

Volume 22, Issue 5

Pages 295–361

Issue edited by: Paul Ammann, Gordon Fraser, Franz Wotawa

  1. Editorials

    1. Top of page
    2. Editorials
    3. Special Issue Papers
    1. You have free access to this content
      Guest Editorial for the Special Issue on Model-Based Testing (pages 295–296)

      Paul Ammann, Gordon Fraser and Franz Wotawa

      Version of Record online: 9 JUL 2012 | DOI: 10.1002/stvr.1478

  2. Special Issue Papers

    1. Top of page
    2. Editorials
    3. Special Issue Papers
    1. A taxonomy of model-based testing approaches (pages 297–312)

      Mark Utting, Alexander Pretschner and Bruno Legeard

      Version of Record online: 12 APR 2011 | DOI: 10.1002/stvr.456

      Thumbnail image of graphical abstract

      Model-based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. This paper discusses the process of the MBT and defines a taxonomy that covers the key aspects of the MBT approaches. It is intended to help in understanding the characteristics, similarities and differences of those approaches, and in classifying the approach used in a particular MBT tool. Copyright © 2011 John Wiley & Sons, Ltd.

    2. Obstacles and opportunities in deploying model-based GUI testing of mobile software: a survey (pages 313–341)

      Marek Janicki, Mika Katara and Tuula Pääkkönen

      Version of Record online: 4 MAY 2011 | DOI: 10.1002/stvr.460

      Thumbnail image of graphical abstract

      Model-based testing has not been widely deployed in the industry yet. A survey among mobile software testing professions in Finland was conducted that aimed at investigating the possible obstacles and opportunities towards the wider deployment of this technology. This paper discusses the results and provides the conclusions that indicate that at least in this context, there is much interest among practitioners towards the technology. Based on the survey findings, an agenda for the future model-based testing research is outlined. Copyright © 2011 John Wiley & Sons, Ltd.

    3. Applying formal methods to PCEP: an industrial case study from modeling to test generation (pages 343–361)

      Iksoon Hwang, Ana R. Cavalli, Mounir Lallali and Dominique Verchere

      Version of Record online: 23 MAY 2011 | DOI: 10.1002/stvr.445

      Thumbnail image of graphical abstract

      This paper presents the experimental results in applying formal methods to an industrial protocol for constraint-based path computation, called Path Computation Element Communication Protocol (PCEP). A number of major activities in model-based testing are included in the experiments from modeling to test generation where PCEP is described in the IF language and a number of tools are used for validation, verification, and test generation. As a result, some errors and ambiguities have been found in the PCEP standard specification. Copyright © 2011 John Wiley & Sons, Ltd.