White and grey-box verification and validation approaches for safety- and security-critical software systems

Authors:
Francesca Saglietti;Norbert Oster;Florin Pinte
Affiliations:
Chair of Software Engineering, University of Erlangen-Nuremberg, Germany;Chair of Software Engineering, University of Erlangen-Nuremberg, Germany;Chair of Software Engineering, University of Erlangen-Nuremberg, Germany
Venue:
Information Security Tech. Report
Year:
2008

Citing 4
Cited 0

Selecting Software Test Data Using Data Flow Information

IEEE Transactions on Software Engineering
A Formal Evaluation of Data Flow Path Selection Criteria

IEEE Transactions on Software Engineering
Supporting Component and Architectural Re-usage by Detection and Tolerance of Integration Faults

HASE '05 Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering
Using UML collaboration diagrams for static checking and test generation

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard

Quantified Score

Hi-index	0.00

Visualization

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.