Method and system for generating a computer program test suite u

Patent

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

G06F 1100

Patent

active

057845530

ABSTRACT:
A method and system for generating a test suite for a computer program written in the JAVA programming language. The JAVA program comprises program statements and program variables represented as JAVA source code and compiled by a JAVA compiler into JAVA bytecodes, 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 a pth in the program. 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 that depend on them 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 obtained using dynamic symbolic execution. The trial set of inputs are stored into the test suite if coverage of the candidate code block was obtained. A dynamic symbolic execution consists of a symbolic execution of the program performed along the path that corresponds to the trial set of actual inputs. The first input to the program is generated randomly. From that first input, inputs satisfying any coverage criteria can be obtained by performing the above procedure iteratively.

REFERENCES:
patent: 5555201 (1996-09-01), Dangelo et al.
patent: 5651111 (1997-07-01), McKeeman et al.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

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.

Rate now

     

Profile ID: LFUS-PAI-O-1656175

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.