Computer aided software testing using genetic algorithms

Research output: Contribution to conferencePaper

Abstract

Although it is well understood to be a generally undecidable problem, a number of attempts have been made over the years to develop systems to automatically generate test data. These approaches have ranged from early attempts at symbolic execution to more recent approaches based on, for example, dynamic data flow analysis or constraint satisfaction. Despite their variety (and varying degrees of success), all the systems developed have involved a detailed analysis of the program or system under test and have encountered problems (such as handling of procedure calls, efficiently finding solutions to systems of predicates and dealing with problems of scale) which have hindered their progress from research prototype to commercial tool. The approach described in this paper uses the ideas of Genetic Algorithms (GAs) to automatically develop a set of test data to achieve a level of coverage (branch coverage in this case). Using GAs neatly sidesteps many of the problems encountered by other systems in attempting to automatically generate test data.

Conference

Conference10th International Quality Week
CountryUnited States
CitySan Fransisco
Period27/05/9730/05/97

Fingerprint

Software testing
Genetic algorithms
Data flow analysis

Keywords

  • software testing
  • algorithms
  • genetic algorithms

Cite this

Roper, M. (1997). Computer aided software testing using genetic algorithms. Paper presented at 10th International Quality Week, San Fransisco, United States.
Roper, M. / Computer aided software testing using genetic algorithms. Paper presented at 10th International Quality Week, San Fransisco, United States.
@conference{7270f06f6fd54fab902bfaf6f0b59f79,
title = "Computer aided software testing using genetic algorithms",
abstract = "Although it is well understood to be a generally undecidable problem, a number of attempts have been made over the years to develop systems to automatically generate test data. These approaches have ranged from early attempts at symbolic execution to more recent approaches based on, for example, dynamic data flow analysis or constraint satisfaction. Despite their variety (and varying degrees of success), all the systems developed have involved a detailed analysis of the program or system under test and have encountered problems (such as handling of procedure calls, efficiently finding solutions to systems of predicates and dealing with problems of scale) which have hindered their progress from research prototype to commercial tool. The approach described in this paper uses the ideas of Genetic Algorithms (GAs) to automatically develop a set of test data to achieve a level of coverage (branch coverage in this case). Using GAs neatly sidesteps many of the problems encountered by other systems in attempting to automatically generate test data.",
keywords = "software testing, algorithms, genetic algorithms",
author = "M. Roper",
year = "1997",
language = "English",
note = "10th International Quality Week ; Conference date: 27-05-1997 Through 30-05-1997",

}

Roper, M 1997, 'Computer aided software testing using genetic algorithms' Paper presented at 10th International Quality Week, San Fransisco, United States, 27/05/97 - 30/05/97, .

Computer aided software testing using genetic algorithms. / Roper, M.

1997. Paper presented at 10th International Quality Week, San Fransisco, United States.

Research output: Contribution to conferencePaper

TY - CONF

T1 - Computer aided software testing using genetic algorithms

AU - Roper, M.

PY - 1997

Y1 - 1997

N2 - Although it is well understood to be a generally undecidable problem, a number of attempts have been made over the years to develop systems to automatically generate test data. These approaches have ranged from early attempts at symbolic execution to more recent approaches based on, for example, dynamic data flow analysis or constraint satisfaction. Despite their variety (and varying degrees of success), all the systems developed have involved a detailed analysis of the program or system under test and have encountered problems (such as handling of procedure calls, efficiently finding solutions to systems of predicates and dealing with problems of scale) which have hindered their progress from research prototype to commercial tool. The approach described in this paper uses the ideas of Genetic Algorithms (GAs) to automatically develop a set of test data to achieve a level of coverage (branch coverage in this case). Using GAs neatly sidesteps many of the problems encountered by other systems in attempting to automatically generate test data.

AB - Although it is well understood to be a generally undecidable problem, a number of attempts have been made over the years to develop systems to automatically generate test data. These approaches have ranged from early attempts at symbolic execution to more recent approaches based on, for example, dynamic data flow analysis or constraint satisfaction. Despite their variety (and varying degrees of success), all the systems developed have involved a detailed analysis of the program or system under test and have encountered problems (such as handling of procedure calls, efficiently finding solutions to systems of predicates and dealing with problems of scale) which have hindered their progress from research prototype to commercial tool. The approach described in this paper uses the ideas of Genetic Algorithms (GAs) to automatically develop a set of test data to achieve a level of coverage (branch coverage in this case). Using GAs neatly sidesteps many of the problems encountered by other systems in attempting to automatically generate test data.

KW - software testing

KW - algorithms

KW - genetic algorithms

UR - http://www.soft.com/QualWeek/QW97/qw97.program.html

M3 - Paper

ER -

Roper M. Computer aided software testing using genetic algorithms. 1997. Paper presented at 10th International Quality Week, San Fransisco, United States.