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.
 
 
Highlights
The establishment of testing criteria is fundamental to achieve a systematic and high quality testing activity, causing a positive impact in the quality of the released software products
The prototype tool can be useful as an oracle, in the sense discussed by Weyuker [18], during the actual implementation
We present an approach to assist the prototyping of supporting tools for structural testing, and illustrate its application by prototyping a data flow based tool for Pascal
Summary
The establishment of testing criteria is fundamental to achieve a systematic and high quality testing activity, causing a positive impact in the quality of the. We present an approach to assist the prototyping of supporting tools for structural testing, and illustrate its application by prototyping a data flow based tool for Pascal. We can verify the adequacy of a test case set in relation to a given criterion by defining Prolog procedures, i.e., a set of clauses about the same relation (or predicate), that calculate and check the satisfaction of the criterion requirements This mechanism is usually simpler than developing a full tool. The structure of this paper is as follows: in Section 2 we present basic concepts, terminology and definitions related to the All-Uses criterion; in Section 3 we present the ProTesC approach, discuss its general architecture and illustrate its instantiation with Pascal.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
