Boots – shoes – and leggings
Patent
1996-02-12
1998-06-02
Canney, Vincent P.
Boots, shoes, and leggings
36426791, G06F 1100
Patent
active
057614083
ABSTRACT:
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.
REFERENCES:
patent: 5050168 (1991-09-01), Paterson
patent: 5581696 (1996-12-01), Kolawa et al.
Ince, "The Automatic Generation of Test Data," The Computer Journal, vol. 30, No. 1, 1987, pp. 63-69.
Korel, "Automated Software Test Data Generation," IEEE Transactions on software Engineering, vol. 16, No. 8, Aug. 1990, pp. 870-879.
Korel, "PELAS--Program Error-Locating Assistant System," IEEE Transactions on Software Engineering, vol. 14, No. 9, Sep. 1988, pp. 1253-1260.
Laski et al., "A Data Flow Oriented Program Testing Strategy," IEEE Transactions on Software Engineering, vol. SE-9, No. 3, May 1983, pp. 347-354.
Offutt, "An Integrated Automatic Test Data Generation System," Journal of Systems Integration, 1, 391-409 (1991), pp. 129-147.
Hicken Wendell T.
Kolawa Adam K.
Salvador Roman
Strickland Bryan R.
Canney Vincent P.
Parasoft Corporation
LandOfFree
Method and system for generating a computer program test suite u does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and system for generating a computer program test suite u, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for generating a computer program test suite u will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1471116