@TechReport{BitencourtVazSantCalh:2019:TeMePr,
author = "Bitencourt Vaz, Renata and Santiago J{\'u}nior, Valdivino
Alexandre and Calheiros, Alan James Peixoto",
title = "Teste metam{\'o}rfico para Produtos de software relacionados
{\`a} defini{\c{c}}{\~a}o de caracter{\'{\i}}sticas
hidrol{\'o}gicas",
institution = "Instituto Nacional de Pesquisas Espaciais",
year = "2019",
type = "RPQ",
address = "S{\~a}o Jos{\'e} dos Campos",
note = "{Bolsa PIBIC/INPE/CNPq}",
keywords = "produtos de software.",
abstract = "O INPE tem v{\'a}rios exemplos de softwares cient{\'{\i}}ficos
usados para, por exemplo, implementar modelos de sistemas de
controle de atitude e {\'o}rbita de sat{\'e}lites, analisar a
radia{\c{c}}{\~a}o X e Gama oriundas de objetos
astrof{\'{\i}}sicos a bordo de plataformas espaciais, estudar a
intera{\c{c}}{\~a}o bidirecional entre a biosfera terrestre e o
sistema clim{\'a}tico, implementar modelos num{\'e}ricos de
previs{\~a}o de tempo assim como modelos de estudos
clim{\'a}ticos, entre outros. {\'E} muito importante que tais
produtos sejam criados com o mais alto n{\'{\i}}vel de qualidade
para que seus resultados possam ser confi{\'a}veis, e, dessa
forma, ser uma fonte adequada para a tomada de decis{\~a}o de
usu{\'a}rios que fazem uso de tais softwares. No entanto,
software cient{\'{\i}}fico {\'e} bastante complexo e garantir a
sua qualidade {\'e} algo bastante desafiador. Teste de software
{\'e} um processo que justamente {\'e} aplicado para aumentar a
qualidade de sistemas de software. Por{\'e}m, determinados tipos
de software, tais como os softwares cient{\'{\i}}ficos, podem
padecer do chamado problema do or{\'a}culo, ou seja, quando
n{\~a}o {\'e} poss{\'{\i}}vel determinar com certeza os
resultados esperados de um conjunto de dados de entrada de teste.
Teste metam{\'o}rfico {\'e} uma t{\'e}cnica que se adequa a
esse tipo de sistema de software. Mas, a principal
limita{\c{c}}{\~a}o do teste metam{\'o}rfico {\'e} a
identifica{\c{c}}{\~a}o das Rela{\c{c}}{\~o}es
Metam{\'o}rficas (RMs), que {\'e} uma tarefa manual que requer
um bom conhecimento do problema em quest{\~a}o. Uma das
alternativas {\'e} tentar identificar, automaticamente, as RMs de
um Sistema Sob Teste. Esse projeto de pesquisa possui dois
objetivos espec{\'{\i}}ficos: a.) investigar a viabilidade de
teste metam{\'o}rfico para realizar o teste de software
cient{\'{\i}}fico, particularmente abordando o problema do
or{\'a}culo de teste de software. Para identificar
automaticamente as RMs ser{\'a} investigada a possibilidade de
uso de Aprendizado Profundo (e.g. Redes Neurais Convolucionais);
b.) aplicar a abordagem proposta a produtos de software
relacionados {\`a} defini{\c{c}}{\~a}o de
caracter{\'{\i}}sticas hidrol{\'o}gicas, com os quais o INPE
v{\^e}m trabalhando, com o intuito de melhorar a qualidade dos
mesmos. Esse relat{\'o}rio apresenta as atividades desenvolvidas
no per{\'{\i}}odo de 01 de agosto de 2018 a 30 de junho de
2019.",
affiliation = "{Universidade Estadual Paulista (UNESP)} and {Instituto Nacional
de Pesquisas Espaciais (INPE)} and {Instituto Nacional de
Pesquisas Espaciais (INPE)}",
language = "pt",
pages = "16",
ibi = "8JMKD3MGP3W34R/3U3M9MH",
url = "http://urlib.net/ibi/8JMKD3MGP3W34R/3U3M9MH",
targetfile = "RENATA BITENCOURT.pdf",
urlaccessdate = "05 jun. 2024"
}