Advanced search
Start date

Not available

Full text
Elisa Yumi Nakagawa
Total Authors: 1
Document type: Master's Dissertation
Press: São Carlos.
Institution: Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação
Defense date:
Examining board members:
José Carlos Maldonado; Rosely Sanches; Taisy Silva Weber
Advisor: José Carlos Maldonado

Fault Injection is a technique that has been widely used in the development of computer systems that need to be very reliable. In this area, there are studies related with hardware and software fault injection. It should be pointed out that there are few works related to software fault injection in the literature as well as software fault model and injection methods. The objective of this work is to study software fault models and investigate injection methods based on concepts and principies taken from Mutation Analysis Criterion. Considering the increasing complexity of computer systems, the project and implementation of supporting tools to fault injection become necessary. In this perspective, in this work a software fault injection tool, named ITool, is presented. This tool is based on a fault injection scheme that defines the mapping of a software fault taxonomy (DeMillo\'s Taxonomy) to the mutation operators of the Mutation Analysis criterion for C language. To illustrate the relevance and feasibility of the ideas presented in this work, a pilot experience was carried out using the Space program, a real system developed by ESA (European Space Agency). (AU)