@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 = "25 abr. 2024"
}