Export this record: EndNote BibTex

Please use this identifier to cite or link to this item: http://tede2.pucrs.br/tede2/handle/tede/5116
Full metadata record
DC FieldValueLanguage
dc.creatorViccari, Leonardo Davi-
dc.creator.Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4771583T9por
dc.contributor.advisor1Zorzo, Avelino Francisco-
dc.contributor.advisor1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4782949D9por
dc.date.accessioned2015-04-14T14:49:29Z-
dc.date.available2011-01-04-
dc.date.issued2010-03-12-
dc.identifier.citationVICCARI, 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.urihttp://tede2.pucrs.br/tede2/handle/tede/5116-
dc.description.resumoCom 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.provenanceMade 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-12eng
dc.formatapplication/pdfpor
dc.thumbnail.urlhttp://tede2.pucrs.br:80/tede2/retrieve/15197/427824.pdf.jpg*
dc.languageporpor
dc.publisherPontifícia Universidade Católica do Rio Grande do Sulpor
dc.publisher.departmentFaculdade de Informácapor
dc.publisher.countryBRpor
dc.publisher.initialsPUCRSpor
dc.publisher.programPrograma de Pós-Graduação em Ciência da Computaçãopor
dc.rightsAcesso Abertopor
dc.subjectINFORMÁTICApor
dc.subjectENGENHARIA DE SOFTWAREpor
dc.subjectSOFTWARE - AVALIAÇÃOpor
dc.subjectUML (INFORMATICA)por
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOpor
dc.titleAutomacao de teste de software atraves de linhas de produtos e testes baseados em modelospor
dc.typeDissertaçãopor
Appears in Collections:Programa de Pós-Graduação em Ciência da Computação

Files in This Item:
File Description SizeFormat 
427824.pdfTexto Completo1.06 MBAdobe PDFThumbnail

Download/Open Preview


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.