Uso da ferramenta de testes fSofist na validação de uma aplicação espacial