Geração de Testes de Interoperabilidade e Robustez para uma Aplicação Espacial

• Anderson Coelho Weller Instituto Federal do Espírito Santo https://orcid.org/0000-0001-8654-6722
• Eliane Martins Universidade Estadual de Campinas https://orcid.org/0000-0003-4290-6508
• Fátima Mattiello-Francisco Instituto Nacional de Pesquisas Espaciais

DOI: https://doi.org/10.5753/wtf.2020.12486

Resumo

Apresentamos uma abordagem para teste de interoperabilidade e robustez de sistemas distribuídos de tempo real (DRE), baseada em busca em modelo de máquina de estado UML e no uso de propósitos de teste com o objetivo de evitar o problema de explosão do espaço de estado na geração de casos de teste. O modelo representa a interação entre dois componentes que interagem através de um canal de comunicação com defeito. Aplicamos a abordagem em um serviço de aplicativo espacial que foi usado em um estudo anterior. Os resultados mostram que a abordagem é tão útil quanto a anterior para cobrir os objetivos do teste, mas com o diferencial do ambiente defeituoso ser modelado e ao uso de técnica de geração de casos de teste baseada em busca.

Palavras-chave: Testes Baseados em Modelos, Sistemas de Tempo Real Embarcados, Testes de Interoperabilidade, Testes de Robustez, Emulador de Defeitos

Referências

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.