Systematics validation of a software hardening framework

Details

Supervisors

Pecheur, Charles

Faculty

Ecole polytechnique de Louvain

Degree label

Master [120] en sciences informatiques

Abstract

This master thesis discusses the application of a fault injection testing methodology to robust programs. The objective was to find and implement a fault injection-based solution that allows to evaluate the robustness of programs under tests against a set of defined error types. This approach also permits to challenge the error detection mechanisms implemented in the program to test. By comparing the strengths and weaknesses of existing approaches and tools, a method- ology have been chosen. Based on some representations of the source code, the instructions are analyzed independently to find the relevant spots to inject adequate faults. The implemented methodology have a high controllabillity as it allows precise faults to be injected on both data and control flow. Moreover, the tester is able to define and configure his own test strategies. Finally, the document provides some results of experiments on different kinds of source code. These have shown the genericity of the methodology. Furthermore, they demonstrated the effi- cacy of the fault injection technique considered as the results proved the robustness of different programs for specific types of errors.