@TechReport{SilvaSant:2018:TeMoAm,
               author = "Silva, Leoni Augusto Romain da and Santiago J{\'u}nior, Valdivino 
                         Alexandre de",
                title = "Teste de modelos ambientais desenvolvidas via Terrame",
          institution = "Instituto Nacional de Pesquisas Espaciais",
                 year = "2018",
                 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 (COCST/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 COCST/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 30 de junho de 2018.",
          affiliation = "{Centro Universit{\'a}rio Salesiano de S{\~a}o Paulo (UNISAL)} 
                         and {Instituto Nacional de Pesquisas Espaciais (INPE)}",
             language = "pt",
                pages = "44",
                  ibi = "8JMKD3MGP3W34R/42HS328",
                  url = "http://urlib.net/ibi/8JMKD3MGP3W34R/42HS328",
           targetfile = "Leoni Augusto Romain da Silva.pdf",
        urlaccessdate = "24 abr. 2024"
}