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

Abstract

T HE development of Object-Oriented (OO) and component-based software is a reality. This work investigates software testing and validation in this context. Several studies related with OO testing have been carried out. In spite of being a controversial point, some researchers state that the procedural testing criteria can be easily extended to OO program testing, for instance to the testing of methods. There are few initiatives aiming at applying data-flow and mutationbased criteria, traditionally used for procedural testing, to the test of OO programs. The present work aims at contributing to identify and define resources for OO program testing and validation, considering data-flow and mutation based testing criteria, involving the unit and integration testing phases. An integrated environment for testing and validation has been developed to support the application of these criteria. This environment provides means to comparative studies amongst the criteria and to technology transfer processes. This work provides contributions to the following testing perspectives: theoretical -with the definition of testing criteria; empiricalwith the conduction of empirical studies; and to testing automation -with the specification and implementation of an integrated environment for testing and validation of OO programs. Examples are provided to illustrate the ideas and tools presented in this work. vii viii ix 1.3. ORGANIZAÇÃO DA TESE ¡¨ ¡ ¡¨ ¡ ¡¨ ¡ ¡

Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"

“…Outra contribuição do ponto de vista teóricoé a definição da linguagem MuDeL para a descrição de operadores de mutação. A MuDeLé um primeiro passo na direção (Vincenzi, 2004;Yano et al, 2004).…”

Teste estrutural de integração contextual de programas orientados a objetos e a aspectos

“…De forma específica, os objetivos desta dissertação são: (1) propor uma abordagem de teste de integração de programas OO e OA com a definição de um modelo de representação das unidades integradas e a definição de critérios de teste com base no modelo definido; (2) automatizar a abordagem proposta por meio do desenvolvimento de uma extensão da ferramenta JaBUTi/AJ (estendida da ferramenta JaBUTi (Vincenzi, 2004)) e que apoie a aplicação dos critérios de teste definidos na abordagem, bem como a utilização do modelo de representação proposto; e (3) definir e conduzir estudos que visem a fornecer evidências da aplicabilidade da abordagem com a avaliação de custo de aplicação dos critérios de teste estrutural de integração contextual para programas OO e OA.…”

“…Em seu trabalho, Harrold e Rothermel consideram a classe como a menor unidade a ser testada no teste de unidade de um programa OO. Entretanto, outros autores como Domingues (2001) e Vincenzi (2004) consideram os métodos como sendo a menor unidade a ser testada. Na Tabela 4.1 são sintetizados os tipos de teste de software OO que podem ser aplicados em cada uma das fases de teste considerando o método ou a classe como sendo a menor unidade.…”

“…Uma outra abordagem de teste estrutural de programas OOé proposta por Vincenzi (2004). O pesquisador apresenta o teste de fluxo de controle e fluxo de dados intramétodo considerando o método como a menor unidade do programa.…”

“…Com relação ao critério de fluxo de dados, Lemos revisou no contexto do teste de programas OA os critérios todos-usos, todos-usos-independentes-de-exceção e todos-usos-dependentes-deexceção e definiu um novo critério específico para programas OA denominado todosusos-transversais. Lemos também estendeu a ferramenta JaBUTi (Vincenzi, 2004) para apoiar o teste unitário de aspectos, implementando o grafo AODU e os critérios propostos. …”