White and Grey-Box Verification and Validation Approaches for Safety- and Security-Critical Software Systems

Saglietti F, Oster N, Pinte FA (2008)


Publication Language: English

Publication Type: Journal article, Original article

Publication year: 2008

Journal

Publisher: Elsevier BV

Book Volume: 13

Pages Range: 10-16

Journal Issue: 1

URI: http://www.sciencedirect.com/science/article/pii/S1363412708000071

DOI: 10.1016/j.istr.2008.03.002

Abstract

In this article, the problem of assessing software trustworthiness is considered from a holistic perspective addressing both safety- and security-critical application domains. In particular, the importance of achieving high structural coverage during component and integration testing phases is stressed. In view of the immense effort required by manual testing activities, the present article suggests novel automatic test case generation techniques, capable of maximizing test coverage and minimizing test amount. The tools developed on the basis of these approaches were successfully applied to achieve high control flow, data flow and interface coverage by means of a low number of test cases.

Authors with CRIS profile

Related research project(s)

How to cite

APA:

Saglietti, F., Oster, N., & Pinte, F.-A. (2008). White and Grey-Box Verification and Validation Approaches for Safety- and Security-Critical Software Systems. Information Security Technical Report, 13(1), 10-16. https://doi.org/10.1016/j.istr.2008.03.002

MLA:

Saglietti, Francesca, Norbert Oster, and Florin-Avram Pinte. "White and Grey-Box Verification and Validation Approaches for Safety- and Security-Critical Software Systems." Information Security Technical Report 13.1 (2008): 10-16.

BibTeX: Download