Fechar
Metadados

@InProceedings{VazSantCalh:2019:TeMePr,
               author = "Vaz, Renata Bitencourt and Santiago J{\'u}nior, Valdivino 
                         Alexandre and Calheiros, Alan James Peixoto",
          affiliation = "{Universidade Estadual Paulista (UNESP)} and {Instituto Nacional 
                         de Pesquisas Espaciais (INPE)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)}",
                title = "Teste metam{\'o}rfico para produtos de software relacionados 
                         {\`a} defini{\c{c}}{\~a}o de caracter{\'{\i}}sticas 
                         hidrol{\'o}gicas",
            booktitle = "Anais...",
                 year = "2019",
               editor = "Santos, Rafael Duarte Coelho Dos and Mattos, Ariane Frassoni Dos 
                         Santos De and Mello, Carina Barros and Queiroz, Gilberto Ribeiro 
                         De and Vasconcelos, Leandro Guarino De and Vieira, Luis Eduardo 
                         Antunes and Forti, Maria Cristina and Gatto, Rubens Cruz",
         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 (INPE)",
              address = "S{\~a}o Jos{\'e} dos Campos",
                 note = "{Bolsa PIBIC/INPE/CNPq}",
             keywords = "hidrologia, 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, iniciado em agosto 
                         de 2018, 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.",
  conference-location = "S{\~a}o Jos{\'e} dos Campos",
      conference-year = "12-13 ago. 2019",
             language = "pt",
         organisation = "Instituto Nacional de Pesquisas Espaciais (INPE)",
                  ibi = "8JMKD3MGPDW34R/3U65R4H",
                  url = "http://urlib.net/rep/8JMKD3MGPDW34R/3U65R4H",
           targetfile = "2019 Renata Vaz.pdf",
                 type = "COMP",
        urlaccessdate = "10 abr. 2021"
}


Fechar