Software do INPE é Premiado em Congresso

Olá leitor!

Segue abaixo uma nota postada hoje (03/10) no site do Instituto Nacional de Pesquisas Espaciais (INPE) destacando que o software “Geração Automática de Casos de Teste Baseada em Statecharts (GTSC)”, desenvolvido por pesquisadores do instituto, foi premiado em Congresso.

Duda Falcão

Software do INPE é Premiado em Congresso

Quarta-feira, 03 de Outubro de 2012

O software Geração Automática de Casos de Teste Baseada em Statecharts (GTSC), desenvolvido no Instituto Nacional de Pesquisas Espaciais (INPE), conquistou o terceiro lugar entre os trabalhos apresentados na Sessão de Ferramentas do III Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2012), realizado em Natal (RN) entre os dias 23 e 28 de setembro.

O trabalho intitulado “GTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines” teve como autores Valdivino Alexandre de Santiago Júnior, Nandamudi L. Vijaykumar, Érica F. de Souza, Danielle S. Guimarães e Raffael C. da Costa.

O ambiente (ferramenta) de software GTSC é fruto do trabalho em conjunto de duas áreas do INPE: a Coordenação de Ciências Espaciais e Atmosféricas (CEA) e o Laboratório Associado de Computação e Matemática Aplicada (LAC).

O GTSC vem sendo utilizado em projetos de pesquisa e desenvolvimento de software embarcado em computadores de bordo de satélites científicos e balões estratosféricos em desenvolvimento na CEA/INPE. Atualmente, está sendo usado para dar apoio ao processo de Verificação e Validação do experimento científico protoMIRAX, um instrumento que voará em balão estratosférico e que está sendo construído na Divisão de Astrofísica (DAS) da CEA/INPE.

O projeto do GTSC teve início em 2006, quando sua proposta foi aprovada pelo Edital Universal do Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq). Mesmo após o término do projeto perante o CNPq, o GTSC continuou a ser desenvolvido por profissionais de Computação e Engenharia do instituto e, também, com participação de alunos do curso de Pós-Graduação em Computação Aplicada (CAP) do INPE.

“A premiação obtida no CBSoft 2012 mostra o reconhecimento da Sociedade Brasileira de Computação (SBC) ao nosso trabalho e, consequentemente, demonstra a efetividade da pesquisa, e das ferramentas de software de apoio a essa pesquisa, realizada pela parceira CEA/LAC nas áreas de Verificação, Validação, Testes e Métodos Formais. Essa pesquisa objetiva aumentar a qualidade de produtos de software. Embora os estudos de caso ao qual temos aplicado o GTSC sejam da área espacial e de projetos do INPE, o GTSC pode ser utilizado para quaisquer outros tipos de sistemas reativos, tais como software para computadores de foguetes, aviões, dentre outros”, afirma Valdivino Santiago, pesquisador da CEA e um dos idealizadores da ferramenta GTSC.

Para o pesquisador Nandamudi L. Vijaykumar, pesquisador do LAC, a estreita colaboração entre as duas áreas permitiu a bolsistas e alunos da Pós-Graduação em Computação Aplicada (CAP) ajudar no desenvolvimento de uma ferramenta que permite qualificar softwares embarcados desenvolvidos no INPE. “Fico extremamente feliz com este prêmio que enfatiza cada vez mais que a CAP e o LAC estão trabalhando para missões do INPE”, conclui Vijaykumar.

Valdivino Santiago da CEA/INPE (à direita) recebe a premiação

do coordenador da Sessão de Ferramentas do CBSoft 2012

Fonte: Site do Instituto Nacional de Pesquisas Espaciais (INPE).

Comentário: O blog “BRAZILIAN SPACE” parabeniza ao pesquisadores do INPE pelo prêmio e lembra que o experimento científico protoMIRAX citado na nota está diretamente ligado com o desenvolvimento do experimento MIRAX, experimento esse integrante do satélite científico Lattes.