PROLOG & TXL: A Case Study for Prototyping Structural Testing Supporting Tools

Authors

  • Tatiana Sugeta Universidade de Sao Paulo Instituto de Cieˆncias Matematicas e de Computacao Sao Carlos
  • Adenilso da Silva Simao Universidade de Sao Paulo Instituto de Cieˆncias Matematicas e de Computacao Sao Carlos
  • Jose Carlos Maldonado Universidade de Sao Paulo Instituto de Cieˆncias Matematicas e de Computacao Sao Carlos
  • Maria Carolina Monard Universidade de Sao Paulo Instituto de Cieˆncias Matematicas e de Computacao Sao Carlos

DOI:

https://doi.org/10.19153/cleiej.5.1.3

Keywords:

Testing Criteria, Testing Tool Prototyping, Prolog, Transformational Paradigm, Pascal

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.

Downloads

Published

2002-06-01

Issue

Vol. 5 No. 1 (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

Section

Articles

License

CLEIej is supported by its home institution, CLEI, and by the contribution of the Latin American and international researchers community, and it does not apply any author charges whatsoever for submitting and publishing. Since its creation in 1998, all contents are made publicly accesibly. The current license being applied is a (CC)-BY license (effective October 2015; between 2011 and 2015 a (CC)-BY-NC license was used).