Software Testing, Verification and Reliability

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.

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.

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.