Fechar
Metadados

Área de identificação
Tipo de ReferênciaThesis
Sitemtc-m21c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34R/42L2BFE
Repositóriosid.inpe.br/mtc-m21c/2020/06.08.20.44
Última Atualização2021:01.19.14.20.52 simone
Metadadossid.inpe.br/mtc-m21c/2020/06.08.20.44.11
Última Atualização dos Metadados2021:01.23.03.15.00 administrator
Chave SecundáriaINPE-18337-TDI/3009
Chave de CitaçãoRohdeEras:2021:MéGeAu
TítuloSingularity: um método para geração automática de casos de teste unitários baseado em contraexemplos de verificador de modelos para aplicações em C++
Título AlternativoSingularity: a method for automatic generation of unit test cases based on model checker counterexamples of C++ applications
CursoCAP-COMP-SESPG-INPE-MCTIC-GOV-BR
Ano2021
Data2020-05-26
Data de Acesso05 mar. 2021
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Número de Páginas97
Número de Arquivos1
Tamanho2568 KiB
Área de contextualização
AutorRohde Eras, Eduardo
BancaAndrade Neto, Pedro Ribeiro de (presidente)
Santiago Júnior, Valdivino Alexandre de (orientador)
Mattiello-Francisco, Maria de Fátima
Ferrari, Fabiano Cutigi
Endereço de e-Maileduardorohdeeras@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Tipo SecundárioTDI
Histórico2020-06-08 20:44:11 :: eduardorohdeeras@gmail.com -> pubtc@inpe.br ::
2020-06-15 21:20:59 :: pubtc@inpe.br -> eduardorohdeeras@gmail.com ::
2020-07-15 22:50:09 :: eduardorohdeeras@gmail.com -> pubtc@inpe.br ::
2020-07-16 11:40:51 :: pubtc@inpe.br -> eduardorohdeeras@gmail.com ::
2020-07-18 00:06:09 :: eduardorohdeeras@gmail.com -> pubtc@inpe.br ::
2021-01-20 11:51:30 :: pubtc@inpe.br -> simone ::
2021-01-20 11:52:39 :: simone :: -> 2021
2021-01-20 12:24:49 :: simone -> administrator :: 2021
2021-01-23 03:15:00 :: administrator -> :: 2021
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavecasos de teste de software, teste unitário, verificador de modelo, automatização de teste, aplicações em C++, software testing cases, unit testing, model checking, test automation, C++ applications.
ResumoUma das tarefas mais desafiadoras na atividade de teste de software é a geração de casos/dados de teste. Embora haja uma quantidade significativa de estudos nesse sentido, ainda é necessário avançar em direção a abordagens que possam gerar casos/dados de teste com base apenas no código-fonte, considerando que muitos sistemas possuem apenas o código-fonte, sem a existência de uma documentação adequada. Esta Dissertação de Mestrado apresenta um novo método, denominado Singularity, para a geração de casos de teste unitários a partir de código-fonte em C++ e utilizando verificação de modelos, sendo este um método de Verificação Formal. Na presente abordagem, que é apoiada por uma ferramenta, o código-fonte C++ é traduzido automaticamente para modelos intermediários (Máquina de Estados Finitos, Grafo de Fluxo de Controle) e depois para a notação do Verificador de Modelos NuSMV. Posteriormente, uma técnica baseada no método HiMoST e em propriedades reconhecidas na literatura como "armadilha" produzem contraexemplos do verificador de modelos que são, de fato, os casos de teste abstratos em si. O método Singularity foi aplicado a um conjunto de códigos em C++ extraído de duas ferramentas complexas de sensoriamento remoto desenvolvidas no Instituto Nacional de Pesquisas Espaciais (INPE). Os resultados demonstraram a viabilidade do método para a geração de casos de teste. ABSTRACT: One of the most challenging tasks in software testing activity is the generation of test cases/data. Although there is a significant amount of studies in this direction, it is still necessary to move towards approaches that can generate test cases/data based only on the source code, since many systems have only the source code, without necessarily the existence of adequate documentation. This Master Dissertation presents a new method, called Singularity, for the generation of unit test cases/data from C++ source codes using Model Checking, a Formal Verification method. In the present approach, which is supported by a tool, the C++ source code is automatically translated into intermediate models (Finite State Machine, Control Flow Graph) and then into the NuSMV model checker notation. Subsequently, a technique based on the HiMoST method and the called "trap properties" produces counterexamples of the model checker which are, in fact, the test cases/data itself. The Singularity method was applied to a set of C++ codes extracted from two complex remote sensing tools developed at the National Institute for Space Research (INPE). The results demonstrated the viability of the method for generating test cases/data.
AreaCOMP
ArranjoINPE > Produção > CAP > Singularity: um método...
Conteúdo da Pasta source
originais/@4primeirasPaginas.pdf 19/01/2021 10:17 413.1 KiB 
originais/Dissertação_de_Mestrado_17_jul.pdf 20/07/2020 09:21 2.2 MiB
Conteúdo da Pasta agreement
agreement.html 08/06/2020 17:44 1.7 KiB 
autorizacao.pdf 19/01/2021 12:20 105.9 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W34R/42L2BFE
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34R/42L2BFE
Idiomapt
Arquivo Alvopublicacao_FA provisoria.pdf
Grupo de Usuárioseduardorohdeeras@gmail.com
pubtc@inpe.br
simone
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor dos Direitosoriginalauthor yes
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2017/11.22.19.04.03
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Acervo Hospedeirourlib.net/www/2017/11.22.19.04
Área de notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyholder creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype

Fechar