Projetos Anteriores/Past Projects

A fault injection tool using reflective programming for the testing of O-O applications.

Jaca is a software fault injection tool for the validation of OO applications written in Java.

Jaca injects faults during runtime by corrupting attribute values, methods parameters or return values.

To know more about Jaca, click here.

A tool to aid in the construction of self-testing classes.

A presentation about self-testing classes is given here.

IC and National Institute for Space Research (INPE)

A set of integrated tools for conformance and fault injection testing of communication systems

Want to know more about ATIFS? Click here. 

o       Goal: provide INPE with a platform for the validation of space applications.

o       Funding: CNPq / Capes-COFECUB

o       For more information, click here.

o       Goal: methods and tools for quality assurance of embedded systems for space applications

o       Funding: Finep

o       Goal: definition of dependability benchmark for COTS-based systems, more specifically, Web servers and mobile systems

o       Funding: Capes-Grices

o       Participants: IC-Unicamp, UFRGS, University of Coimbra (Portugal)

o       If you want to know more about dependability benchmark, we suggest, for the moment, to look at the publications of the project: Dbench.