Geração de Testes de Interoperabilidade e Robustez para uma Aplicação Espacial
Abstract
This paper presents an approach for interoperability and robustness testing of distributed real-time embedded systems (DRE), search-based on UML state machine model, and with the use of test purposes with the objective to avoid the state space explosion problem for test case generation. The model represents the interaction between two components that interact via a faulty communication channel. We applied the approach to a space application service that was used in a previous study. Results show that the approach is as useful as the previous one to cover the test purposes, but with the differential of the faulty environment is also modeled and to the use of a search-based test case generation technique.
Keywords:
Testes Baseados em Modelos, Sistemas de Tempo Real Embarcados, Testes de Interoperabilidade, Testes de Robustez, Emulador de Defeitos
References
Ali, S., Briand, L. C., and Hemmati, H. (2012). Modeling robustness behavior usingaspect-oriented modeling to support robustness testing of industrial systems.Software & Systems Modeling, 11(4):633-670.
Ambrosio, A. M., Martins, E., Vijaykumar, N. L., and de Carvalho, S. V. (2005).Systematic generation of test and fault cases for space application validation. In DASIA 2005-Data Systems in Aerospace, volume 602.
Andrade, W. L., Machado, P. D., Jéron, T., and Marchand, H. (2011). Abstracting timeand data for conformance testing of real-time systems. In Software Testing,Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth InternationalConference on, pages 9-17. IEEE.
Batista, C. L. G., Weller, A. C., Martins, E., and Mattiello-Francisco, F. (2018).Towards increasing nanosatellite subsystem robustness. Acta Astronautica.
Batth, S. S., Vieira, E. R., Cavalli, A., and Uyar, M. U. (2007). Specification of timedEFSM fault models in SDL. In Formal Techniques for Networked and DistributedSystems-FORTE 2007, pages 50-65. Springer.
Bringmann, E. and Krimer, A. (2008). Model-based testing of automotive systems. InSoftware Testing, Verification, and Validation, 2008 Ist International Conference onpages 485493. IEEE.
Cardoso, W. F. F. (2015). StateMutest: uma ferramenta de apoio ao teste baseado emmodelos de estado estendidos. Master”s thesis, Instituto de Computação, Unicamp,Campinas, SP, Brazil.
Desmoulin, A. and Viho, C. (2009). Formalizing interoperability for test case generationpurpose. International journal on software tools for technology transfer,11(3):261-267.
Leveson, N. G. and Stolzy, J. L. (1985). Analyzing safety and fault tolerance using timepetri nets. In International Joint Conference on Theory and Practice of SoftwareDevelopment, pages 339-355. Springer.
Mattiello-Francisco, M. F. (2009). InRob — Uma abordagem para testes deinteroperabilidade e de robustez de subsistemas de tempo-real intensivos emsoftware. Doutorado em engenharia eletrônica e computação, Instituto deTecnológico de Aeronáutica, São José dos Campos, SP.
Natella, R., Cotroneo, D., and Madeira, H. S. (2016). Assessing dependability withsoftware fault injection: A survey. ACM Computing Surveys (CSUR), 48(3):44.
Rapp, EC. W. (2015). SMC: The State Machine Compiler. http://smc.sourceforge.net.Accessed on Abr. 10, 2020.
Saad-Khorchef, F., Rollet, A., and Castanet, R. (2007). A framework and a tool forrobustness testing of communicating software. In Proceedings of the 2007 ACMsymposium on Applied computing, pages 1461-1466. ACM.
Salva, S. and Laurençot, P. (2007). Generation of tests for real-time systems with testpurposes. RTNS'07, page 35.
Weller, A. C., Martins, E., and Mattiello-Francisco, F. (2015). InRob-UML: umaAbordagem para Testes de Interoperabilidade e Robustez baseados em Modelos. In9th Brazilian Workshop on Systematic and Automated Software Testing — SAST2015, pages 71-80.
Yano, T., Martins, E., and de Sousa, F. (2011). MOST: A Multi-objective Search-BasedTesting from EFSM. In Software Testing, Verification and Validation Workshops(ICSTW), 2011 TEEE Fourth International Conference on, pages 164-173.
Ambrosio, A. M., Martins, E., Vijaykumar, N. L., and de Carvalho, S. V. (2005).Systematic generation of test and fault cases for space application validation. In DASIA 2005-Data Systems in Aerospace, volume 602.
Andrade, W. L., Machado, P. D., Jéron, T., and Marchand, H. (2011). Abstracting timeand data for conformance testing of real-time systems. In Software Testing,Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth InternationalConference on, pages 9-17. IEEE.
Batista, C. L. G., Weller, A. C., Martins, E., and Mattiello-Francisco, F. (2018).Towards increasing nanosatellite subsystem robustness. Acta Astronautica.
Batth, S. S., Vieira, E. R., Cavalli, A., and Uyar, M. U. (2007). Specification of timedEFSM fault models in SDL. In Formal Techniques for Networked and DistributedSystems-FORTE 2007, pages 50-65. Springer.
Bringmann, E. and Krimer, A. (2008). Model-based testing of automotive systems. InSoftware Testing, Verification, and Validation, 2008 Ist International Conference onpages 485493. IEEE.
Cardoso, W. F. F. (2015). StateMutest: uma ferramenta de apoio ao teste baseado emmodelos de estado estendidos. Master”s thesis, Instituto de Computação, Unicamp,Campinas, SP, Brazil.
Desmoulin, A. and Viho, C. (2009). Formalizing interoperability for test case generationpurpose. International journal on software tools for technology transfer,11(3):261-267.
Leveson, N. G. and Stolzy, J. L. (1985). Analyzing safety and fault tolerance using timepetri nets. In International Joint Conference on Theory and Practice of SoftwareDevelopment, pages 339-355. Springer.
Mattiello-Francisco, M. F. (2009). InRob — Uma abordagem para testes deinteroperabilidade e de robustez de subsistemas de tempo-real intensivos emsoftware. Doutorado em engenharia eletrônica e computação, Instituto deTecnológico de Aeronáutica, São José dos Campos, SP.
Natella, R., Cotroneo, D., and Madeira, H. S. (2016). Assessing dependability withsoftware fault injection: A survey. ACM Computing Surveys (CSUR), 48(3):44.
Rapp, EC. W. (2015). SMC: The State Machine Compiler. http://smc.sourceforge.net.Accessed on Abr. 10, 2020.
Saad-Khorchef, F., Rollet, A., and Castanet, R. (2007). A framework and a tool forrobustness testing of communicating software. In Proceedings of the 2007 ACMsymposium on Applied computing, pages 1461-1466. ACM.
Salva, S. and Laurençot, P. (2007). Generation of tests for real-time systems with testpurposes. RTNS'07, page 35.
Weller, A. C., Martins, E., and Mattiello-Francisco, F. (2015). InRob-UML: umaAbordagem para Testes de Interoperabilidade e Robustez baseados em Modelos. In9th Brazilian Workshop on Systematic and Automated Software Testing — SAST2015, pages 71-80.
Yano, T., Martins, E., and de Sousa, F. (2011). MOST: A Multi-objective Search-BasedTesting from EFSM. In Software Testing, Verification and Validation Workshops(ICSTW), 2011 TEEE Fourth International Conference on, pages 164-173.
Published
2020-12-07
How to Cite
WELLER, Anderson Coelho; MARTINS, Eliane; MATTIELLO-FRANCISCO, Fátima.
Geração de Testes de Interoperabilidade e Robustez para uma Aplicação Espacial. In: FAULT TOLERANCE WORKSHOP (WTF), 21. , 2020, Rio de Janeiro.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2020
.
p. 41-54.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2020.12486.
