Title: Automatic generation of test inputs for Mercury
Authors: Degrave, François
Schrijvers, Tom
Vanhoof, Wim
Issue Date: Jul-2008
Host Document: Pre-Proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation pages:104-120
Conference: Logic-Based Program Synthesis and Transformation edition:18 location:Valencia, Spain date:17-18 July, 2008
Abstract: In this work, we consider the automatic generation of test
inputs for Mercury programs. We use an abstract representation of a program that allows to reason about program executions as paths in a control-flow graph. Next, we define how such a path corresponds to a set of constraints whose solution defines input values for the predicate under test such that when the predicate is called with respect to these input values, the execution is guaranteed to follow the given path. In our approach, we use CHR to solve the constraints and generate the
corresponding test inputs. The method allows for algorithms constructing sets of paths (and hence the corresponding test inputs) guided by well-known test coverage criteria addressing structural properties of the code such as statement, branch or path coverage. The approach is similar to existing work for imperative languages, but has been considerably adapted to deal with the specificities of Mercury, such as symbolic data representation, predicate failure and non-determinism.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
lopstr2008_submission_10.pdfmain article Published 236KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.