Fechar
Metadados

@MastersThesis{Zavaleta:1982:SeDaTe,
               author = "Zavaleta, Rose Mary Salazar Anaya",
                title = "Sele{\c{c}}{\~a}o de dados para testes de programas",
               school = "Instituto Nacional de Pesquisas Espaciais (INPE)",
                 year = "1982",
              address = "S{\~a}o Jos{\'e} dos Campos",
                month = "1982-06-15",
             keywords = "engenharia de software, teste de programas, valida{\c{c}}{\~a}o 
                         parcial de software.",
             abstract = "Sabe-se que a maneira pr{\'a}tica para se obterem altos graus de 
                         confiabilidade em desenvolvimento de programas {\'e} atrav{\'e}s 
                         do processo de testes que usa conjuntos de dados adequadamente 
                         selecionados. Neste trabalho {\'e} apresentado um sistema que 
                         visa auxiliar o usu{\'a}rio no processo de sele{\c{c}}{\~a}o de 
                         dados para testes de programas escritos em FORTRAN. Neste sistema 
                         s{\~a}o combinados aspectos de an{\'a}lise est{\'a}tica e 
                         din{\^a}mica de programas que permitem identificar os comandos e 
                         transfer{\^e}ncias de controle n{\~a}o executados num dado 
                         teste. V{\'a}rios exemplos que ilustram em detalhes o uso do 
                         sistema s{\~a}o dados. ABSTRACT: It is well known that the 
                         practical way to obtain high degress of reliability in software 
                         development is through the process of testing using adequately 
                         selected data. In this work a system which intends to provide some 
                         help to the user in the process of selecting data for testing 
                         FORTRAN programs is presented. In this system it is combined 
                         aspects related to the static and dinamic analysis of programs 
                         which allow the identification of the statements and transferences 
                         of control not executed in a given test. Several examples are 
                         given to illustrate in detail the use of the system.",
            committee = "Velasco, Fl{\'a}vio Roberto Dias (presidente) and Dias, 
                         M{\'u}cio Roberto (orientador) and Bianchi, Paulo and Martins, 
                         Ricardo Correia de Oliveira",
           copyholder = "SID/SCD",
         englishtitle = "x",
             language = "pt",
                pages = "156",
                  ibi = "8JMKD3MGP8W/35DTNNS",
                  url = "http://urlib.net/rep/8JMKD3MGP8W/35DTNNS",
           targetfile = "INPE-2673.pdf",
        urlaccessdate = "15 ago. 2020"
}


Fechar