Software Testing, Verification and Reliability

Cover image for Vol. 24 Issue 7

Special Issue: Volume 1: Tests and Proofs in Model-based Testing

November 2014

Volume 24, Issue 7

Pages i–ii, 497–590

Issue edited by: Achim D. Brucker, Jacques Julliand

  1. Issue Information

    1. Top of page
    2. Issue Information
    3. Editorial
    4. Special Issue Papers
    1. You have free access to this content
      Issue Information (pages i–ii)

      Article first published online: 7 OCT 2014 | DOI: 10.1002/stvr.1516

  2. Editorial

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

    1. Top of page
    2. Issue Information
    3. Editorial
    4. Special Issue Papers
    1. Test generation with Satisfiability Modulo Theories solvers in model-based testing (pages 499–531)

      Jérôme Cantenot, Fabrice Ambert and Fabrice Bouquet

      Article first published online: 29 MAY 2014 | DOI: 10.1002/stvr.1537

      Thumbnail image of graphical abstract

      The paper presents a framework for generating test from ULM/OCL models using Satisfiability Modulo Theories transformation. The metamodels associated with the two models and the transformation rules are presented. An implementation and experimentations have been realised.

    2. Test generation from recursive tile systems (pages 532–557)

      Sébastien Chédor, Thierry Jéron and Christophe Morvan

      Article first published online: 2 APR 2014 | DOI: 10.1002/stvr.1525

      Thumbnail image of graphical abstract

      This paper presents a formal conformance test cases generation technique for recursive systems. These systems are modelled by recursive tile systems, which are defined by a finite collection of finite graphs (tiles), each of these equipped with a frontier that expresses how tiles are connected. Both on-line and off-line techniques are presented.

    3. Model-based testing for concurrent systems with labelled event structures (pages 558–590)

      Hernán Ponce de León, Stefan Haar and Delphine Longuet

      Article first published online: 20 AUG 2014 | DOI: 10.1002/stvr.1543

      Thumbnail image of graphical abstract

      We propose a theoretical testing framework and test generation algorithm for concurrent systems specified with true concurrency models introducing the notions of strong and weak concurrency: strongly concurrent events must be concurrent in the implementation, while weakly concurrent ones may eventually be ordered. We propose an extension of the ioco conformance relation for labelled event structures, named co-ioco, allowing to deal with strong and weak concurrency. We extend the notions of test cases and test execution, and give a test generation algorithm building a complete test suite.

SEARCH

SEARCH BY CITATION