1 ATIFS: a testing toolset with software fault injection
Eliane Martins, Ana Maria Ambrósio, Fátima Mattiello-Francisco · 2003
This paper describes the ATIFS, a testing toolset which supports the activities of black-box tests for reactive systems, especially communication systems. In ATIFS, two types of testing are carried out: conformance testing and software fault injection. These testing types allow one to answer such questions about the system under test as: “does the system perform what is specified?”, as well as “for how long does the system perform what is specified?” and “how does the system behave in the presence of faults in its environment?”. This toolset was conceived and implemented aiming at providing a user with facilities for the activities of test case derivation, test execution and test result analysis. The general requirements that guided the ATIFS development, its architecture and an overview of the already implemented tools are focused on in this paper. The main tools were successfully used in the conformance tests of a real space application: telemetry reception software for real time communication with a balloon experiment developed at INPE. The test process using the ATIFS toolset in a space application as a case study was an important experience to deal with the constraints imposed by both the application test requirements and the tool prototypes.