Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2005-08-16
2005-08-16
Khatri, Anil (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S126000, 91
Reexamination Certificate
active
06931627
ABSTRACT:
A computer program embodied on a computer readable medium is provided for combinatorial test generation. The computer program includes a code segment that obtains an assertion, wherein the assertion includes a plurality of assertion variables, and a code segment that generates a slot tree having a plurality of nodes, wherein the slot tree represents the assertion variables of the obtained assertion. Further included is a code segment that processes the nodes of the slot tree to generate tests for the assertion. As above, the slot tree can comprise a plurality of leaf slot nodes that represent the actual assertion variables, each leaf slot node including a value set for the assertion variable that the leaf slot node represents. The slot tree can also include a plurality of non-leaf slot nodes that are capable of referencing other nodes, wherein the other nodes can be leaf slot nodes and non-leaf slot nodes.
REFERENCES:
patent: 5701487 (1997-12-01), Arbouzov
patent: 5854932 (1998-12-01), Mariani et al.
patent: 5867710 (1999-02-01), Dorris et al.
patent: 5910958 (1999-06-01), Jay et al.
patent: 6256777 (2001-07-01), Ackerman
patent: 6577982 (2003-06-01), Erb
patent: 6671875 (2003-12-01), Lindsey et al.
patent: 6708324 (2004-03-01), Solloway et al.
patent: 6728949 (2004-04-01), Bryant et al.
patent: 6760907 (2004-07-01), Shaylor
patent: 6842893 (2005-01-01), Sangavarapu et al.
patent: 6865730 (2005-03-01), Burke et al.
patent: 0 834 810 (1998-08-01), None
Wah et al, “The status of manip a multicomputer architecture for solving combinatorial extremum search problems”, IEEE, pp 56-63, 1984.
Korel et al, “Assertion orinted automated test data genertaion,”, IEEE, pp 71-80, 1996.
Neary et al, “Advanced egar scheduling for Java based adaptively parallel computing”, ACM JHI, pp 56-65, Nov. 3-5, 2002.
Sullivan et al, “Software assurance by nounded exhaustive testing”, ACM ISSTA, pp 133-142, Jul. 11-14, 2004.
Gotlieb, A. et al.: “Automatic Test Data Generation Using Constraint Solving Techniques” Software Engineering Notes, Association for Computing Machinery. New York, US, vol. 23, No. 2, Mar. 1, 1998 , pp. 53-62, XP000740946 ISSN:0163-5948 abstract pp. 57, col. 1, paragraph 4.
Arbouzov Leonid M.
Bobrovsky Konstantin S.
Khatri Anil
Martine & Penilla & Gencarella LLP
Sun Microsystems Inc.
LandOfFree
System and method for combinatorial test generation in a... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System and method for combinatorial test generation in a..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for combinatorial test generation in a... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3479710