Designing fault injection experiments using state-based model to test a space software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4746 LNCS, Issue , 2007, Pages 170-178

  Ambrosio, Ana Maria ^a   Mattiello Francisco, Fátima ^a   Santiago Jr , Valdivino A ^a   Silva, Wendell P ^a   Martins, Eliane ^b  

^a INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS   (Brazil)

^b UNIVERSITY OF CAMPINAS   (Brazil)

Author keywords

Deterministic fault injection; Software testing method; State based models

Indexed keywords

APPLICATION PROGRAMS; COBALT COMPOUNDS; ELECTRIC FAULT CURRENTS; FIRMWARE; FLUORINE COMPOUNDS; IODINE COMPOUNDS; SPACE APPLICATIONS; TESTING;

EXTERNAL FAULT; FAULT INJECTION; MODEL CONSTRUCTION; SATELLITE COMPUTERS; SOFTWARE IMPLEMENTED FAULT INJECTIONS; STATE-BASED MODELS; TEST DERIVATION; TESTING METHODOLOGY;

SOFTWARE TESTING;

EID: 38349066392     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75294-3_13     Document Type: Conference Paper

References (17)

1. Ambrosio, A.M.: CoFI: uma abordagem combinando teste de conformidade e injeção de falhas para validação de software em aplicações espaciais. INPE-13264-TDI/1031. Instituto Nacional de Pesquisas Espaciais - INPE (2005)
2. Ambrosio, A.M., Martins, E., Vijaykumar, N.L., Carvalho, S.V.: A Methodology for Designing Fault Injection Experiments as an Addition to Communication Systems Conformance Testing. In: Proceedings of the 1st Workshop on Dependable Software - Tools and Methods in the IEEE Conference on Dependable System and Network, Yokohama, Japan, 28 June - 1 July 2005 (2005)
3. Arlat, J., Aguera, M., Amat, L., Crouzet, Y., Fabre, J.-C., Laprie, J.-C., Martins, E., Powell, D.: Fault Injection for Dependability Validation: A Methodology and Some Applications. IEEE Tr on SE 16(2), 166-182 (1990)
4. Binder, R.: Testing Object-Oriented Systems-Models, Patterns and Tools. Addison-Wesley, Reading (2000)
5. Cavalli, A., Gervy, C., Prokopenko, S.: New Approaches for Passive Testing using Extended Finite State Machine Specification. In: WTCS, Canada (2001)
6. Chandra, R., Lefever, R.M., Cukier, M., Sanders, W.H.A: global-state triggered fault injector for distributed system evaluation. IEEE Transaction on Parallel and Distributed Systems 15(7), 593-605 (2004)
7. Chow, T.S.: Testing software design modeled by finite state machines. IEEE Trans on Sw Engineering (TSE) 3, 178-187 (1978)
8. Dssouli, H., Salek, K., Aboulhamid, E., En-Nouaary, A., Bourhfir, C.: Test Development for Comm. Protocols: Towards Automation. Computer Networks 31, 1835-1872 (1999)
9. Echtle, K., Chen, Y.: Evaluation of Deterministic Fault Injection for Fault-Tolerant Protocol Testing. In: IEEE 21th Annual International Symposium on Fault-Tolerant Computing, Montreal, pp. 418-425. IEEE Computer Society Press, Los Alamitos (1991)
10. Goddard Space Flight Center (GSFC) (accessed March 2007), available at: http://radhome.gsfc.nasa.gov/radhome/papers/seeca1.htm
11. Holzmann, G.J.: Design and validation of computer protocols. Prentice-Hall, Englewood Cliffs (1990)
12. International Organization for Standardization ISO/IEC- IS9646 International standard conformance testing methodology and framework. Geneve (1991)
13. Martins, E., Mattiello-Francisco, F.A: Tool for Fault Injection and Conformance Testing of Distributed Systems. LNCS, vol. 2847/2003, pp. 282-302 (2003)
14. Martins, E., Sabião, S.B., Ambrosio, A.M.: ConData: a Tool for Automating Specification-based Test Case Generation for Communication Systems. Software Quality Journal 8(4), 303-319 (1999)
15. Mattiello-Francisco, M.F., Santiago, V.A., Costa, R., Jogaib, L.: Verificação e Validação na terceirização de software embarcado em aplicaçães espaciais. In: Simpósio Brasiliero de Qualidade de Software - SBQS2006, Villa Velha, ES, Brazil, pp. 368-375 (2006)
16. Santiago, V., Mattiello-Francisco, F., Costa, R., Silva, W.P., Ambrosio, A.M.: QSEE Project: An Experience in Outsourcing Software Development for Space Applications. In: The Nineteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'07), Boston, EUA (2007)
17. Silva, W.P., et al.: QSEE-TAS: Uma Ferramenta para Execução e Relato Automatizados de Testes de Software para Aplicaçães Espaciais. In: XX Brazilian Symposium on Software Engineering-SBES (2006)