Software Testing, Verification and Reliability

Cover image for Vol. 22 Issue 8

December 2012

Volume 22, Issue 8

Pages 527–608

  1. Editorial

    1. Top of page
    2. Editorial
    3. Research Articles
  2. Research Articles

    1. Top of page
    2. Editorial
    3. Research Articles
    1. Testing-based process for component substitutability (pages 529–561)

      Andres Flores and Macario Polo

      Article first published online: 2 AUG 2010 | DOI: 10.1002/stvr.438

      Thumbnail image of graphical abstract

      This paper presents an approach to make reliable replacements from component-based systems. The proposal is a substitutability assessment process comprised of three phases, in which the regular compatibility analysis of candidate replacement components is complemented with the use of black-box testing criteria for exploring the expected behaviour required by a client system. Copyright © 2010 John Wiley & Sons, Ltd.

    2. A framework for automatic generation of security controller (pages 563–582)

      Fabio Martinelli and Ilaria Matteucci

      Article first published online: 13 SEP 2010 | DOI: 10.1002/stvr.441

      Thumbnail image of graphical abstract

      This paper concerns the study, the development and the synthesis of enforcement mechanisms for guaranteeing the security of complex systems. In particular, we contribute within the area of the enforcement of security properties by proposing a flexible and automated framework. Moreover, we describe a tool for the synthesis of secure systems, which is able to generate appropriate controller programs. Copyright © 2010 John Wiley & Sons, Ltd.

    3. A formal framework to test soft and hard deadlines in timed systems (pages 583–608)

      Mercedes G. Merayo, Manuel Núñez and Ismael Rodríguez

      Article first published online: 12 JAN 2011 | DOI: 10.1002/stvr.448

      Thumbnail image of graphical abstract

      This paper introduces a formal framework to represent and study systems presenting soft and hard deadlines. The key findings are: Ten novel implementation relations, a testing framework to test implementations and an algorithm to derive sound and complete test suites with respect to the implementation relations previously defined. Copyright © 2011 John Wiley & Sons, Ltd.

SEARCH

SEARCH BY CITATION