Um metodo de testes para componentes tolerantes a falhas

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T04:49:59Z (GMT). No. of bitstreams: 1
Rocha_CamilaRibeiro_M.pdf: 20985604 bytes, checksum: 50cbb47532e2d8ee64f537135b9d8b89 (MD5)
Previous issue date: 2005 / Resumo: Componentes de software são cada vez mais utilizados no desenvolvimento de sistemas computacionais, incluindo sistemas críticos, dados os benefícios de redução de custo e tempo de desenvolvimento através da reutilização de código. A garantia da qualidade, porém, continua dependente da realização de testes a cada novo contexto, e é dificultada especialmente pela falta de conhecimento sobre o funcionamento do componente. O método proposto tem como foco principal componentes tolerantes a falhas, e busca facilitar a realização de testes caixa preta que exercitem tanto o comportamento normal quanto o comportamento excepcional do componente. O método é voltado para a construção de componentes testáveis, apresentando diretrizes para inclusão de mecanismos de monitoração e de verificação dos contratos dos componentes, mesmo sem a presença de código fonte, com a utilização de programação orientada a aspectos. Para a geração automática de drivers e stubs, são utilizados modelos comportamentais do componente, no formato do diagrama de atividade da linguagem UML. O método de testes pode ser usado paralelamente ao método de desenvolvimento. No trabalho é apresentado o uso do método em conjunto com o Método para Definição do Comportamento Excepcional (MDCE+), proposto em outra dissertação de mestrado do Instituto de Computação da Unicam / Abstract: Nowadays software components are widely used in software development, including critical systems, because of advantages such as time and cost reduction through code reuse.However, quality assurance, although, is still dependent on test execution at every new utilization context of the component, and usually faces difficulties specially related to lack of knowledge about component details. The test method proposed focuses fault-tolerant components, facilitating black-box testing of both normal and exceptional behavior. Aiming testable components development, the method proposed presents guidelines for inclusion of tracking and contract checking mechanisms, source code independently, using aspect-oriented programming. Drivers and stubs are automatically generated from component behavior models, in UML activity diagram form. The test method can be used together with a development method. In this work, the test method use is presented in parallel to Method for the Definition of Exceptional Behavior, proposed in a Master¿s thesis of the Institute of Computing at Unicam / Mestrado / Mestre em Ciência da Computação

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/276220
Date23 November 2005
CreatorsRocha, Camila Ribeiro
ContributorsUNIVERSIDADE ESTADUAL DE CAMPINAS, Martins, Eliane, 1955-, Oliveira, Flavio Moreira de, Rubira, Cecília Mary Fischer, Toledo, Maria Beatriz Felgar de
Publisher[s.n.], Universidade Estadual de Campinas. Instituto de Computação, Programa de Pós-Graduação em Ciência da Computação
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format133p. : il., application/octet-stream
Sourcereponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0025 seconds