Widening the Goal Posts: Program Stretching to Aid Search Based Software Testing

Created by W.Langdon from gp-bibliography.bib Revision:1.3872

@InProceedings{GhaniC09,
  author =       "Kamran Ghani and John A. Clark",
  title =        "Widening the Goal Posts: Program Stretching to Aid
                 Search Based Software Testing",
  booktitle =    "Proceedings of the 1st International Symposium on
                 Search Based Software Engineering (SSBSE'09)",
  year =         "2009",
  address =      "Cumberland Lodge, Windsor, UK",
  month =        "13-15 " # may,
  publisher =    "IEEE",
  keywords =     "genetic algorithms, genetic programming, SBSE",
  DOI =          "doi:10.1109/SSBSE.2009.26",
  abstract =     "Search based software testing has emerged in recent
                 years as an important research area within automated
                 software test data generation. The general approach of
                 couching the satisfaction of test goals as numerical
                 optimisation problems has been applied to a variety of
                 problems such as satisfying structural coverage
                 criteria, specification falsification, exception
                 generation, breaking unit pre-conditions and software
                 hazard discovery. However, some test goals may be hard
                 to satisfy. For example, a program branch may be
                 difficult to reach via a search based technique,
                 because the domain of the data that causes it to be
                 taken is exceedingly small or the non-linearity of the
                 fitness landscape precludes the provision of effective
                 guidance to the search for test data. In this paper we
                 propose to stretch relevant conditions within a program
                 to make them easier to satisfy. We find test data that
                 satisfies the corresponding test goal of the stretched
                 program. We then seek to transform the stretched
                 program by stages back to the original, simultaneously
                 migrating the obtained test data to produce test data
                 that satisfies the goal for the original program. The
                 stretching device is remarkably simple and shows
                 significant promise for obtaining hard-to-find test
                 data and also gives efficiency improvements over
                 standard search based testing approaches.",
}

Genetic Programming entries for Kamran Ghani John A Clark

Citations