| Compartilhe o registro |
|
Exportar este item:
Use este identificador para citar ou linkar para este item:
https://tede2.pucrs.br/tede2/handle/tede/5116| Tipo do documento: | Dissertação |
| Título: | Automacao de teste de software atraves de linhas de produtos e testes baseados em modelos |
| Autor: | Viccari, Leonardo Davi  |
| Primeiro orientador: | Zorzo, Avelino Francisco |
| Resumo: | 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. |
| Palavras-chave: | INFORMÁTICA ENGENHARIA DE SOFTWARE SOFTWARE - AVALIAÇÃO UML (INFORMATICA) |
| Área(s) do CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| Idioma: | por |
| País: | BR |
| Instituição: | Pontifícia Universidade Católica do Rio Grande do Sul |
| Sigla da instituição: | PUCRS |
| Departamento: | Faculdade de Informáca |
| Programa: | Programa de Pós-Graduação em Ciência da Computação |
| Citação: | 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. |
| Tipo de acesso: | Acesso Aberto |
| URI: | http://tede2.pucrs.br/tede2/handle/tede/5116 |
| Data de defesa: | 12-Mar-2010 |
| Aparece nas coleções: | Programa de Pós-Graduação em Ciência da Computação |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| 427824.pdf | Texto Completo | 1,06 MB | Adobe PDF |  Baixar/Abrir Pré-Visualizar |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.