%0 Conference Proceedings
%4 sid.inpe.br/mtc-m16d/2018/10.11.17.23
%2 sid.inpe.br/mtc-m16d/2018/10.11.17.23.40
%@issn 2177-3114
%T Uma abordagem de teste para verificação e validação de software embarcado em Cubesats
%D 2018
%A Padilha, Juliana Joria,
%A Ambrosio, Ana Maria,
%A Mattiello Francisco, Maria de Fátima,
%@affiliation
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@electronicmailaddress juliana.padilha@gmail.com
%@electronicmailaddress
%@electronicmailaddress fatima.mattiello@inpe.br
%E Santos, Walter Abrahão dos,
%E Rodrigues, Italo Pinto,
%E Lima, Jeanne Samara dos Santos,
%E Rodrigues, Aline Castilho,
%E Mateus, Dairo Antonio Cuellar,
%E Moreira, Herbi Júnior Pereira,
%E Barbosa, ivan Márcio,
%E Tenório, Plínio Ivo Gama,
%E Toledo, Rafael Cardoso,
%E Pereira, Yuri Matheus Dias,
%B Workshop em Engenharia e Tecnologia Espaciais, 9 (WETE)
%C São José dos Campos
%8 15-16 ago. 2018
%I Instituto Nacional de Pesquisas Espaciais (INPE)
%J São José dos Campos
%S Anais
%1 Instituto Nacional de Pesquisas Espaciais (INPE)
%K Testes de software embarcado, Teste baseado em modelos, Nanosatélites, Cubesats, Redução do Esforço de Testes.
%X Apesar do grande número de nanosatélites que vêm sendo lançados no espaço ainda não existem normas específicas de engenharia de software para esse tipo de satélites. Software embarcado em Cubesat possui papel chave no controle e operação da missão. Entretanto, as atividades de verificação e validação de projetos de software são onerosas. Testes de software consomem de 30% a 50% do recurso envolvido no desenvolvimento destes software. Essa pesquisa propõe uma abordagem de teste para verificação e validação de software embarcado para nanosatélites utilizando-se de técnicas de redução de esforço de testes, buscando maximizar o reuso. Pretende-se usar o projeto NanosatC-Br2 como caso de estudo para essa pesquisa. Neste artigo são apresentadas as principais ideias que orientaram esta proposta: crescimento do número de nanosatélites, em particular os Cubesats, a falta de padronização dos software, alto custo de realização de teste de software, pesquisa de técnicas de redução do esforço de teste, teste baseado em modelos e a experiência no projeto QSEE com o uso da metodologia CoFi (Conformance and Fault Injection) na aceitação do software embarcado.
%9 Engenharia e Gerenciamento de Sistemas Espaciais
%@language pt
%3 19 - [Artigo] Juliana Joria Padilha.pdf