Designing Fault Injection Experiments Using State-Based Model to Test a Space Software

@inproceedings{Ambrosio2007DesigningFI,
  title={Designing Fault Injection Experiments Using State-Based Model to Test a Space Software},
  author={Ana Maria Ambrosio and Maria de F{\'a}tima Mattiello-Francisco and Valdivino A. Santiago and Wendell Pereira da Silva and Eliane Martins},
  booktitle={LADC},
  year={2007}
}
Software for space applications requires significant testing. This paper presents an evaluation of the CoFI testing methodology as applied to actual space software, where deterministic fault cases derived from state-based models were executed using the software-implemented fault injection technique. Different models were used to represent the behavior of embedded software in a real satellite computer under the presence of both normal inputs and external faults in communication, processor, and… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

References

Publications referenced by this paper.
Showing 1-10 of 15 references

QSEE-TAS: Uma Ferramenta para Execução e Relato Automatizados de Testes de Software para Aplicações Espaciais

Silva, P W.
XX Brazilian Symposium on Software Engineering-SBES • 2006
View 1 Excerpt

Verificação e Validação na terceirização de software embarcado em aplicações espaciais

M. F. Mattiello-Francisco, Santiago V.A, Costa, Jogaib
Simpósio Brasiliero de Qualidade de Software - SBQS2006, • 2006
View 1 Excerpt

CoFI: uma abordagem combinando teste de conformidade e injeção de falhas para validação de software em aplicações espaciais,

A. M. Ambrosio
INPE-13264-TDI/1031. Instituto Nacional de Pesquisas Espaciais - INPE, • 2005
View 1 Excerpt

Design and Validation of Computer Protocols

IU nrUniUURJJnrIJJni, IU nrUniURJJnrIJJniU
2003
View 2 Excerpts

Testing Object-Oriented Systems-Models, Patterns and Tools

R. Binder
2000
View 1 Excerpt

Similar Papers

Loading similar papers…