Full text
| |
| Author(s): |
Auri Marcelo Rizzo Vincenzi
Total Authors: 1
|
| Document type: | Doctoral Thesis |
| Press: | São Carlos. , ilustrações, tabelas. |
| Institution: | Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) |
| Defense date: | 2004-05-05 |
| Examining board members: |
Jose Carlos Maldonado;
Márcio Eduardo Delamaro;
Mario Jino;
Eliane Martins;
Ana Maria de Alencar Price
|
| Advisor: | Jose Carlos Maldonado; Márcio Eduardo Delamaro |
| Field of knowledge: | Physical Sciences and Mathematics - Computer Science |
| Indexed in: | Banco de Dados Bibliográficos da USP-DEDALUS; Biblioteca Digital de Teses e Dissertações - USP |
| Location: | Universidade de São Paulo. Instituto de Ciências Matemáticas e de Computação. Biblioteca Prof. Achille Bassi; T; V775oo |
| Abstract | |
The 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 mutation-based 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; empirical -- with 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. (AU) | |