Volume 5 : Number 1 : Paper 3
June 2002 Special Issue of Best Papers presented at First Iberoamerican Conference on Software Engineering and Knowledge Engineering, ICSEKE 2001. Guest Editors: Juan Carlos Augusto, U. of Southampton, Silvia Teresita Acuna
Title:
PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools

Authors and Affiliations:
Adenilso da Silva Simao,
Jose Carlos Maldonado,
Maria Carolina Monard,
Tatiana Sugeta, Universidade de Sao Paulo Instituto de Ciencias Matematicas e de Computacao Sao Carlos - Sao Paulo - Brazil P.O. Box 668 ZIP Code 13560-970 Fone: ++55 (16) 273-9669 Fax: ++55 (16) 273-9751

Abstract:
Structured testing criteria are usually used to assess the adequacy of test case sets, defining coverage measures. Control and data flow based criteria employ information about the program graph as well as definition and usage of variables to establish the testing requirements. In this paper, we present an approach to prototype supporting tools for control and data flow based criteria. In the proposed approach, we use TXL - a language based in the transformational paradigm - to analyze and instrument the program under test. The instrumentation aims at making it possible to process the data by a Prolog program which allows the tester to assess the test case set adequacy. A simple example is used to illustrate the main ideas of our approach.


Received October 2001, Revised March 2002
Full paper, 15 pages [ PDF, 419 Kb ]