Data Generation for Path Testing

  • Authors:

  • Nashat Mansour;Miran Salame

  • Affiliations:

  • Division of Computer Science and Mathematics, Lebanese American University, Mme Curie st., Beirut, Lebanon 1102-2801 nmansour@lau.edu.lb;Division of Computer Science and Mathematics, Lebanese American University, Mme Curie st., Beirut, Lebanon 1102-2801 and Department of Biometry and Epidemiology, Medical University of South Caroli ...

  • Venue:
  • Software Quality Control
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present two stochastic search algorithms for generating test cases that execute specified paths in a program. The two algorithms are: a simulated annealing algorithm (SA), and a genetic algorithm (GA). These algorithms are based on an optimization formulation of the path testing problem which include both integer- and real-value test cases. We empirically compare the SA and GA algorithms with each other and with a hill-climbing algorithm, Korel's algorithm (KA), for integer-value-input subject programs and compare SA and GA with each other on real-value subject programs. Our empirical work uses several subject programs with a number of paths. The results show that: (a) SA and GA are superior to KA in the number of executed paths, (b) SA tends to perform slightly better than GA in terms of the number of executed paths, and (c) GA is faster than SA; however, KA, when it succeeds in finding the solution, is the fastest.