BDBComp
Parceria:
SBC
Automatic Test Generation

Patricia D. L. MachadoDalton GuerreroJorge Figueiredo

The goal of this course is to introduce basic concepts, techniques and tools for the automatic generation of functional tests from models and property specifications of a software. Automatic test generation can contribute to the feasibility, productivity, effectiveness and reliability in processes of test, besides providing a link between code and other development artifacts, promoting their reuse. This activity is normally executed with the support of specialized tools, based on the application of theory and methods of formal testing. The focus will be on UML models and on programs written in Java.

http://www.lbd.dcc.ufmg.br/colecoes/sbmf/2005/018.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD