@InProceedings{SilvaSant:2016:TeSoVi,
author = "Silva, Felipe Elias Costa da and Santiago J{\'u}nior, Valdivino
Alexandre de",
affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto
Nacional de Pesquisas Espaciais (INPE)}",
title = "Testes de software via model checking para sistemas espaciais
cr{\'{\i}}ticos",
year = "2016",
organization = "Semin{\'a}rio de Inicia{\c{c}}{\~a}o Cient{\'{\i}}fica e
Inicia{\c{c}}{\~a}o em Desenvolvimento Tecnol{\'o}gico e
Inova{\c{c}}{\~a}o (SICINPE)",
publisher = "Instituto Nacional de Pesquisas Espaciais",
address = "S{\~a}o Jos{\'e} dos Campos, SP",
note = "{Bolsa PIBIC/INPE/CNPq}",
abstract = "Testes de software e Model Checking (m{\'e}todo de
Verifica{\c{c}}{\~a}o Formal) s{\~a}o processos/m{\'e}todos
diferentes para assegurar a qualidade de sistemas de software.
Para sistemas cr{\'{\i}}ticos, tais como sat{\'e}lites e
aplica{\c{c}}{\~o}es de bal{\~o}es estratosf{\'e}ricos que o
INPE desenvolve, a quest{\~a}o da qualidade {\'e} ainda mais
relevante, pois um defeito no software pode ocasionar grandes
perdas financeiras. Dado a busca exaustiva no espa{\c{c}}o de
estados que Model Checking realiza, pesquisadores v{\^e}m
propondo gerar casos de testes de software por meio de Model
Checking. Nesse contexto, o racioc{\'{\i}}nio {\'e} interpretar
os contraexemplos gerados pelos Model Checkers (ferramentas de
software que possuem uma realiza{\c{c}}{\~a}o da teoria de Model
Checking) como casos de teste. O principal desafio {\'e}
for{\c{c}}ar o Model Checker a criar, sistematicamente, conjuntos
de tais contraexemplos. Esse projeto de pesquisa possui tr{\^e}s
objetivos espec{\'{\i}}ficos: a.) realizar a gera{\c{c}}{\~a}o
de casos de teste de software a partir de Model Checking; b.)
atualizar a metodologia e a ferramenta SOLIMVA com as
solu{\c{c}}{\~o}es tecnol{\'o}gicas desenvolvidas no projeto; e
c.) aplicar a nova vers{\~a}o da ferramenta e da metodologia
SOLIMVA a software de sistema espacial cr{\'{\i}}tico em
desenvolvimento no INPE.",
conference-location = "S{\~a}o Jos{\'e} dos Campos, SP",
conference-year = "25-26 jul.",
language = "pt",
ibi = "8JMKD3MGP3W34P/3N5E5RS",
url = "http://urlib.net/ibi/8JMKD3MGP3W34P/3N5E5RS",
targetfile = "Silva_testes.pdf",
urlaccessdate = "02 maio 2024"
}