|
Published Articles >> Table of Contents >> Abstract
16th IEEE International Conference on Automated Software Engineering (ASE'01)
p. 13
Automatic Test Data Generation for Programs with Integer and Float Variables
Nguyen Tran Sy, Université catholique de Louvain
Yves Deville, Université catholique de Louvain
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989786
Send link to a friend
| Abstract |
|
This paper presents a novel approach for automated test
data generation of imperative programs containing integer,
boolean and/or float variables. Our approach is based on
consistency techniques integrating integer and float variables.
We handle statement, branch and path coverage criteria.
Our purpose is thus to automatically generate test
data that will cause the program to execute a statement,
to traverse a branch or to traverse a specified path. For
path coverage, the specified path is transformed into a path
constraint which is solved by an interval-based constraint
solving algorithm handling integer, boolean and real variables.
A valid test input is then extracted from the interval
solutions. For statement (and branch) coverage, a path
reaching the specified statement or branch is dynamically
constructed. Our algorithm for path coverage is then applied.
The search for a suitable path and the solving of
path constraints make an extensive use of consistency techniques.
We propose here a simple consistency notion, called
eBox consistency, generalizing box consistency to integer
and float variables. The eBox consistency is sufficient for
our purpose. A prototype has been developed and experimental
results show the feasibility of our approach. This
work is an extension of [10] for float and boolean variables.
|
 Additional Information
|
Index Terms- software testing, test data generation, constraint
satisfaction, consistency
Citation:
Nguyen Tran Sy, Yves Deville,
"Automatic Test Data Generation for Programs with Integer and Float Variables,"
ase,
p. 13,
16th IEEE International Conference on Automated Software Engineering (ASE'01),
2001
|
|
