Software Testing, Verification and Reliability

Cover image for Vol. 24 Issue 1

January 2014

Volume 24, Issue 1

Pages i–ii, 1–82

  1. Issue Information

    1. Top of page
    2. Issue Information
    3. Editorial
    4. Research Articles
    1. Issue Information (pages i–ii)

      Article first published online: 20 DEC 2013 | DOI: 10.1002/stvr.1510

  2. Editorial

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

    1. Top of page
    2. Issue Information
    3. Editorial
    4. Research Articles
    1. Tool support for the Test Template Framework (pages 3–37)

      Maximiliano Cristiá, Pablo Albertengo, Claudia Frydman, Brian Plüss and Pablo Rodríguez Monetti

      Article first published online: 13 JUL 2012 | DOI: 10.1002/stvr.1477

      Thumbnail image of graphical abstract

      Fastest provides tool support for a solid, model-based testing framework for the Z notation known as the Test Template Framework (TTF). The Test Template Framework uses only Z and is aimed mainly to unit testing. The tool automates testing tactic application and semi-automates elimination of unsatisfiable test specifications, generation of abstract test cases and translation of test cases into natural language. Copyright © 2012 John Wiley & Sons, Ltd.

    2. Model checking Trampoline OS: a case study on safety analysis for automotive software (pages 38–60)

      Yunja Choi

      Article first published online: 28 AUG 2012 | DOI: 10.1002/stvr.1482

      Thumbnail image of graphical abstract

      This paper presents methods for converting the Trampoline kernel code into formal models for the model checker SPIN and a series of experiments using an incremental verification approach. The conversion methods include functional modularization and treatment for hardware-dependent code, such as memory access for context switching. It also reports on potential safety issues found in the Trampoline operating system during the experiments and presents experimental evidence of the performance improvement using the embedded C constructs in SPIN. Copyright © 2012 John Wiley & Sons, Ltd.

    3. Design and industrial evaluation of a tool supporting semi-automated website testing (pages 61–82)

      Jalal Mahmud, Allen Cypher, Eben Haber and Tessa Lau

      Article first published online: 25 SEP 2012 | DOI: 10.1002/stvr.1484

      Thumbnail image of graphical abstract

      This case study describes the motivations and design decisions behind the development of the testing tool, CoTester, and its deployment to multiple development teams. CoTester outperforms available testing tools by representing tests using an easy-to-understand scripting language, thus making the tests easily editable. A series of deployments to four development teams showed that CoTester worked very well for non-professional testers, and it was also found to be useful by some professional testers. Copyright © 2012 John Wiley & Sons, Ltd.

SEARCH

SEARCH BY CITATION