Use este identificador para citar ou linkar para este item:
http://www.monografias.ufop.br/handle/35400000/2082| Título: | Estudo comparativo do teste de software Concolic |
| Autor(es): | Barbosa, Cintia Franciele Leite |
| Orientador(es): | Assis, Gilda Aparecida de |
| Membros da banca: | Costa, Tatiana Alves Fonseca, George Henrique Godim da Assis, Gilda Aparecida de |
| Palavras-chave: | Software - testes Software - confiabilidade Engenharia de software |
| Data do documento: | 2018 |
| Referência: | BARBOSA, Cintia Franciele Leite. Estudo comparativo do teste de software Concolic. 2018. 129 f. Monografia (Graduação em Engenharia de Computação) - Instituto de Ciências Exatas e Aplicadas, Universidade Federal de Ouro Preto, João Monlevade, 2018. |
| Resumo: | O teste de software é a principal técnica usada na indústria de software para comprovar a confiabilidade, a segurança e a robustez do software. O teste compreende uma fase dispendiosa e trabalhosa do processo de software, podendo corresponder a até 50% do custo total do desenvolvimento. Esse alto impacto do teste, no processo de desenvolvimento de software, faz com que surjam buscas de novas ferramentas visando minimizar o custo de testes e preservar a qualidade. Baseado nisso, uma nova técnica de verificação de software híbrido foi desenvolvida, combinando execução simbólica, técnica clássica que trata variáveis de programa como variáveis simbólicas, ao longo de um caminho de execução concreta (teste em entradas particulares). A técnica é chamada de execução concolic e busca aproveitar os pontos fortes da execução simbólica e concreta. Dessa forma, o presente trabalho realiza um estudo sobre geração automática de testes concolic e levantamento de ferramentas que aplicam esse tipo de teste. É apresentada a ferramenta jCUTE como foco de demonstração e funcionamento do teste concolic, além da comparação desta ferramenta com o JUnit, ferramenta de teste caixa branca que realiza testes unitários. |
| Resumo em outra língua: | Software testing is the primary technique used in the software industry to prove the reliability, security, and robustness of the software. The test comprises an expensive and laborious phase of the software process, accounting for up to 50% of the total development cost. This high impact of the test, in the software development process, causes new tool searches to be sought to minimize the cost of testing and preserve quality. Based on this, a new hybrid software verification technique has been developed, combining symbolic execution, classical technique that treats program variables as symbolic variables, along a concrete execution path (test in particular inputs). The technique is called concolic execution and seeks to take advantage of the strengths of symbolic and concrete execution. Thus, the present work performs a study on automatic generation of concolic tests and survey of tools that apply this type of test. The jCUTE tool is presented as the focus of demonstration and operation of the concolic test, in addition to the comparison of this tool with the jUnit, white box test tool that performs unit tests. |
| URI: | http://www.monografias.ufop.br/handle/35400000/2082 |
| Aparece nas coleções: | Engenharia de Computação - JMV |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| MONOGRAFIA_EstudoComparativoTeste.pdf | 6,67 MB | Adobe PDF | Visualizar/Abrir |
Este item está licenciado sob uma Licença Creative Commons
