Apoio no desenvolvimento do plano de verificação do FloripaSat-2

Abstract

Este trabalho tem como objetivo continuar a pesquisa e aprimoramento do plano de verificação da missão FloripaSat-2. O FloripaSat-2 é um satélite de pequeno porte (nanossatélite) que está sendo desenvolvido pela equipe do SpaceLab. Um nanossatélite pode ser separado em subsitemas, cada subsistema com sua função específica, e a grande maioria dos subsistemas pode ser divido em Firmware e Hardware, sendo esses dois intrinsicamente ligados. A área de testes, verificação e validação (V&V) é de extrema importância no desenvolvimento do projeto. Estratégias diferentes podem ser aplicadas para o V&V do Firmware e Hardware. A maior parte desse trabalho foi lidando com V&V de Firmware. Com o objetivo de melhorar a confiabilidade do código escrito, diminuir erros e tempo de desenvolvimento do código, foram aplicadas algumas metodologias como: utilização da metodologia Test-Driven-Development (TDD), desenvolvimento da lógica do código através do framework de testes unitários Cmocka, adesão ao padrão MISRA-C para a escrita do código e utilização da ferramenta CppCheck para o tratamento do código automático na plataforma GitHub. Com essas metodologias aplicadas, o desenvolvimento se provou várias vezes bastante eficaz, devido ao fato de, na ultima etapa, que é o teste em Hardware, o código funcionar como o esperado diversas vezes sem precisar de correções.