Orientação a objeto: definição, implementação e análise de recursos de teste e validação

Autor(es)

Auri Marcelo Rizzo Vincenzi

• Tipo de documento: Tese de Doutorado
• Imprenta: São Carlos. , ilustrações, tabelas.
• Instituição: Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB)
• Data de defesa: 2004-05-05

Membros da banca

Jose Carlos Maldonado; Márcio Eduardo Delamaro; Mario Jino; Eliane Martins; Ana Maria de Alencar Price

• Orientador: Jose Carlos Maldonado; Márcio Eduardo Delamaro
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação
• Indexada em: Banco de Dados Bibliográficos da USP-DEDALUS; Biblioteca Digital de Teses e Dissertações - USP
• Localização: Universidade de São Paulo. Instituto de Ciências Matemáticas e de Computação. Biblioteca Prof. Achille Bassi; T; V775oo

Resumo

O desenvolvimento de software baseado no paradigma Orientado a Objetos (OO) e baseado em componentes é uma realidade. Este trabalho trata de teste e validação dentro desse contexto. Observa-se que diversos trabalhos relacionados ao teste de programas OO vêm sendo desenvolvidos. Apesar de ser um ponto controverso, alguns pesquisadores consideram que critérios de teste desenvolvidos para o teste de programas procedimentais podem ser facilmente estendidos para o teste de programas OO, pelo menos para o teste de métodos. Ainda são poucas as iniciativas de estender critérios de fluxo de dados e critérios baseados em mutação, tradicionalmente utilizados no teste de programas procedimentais, para o teste de programas OO. O presente trabalho visa a contribuir na identificação e definição de recursos de teste e validação que possam ser utilizados no teste de programas OO, com ênfase nos critérios de teste baseados em fluxo de dados e em mutação, cobrindo as fases do teste de unidade e de integração. Além disso, para apoiar a aplicação desses critérios, é de fundamental importância o desenvolvimento de ferramentas automatizadas que permitam a realização de estudos comparativos e a transferência tecnológica para a indústria. Em suma, o presente trabalho traz contribuições teóricas, com a definição de critérios de teste; empírica, com a realização de estudos empíricos; e de automatização, com a definição e implementação de um ambiente integrado de teste e validação para programas OO. Exemplos são utilizados para ilustrar as idéias e ferramentas apresentadas neste trabalho. (AU)

• Processo FAPESP: 98/16492-8 - Definicao e analise de recursos de teste e validacao no contexto de producao de software no brasil.
• Beneficiário: Auri Marcelo Rizzo Vincenzi
• Modalidade de apoio: Bolsas no Brasil - Doutorado