Extended interoperability models for timed system robustness testing

2009 IEEE Latin-American Conference on Communications, LATINCOM '09 - Conference Proceedings

Volumn , Issue , 2009, Pages

  Mattiello Francisco, Fátima ^a,d   Martins, Eliane ^b   Corsetti, André ^a   Cavalli, Ana Rosa ^c   Yano, Edgar ^d  

^a INPE SJ Campos   (Brazil)

^b UNIVERSITY OF CAMPINAS   (Brazil)

^c INSTITUT TELECOM   (France)

^d INSTITUTO TECNOLÓGICO DE AERONÁUTICA   (Brazil)

Author keywords

Hazard; Interoperability; Robustness; Space subsystem integration; Test case generation; Testing process; Timed system

Indexed keywords

BOARD SATELLITES; DATA LOSS; FORMAL MODEL; INTEGRATION PHASE; INTEGRATION TESTING; INTEGRATION TESTS; NEW APPROACHES; TEST CASE; TEST CASE GENERATION; TEST SYSTEMS; TESTING PROCESS; TIME REQUIREMENTS; TIMED SYSTEMS;

INTEROPERABILITY; SATELLITE OBSERVATORIES; TIME SHARING SYSTEMS;

TESTING;

EID: 70649086391     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LATINCOM.2009.5304903     Document Type: Conference Paper

References (15)

1. M.F. Mattiello-Francisco; V. Santiago.; A. M.Ambrosio.; L.Jogaib.; R. Costa, "A Brazilian Software Industry Experience in Using ECSS for Space Application Software Development". 14th ISPE International Conference on Concurrent Engineering (CE2007), 16 - 20 de Julho/2007, São José dos Campos, SP, Brazil. Editors: Geilson Loureiro and Richard Curran. Springer, 2007. pages 167-174. (ISBN-978-1-84628-975-0)
2. A. Desmoulin and C.Viho, "Automatic interoperability test case generation based on formal definitions", LNCS 4916, Germany, July 2007, pp. 234-250.
3. F.Saad. Khorchef, I. Berrada, A. Rollet and R. Castanet, "Automated robustness testing for reactive systems: application to communicating protocols", I2CS2006, Switzerland, June 2006.
4. International Organization for Standardization (ISO). IS 9646 - International standard conformance testing methodology and framework. Genève, 1991
5. M.G. Merayo, M. Nunez, and I. Rodriguez, "Extending EFSMs to specify and test timed systems with action duration and time-outs", IEEE Transactions on Computers, Vol.57. No.6 pp. 835-848, June 2008.
6. S.S. Bath, E.R. Vieira, A. Cavalli, M.U. Uyar. Specification of timed EFSM fault models in SDL, 27th IFIP FORTE 2007, Estonia, June 2007
7. M. Broy, B. Jonsson, J.P. Katoen, A. Pretschner , Model-Based Testing of Reactive Systems, Advanced Lectures, LNCS 3472, Springer, Germany, 2005.
8. R. Castanet and H. Waeselynk. "Techniques avancées de test de systèmes complexes: Test de robustnesse". Technical Report, Action spécifique 23 du CNRS, 11 2003.
9. with delayable transitions and timing-faults detection". In RTCSA 2007
10. C. Besse, A. Cavalli, M. Kim, F. Zaidi, " Two methods for interoperability testing application to TCP/IP protocol" TESTCOM 2002, Berlim, March 2002
11. V. Santiago, M.F. Mattiello-Francisco, R. Costa, W. P. da Silva and A.M. Ambrosio - "QSEE Project: An Experience in Outsourcing Software Development for Space Applications", The Nineteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'07), 09 - 11 de Julho/2007, Boston, EUA
12. W. Silva, V. Santiago, M.F. Mattiello-Francisco, "QSEE-TAS: A tool for automatic test execution and report for space application software testing "[Uma Ferramenta para Execução e Relato Automatizados de Testes de Software para Aplicações Espaciais], SBES2006, Florianópolis-SC, pp. 43-48.
13. M.F. Mattiello-Francisco. "Payload software validation and integration". The Transient Milky Way: A Perspective for MIRAX Conference, Dezembro/2005, Instituto Nacional de Pesquisas Espaciais, São José dos Campos, São Paulo. Anais: AIP Conference Proceedings, CP840. Melville, NY, 2006, pp. 132-136;
14. A.M. Ambrosio, V. Santiago, W. Silva, E. Martins, "Designing fault injection with state-based model for a space application", Editors: Bondavali, A.; Brasileriro, F.; Rajsbaum, S. Springer, Berlin. 2007; pages 170-178. Presented in Third Latin-American Symposium on Dependable Computing. Morelia, México, September 26-28, LADC2007, Mexico, 2007.
15. A.M. Ambrosio; M.F Mattiello-Francisco; E. Martins. "An independent software verification and validation process for space applications". 9th International Conference on Space Operations AIAA 2008-3517.,Hildelberg, German. 2008