Share record |
![]() ![]() |
Please use this identifier to cite or link to this item:
https://tede2.pucrs.br/tede2/handle/tede/5116
Document type: | Dissertação |
Title: | Automacao de teste de software atraves de linhas de produtos e testes baseados em modelos |
Author: | Viccari, Leonardo Davi ![]() |
Advisor: | Zorzo, Avelino Francisco |
Abstract (native): | Com o crescimento da dependência de inúmeras atividades humanas por sistemas computacionais, cresce também a expectativa dos usuários, que querem não apenas a automação de processos, mas também crescentes qualidade e agilidade na entrega de informações e serviços. A forma mais difundida de garantia de cumprimento dos requisitos de um sistema é o teste de software. Apesar de trazerem indispensáveis benefícios ao processo de construção de software, os testes de software ainda são atividades extremamente manuais, repetitivas e, por vezes, artesanais. O uso de modelos formais para descrever o comportamento e a estrutura de um sistema são técnicas baseadas na matemática, comprovadas e aceitas, que em muito acrescentam na tarefa de caracterizar de forma precisa e não ambígua um sistema. A disciplina de testes baseados em modelos compreende uma técnica onde os testes a serem realizados são definidos automaticamente a partir do modelo da aplicação. Uma das formas de realizar as ideias presentes na técnica de testes baseados em modelos, tirando proveito do reuso de componentes similares de software a fim de diminuir o esforço sem perder qualidade é a engenharia de linha de produto de software. O presente trabalho busca aliar técnicas de geração de testes baseados em modelos formais a técnicas de engenharia de linha de produto de software, a fim de automatizar etapas manuais da geração e execução de casos de teste. Dessa forma, é proposta uma arquitetura baseada nos conceitos citados, e concretizada através da implementação de uma ferramenta baseada no conceito de plug-ins, a fim de validar a ideia proposta. |
Keywords: | INFORMÁTICA ENGENHARIA DE SOFTWARE SOFTWARE - AVALIAÇÃO UML (INFORMATICA) |
CNPQ Knowledge Areas: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
Language: | por |
Country: | BR |
Publisher: | Pontifícia Universidade Católica do Rio Grande do Sul |
Institution Acronym: | PUCRS |
Department: | Faculdade de Informáca |
Program: | Programa de Pós-Graduação em Ciência da Computação |
Citation: | VICCARI, Leonardo Davi. Automacao de teste de software atraves de linhas de produtos e testes baseados em modelos. 2010. 86 f. Dissertação (Mestrado em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre, 2010. |
Access type: | Acesso Aberto |
URI: | http://tede2.pucrs.br/tede2/handle/tede/5116 |
Issue Date: | 12-Mar-2010 |
Appears in Collections: | Programa de Pós-Graduação em Ciência da Computação |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
427824.pdf | Texto Completo | 1.06 MB | Adobe PDF | ![]() Download/Open Preview |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.