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 / 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.
| Identifer | oai:union.ndltd.org:IBICT/oai:tede2.pucrs.br:tede/5116 |
| Date | 12 March 2010 |
| Creators | Viccari, Leonardo Davi |
| Contributors | Zorzo, Avelino Francisco |
| Publisher | Pontif?cia Universidade Cat?lica do Rio Grande do Sul, Programa de P?s-Gradua??o em Ci?ncia da Computa??o, PUCRS, BR, Faculdade de Inform?ca |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da PUC_RS, instname:Pontifícia Universidade Católica do Rio Grande do Sul, instacron:PUC_RS |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | 1974996533081274470, 500, 600, 1946639708616176246 |
Page generated in 0.0022 seconds