초록 ▼

A method and system for generating a test suite for a computer program. The computer program comprises program statements and program variables, including at least one input statement having one or more input variables, that are grouped into code blocks and stored in a program database. The test sui

A method and system for generating a test suite for a computer program. The computer program comprises program statements and program variables, including at least one input statement having one or more input variables, that are grouped into code blocks and stored in a program database. The test suite comprises sets of inputs. Each of the sets of inputs corresponds to each of the input statements. The program statements corresponding to a candidate code block are read from the program database. Each of the input variables for each input statement and each of the program variables are represented in symbolic form as a symbolic memory value and transforming each program statement dependent on such an input variable into a symbolic expression. A trial set of inputs for each of the input statements is created by finding a solution to the symbolic expression comprising actual input values corresponding to each symbolic memory value using dynamic symbolic exeuction. An execution run of the computer program is performed using the trial set of inputs and analyzing results obtained from the execution run for coverage of the candidate code block. The trial set of inputs are stored into the test suite if coverage of the candidate code block was obtained.

대표청구항 ▼

[ What is claimed is:] [1.] A method using a computer for generating a test suite for a computer program, the computer program comprising program statements and program variables, including at least one input statement having one or more input variables, grouped into code blocks and stored in a prog

[ What is claimed is:] [1.] A method using a computer for generating a test suite for a computer program, the computer program comprising program statements and program variables, including at least one input statement having one or more input variables, grouped into code blocks and stored in a program database, the test suite comprising sets of inputs, each of the sets of inputs corresponding to each of the input statements, comprising the steps of:reading the program statements corresponding to a candidate code block from the program database;representing each of the input variables for each input statement and each of the program variables in symbolic form as a symbolic memory value and transforming each program statement dependent on such an input variable into a symbolic expression;creating a trial set of inputs for each of the input statements by finding a solution to the symbolic expression comprising actual input values corresponding to each symbolic memory value using dynamic symbolic exeuction;performing an execution run of the computer program using the trial set of inputs and analyzing results obtained from the execution run for coverage of the candidate code block; andstoring the trial set of inputs into the test suite if coverage of the candidate code block was obtained.