TEDE PUCRS: Automacao de teste de software atraves de linhas de produtos e testes baseados em modelos
Please use this identifier to cite or link to this item: http://tede2.pucrs.br/tede2/handle/tede/5116
dc.creator Viccari, Leonardo Davi -
dc.creator.Lattes http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4771583T9 por
dc.contributor.advisor1 Zorzo, Avelino Francisco -
dc.contributor.advisor1Lattes http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4782949D9 por
dc.date.accessioned 2015-04-14T14:49:29Z -
dc.identifier.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. por
dc.identifier.uri http://tede2.pucrs.br/tede2/handle/tede/5116 -
dc.description.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. por
dc.description.provenance Made available in DSpace on 2015-04-14T14:49:29Z (GMT). No. of bitstreams: 1 427824.pdf: 1081749 bytes, checksum: c8c69e3ba36c9f3bab710bcbfe4774f4 (MD5) Previous issue date: 2010-03-12 eng
dc.thumbnail.url http://tede2.pucrs.br:80/tede2/retrieve/15197/427824.pdf.jpg *
dc.subject UML (INFORMATICA) por
dc.title Automacao de teste de software atraves de linhas de produtos e testes baseados em modelos por