@TechReport{SilvaSant:2017:TeMoAm,
author = "Silva, Leoni Augusto Romain da and Santiago J{\'u}nior, Valdivino
Alexandre de",
title = "Testes de modelos ambientais desenvolvidos via TerraME",
institution = "Instituto Nacional de Pesquisas Espaciais",
year = "2017",
type = "RPQ",
address = "S{\~a}o Jos{\'e} dos Campos",
note = "{Bolsa PIBIC/INPE/CNPq}",
keywords = "modelos ambientais, TerraME.",
abstract = "A {\'a}rea tem{\'a}tica Modelagem do Sistema Terrestre e
Proje{\c{c}}{\~a}o do Centro de Ci{\^e}ncia do Sistema
Terrestre (CCST/INPE) objetiva pesquisar a
representa{\c{c}}{\~a}o do Sistema Terrestre (ST), abrangendo
n{\~a}o somente as dimens{\~o}es f{\'{\i}}sicas e
biol{\'o}gicas, como tamb{\'e}m as dimens{\~o}es humanas.
Existem diversas a{\c{c}}{\~o}es de pesquisa s{\'o}lidas em
rela{\c{c}}{\~a}o a essa {\'a}rea tem{\'a}tica do CCST/INPE,
sendo que uma delas {\'e} o TerraME: um ambiente de
desenvolvimento para a modelagem din{\^a}mica espacial que
ap{\'o}ia o conceito de Aut{\^o}matos Celulares Aninhados
(Nested-CA). Assegurar que os modelos ambientais estejam
consistentes/corretos, {\'e} uma tarefa bastante desafiadora pois
requer o conhecimento no dom{\'{\i}}nio de
aplica{\c{c}}{\~a}o, al{\'e}m do conhecimento da linguagem de
programa{\c{c}}{\~a}o em que o c{\'o}digo-fonte do modelo foi
escrito. Por outro lado, as metodologias, t{\'e}cnicas e
processos da Engenharia de Software podem contribuir para melhorar
a qualidade de um produto de software. A {\'a}rea de
Verifica{\c{c}}{\~a}o e Valida{\c{c}}{\~a}o (V\&V) da
Engenharia de Software almeja contribuir para essa melhoria da
qualidade. Teste de software {\'e}, muito provavelmente, o
processo mais adotado, na pr{\'a}tica, entre todos relacionadas
{\`a} V\&V. Os objetivos espec{\'{\i}}ficos desse projeto
s{\~a}o: a.) investigar diversas t{\'e}cnicas para
gera{\c{c}}{\~a}o de casos de teste de software para modelos
ambientais desenvolvidos via TerraME; b.) realizar uma
compara{\c{c}}{\~a}o estat{\'{\i}}stica rigorosa para
identificar quais das t{\'e}cnicas, usadas para
gera{\c{c}}{\~a}o de casos de teste para os modelos TerraME,
obtiveram melhor custo e efetividade. Esse relat{\'o}rio
apresenta as atividades desenvolvidas no per{\'{\i}}odo de 01 de
agosto de 2016 a 13 de julho de 2017.",
affiliation = "{} and {Instituto Nacional de Pesquisas Espaciais (INPE)}",
language = "pt",
pages = "29",
ibi = "8JMKD3MGP3W34R/42L26H5",
url = "http://urlib.net/ibi/8JMKD3MGP3W34R/42L26H5",
targetfile = "silva_teste de modelos.pdf",
urlaccessdate = "11 maio 2024"
}