Automatic Test Data Generation for Programs with Integer and Float Variables

  • Authors:

  • Nguyen Tran Sy;Yves Deville

  • Affiliations:

  • -;-

  • Venue:
  • Proceedings of the 16th IEEE international conference on Automated software engineering
  • Year:
  • 2001

Quantified Score

Hi-index 0.01

Visualization

Abstract

This paper presents a novel approach for automated testdata generation of imperative programs containing integer,boolean and/or float variables. Our approach is based onconsistency techniques integrating integer and float variables.We handle statement, branch and path coverage criteria.Our purpose is thus to automatically generate testdata that will cause the program to execute a statement,to traverse a branch or to traverse a specified path. Forpath coverage, the specified path is transformed into a pathconstraint which is solved by an interval-based constraintsolving algorithm handling integer, boolean and real variables.A valid test input is then extracted from the intervalsolutions. For statement (and branch) coverage, a pathreaching the specified statement or branch is dynamicallyconstructed. Our algorithm for path coverage is then applied.The search for a suitable path and the solving ofpath constraints make an extensive use of consistency techniques.We propose here a simple consistency notion, calledeBox consistency, generalizing box consistency to integerand float variables. The eBox consistency is sufficient forour purpose. A prototype has been developed and experimentalresults show the feasibility of our approach. Thiswork is an extension of [10] for float and boolean variables.