On the Generation of Test Data for Prolog by Partial Evaluation

Details On the Generation of Test Data for Prolog by Partial Evaluation On the Generation of Test Data for Prolog by Partial Evaluation

2009-03-12

arxiv.org/abs/0903.2199v1

Computer Science

Programming Languages

Paper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008) (Report-No: WLPE/2008). Pap

Scientific paper

In recent work, we have proposed an approach to Test Data Generation (TDG) of imperative bytecode by partial evaluation (PE) of CLP which consists in two phases: (1) the bytecode program is first transformed into an equivalent CLP program by means of interpretive compilation by PE, (2) a second PE is performed in order to supervise the generation of test-cases by execution of the CLP decompiled program. The main advantages of TDG by PE include flexibility to handle new coverage criteria, the possibility to obtain test-case generators and its simplicity to be implemented. The approach in principle can be directly applied for TDG of any imperative language. However, when one tries to apply it to a declarative language like Prolog, we have found as a main difficulty the generation of test-cases which cover the more complex control flow of Prolog. Essentially, the problem is that an intrinsic feature of PE is that it only computes non-failing derivations while in TDG for Prolog it is essential to generate test-cases associated to failing computations. Basically, we propose to transform the original Prolog program into an equivalent Prolog program with explicit failure by partially evaluating a Prolog interpreter which captures failing derivations w.r.t. the input program. Another issue that we discuss in the paper is that, while in the case of bytecode the underlying constraint domain only manipulates integers, in Prolog it should properly handle the symbolic data manipulated by the program. The resulting scheme is of interest for bringing the advantages which are inherent in TDG by PE to the field of logic programming.

Affiliated with

Also associated with

No associations

Rating

On the Generation of Test Data for Prolog by Partial Evaluation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On the Generation of Test Data for Prolog by Partial Evaluation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the Generation of Test Data for Prolog by Partial Evaluation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-36727