Generation of Test Data Structures Using Constraint Logic Programming

  • Valerio Senni
  • Fabio Fioravanti
Conference paper

DOI: 10.1007/978-3-642-30473-6_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7305)
Cite this paper as:
Senni V., Fioravanti F. (2012) Generation of Test Data Structures Using Constraint Logic Programming. In: Brucker A.D., Julliand J. (eds) Tests and Proofs. TAP 2012. Lecture Notes in Computer Science, vol 7305. Springer, Berlin, Heidelberg

Abstract

The goal of Bounded-Exhaustive Testing (BET) is the automatic generation of all the test cases satisfying a given invariant, within a given bound. When the input has a complex structure, the development of correct and efficient generators becomes a very challenging task. In this paper we use Constraint Logic Programming (CLP) to systematically develop generators of structurally complex test data.

Similarly to filtering-based test generation, we follow a declarative approach which allows us to separate the issue of (i) defining the test structure and invariant, from that of (ii) generating admissible test input instances. This separation helps improve the correctness of the developed test case generators. However, in contrast with filtering approaches, we rely on a symbolic representation and we take advantage of efficient search strategies provided by CLP systems for generating test instances.

Through some experiments on examples taken from the literature on BET, we show that CLP, by combining the use of constraints and recursion, allows one to write intuitive and easily understandable test generators. We also show that these generators can be much more efficient than those built using ad-hoc filtering-based test generation tools like Korat.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Valerio Senni
    • 1
  • Fabio Fioravanti
    • 2
  1. 1.DISPUniversity of Rome Tor VergataRomeItaly
  2. 2.Dipartimento di ScienzeUniversity ‘G. D’Annunzio’PescaraItaly

Personalised recommendations