Mark D Decker

US Patent:

6782518, Aug 24, 2004

Filed:

Mar 28, 2002

Appl. No.:

10/109502

Inventors:

Mark H. Decker - Rhinebeck NY

Assignee:

International Business Machines Corporation - Armonk NY

International Classification:

G06F 1750

US Classification:

716 5, 716 4, 703 13, 714741

Abstract:

An exemplary embodiment of the invention relates to a system and method for facilitating coverage feedback testcase generation reproducibility. The system comprises: a testcase generator comprising an instruction generator and an instruction simulator; an internal coverage domain accessible to the testcase generator, a regeneration file storing updated testcase data; and a temporary holding structure. The internal coverage domain comprises: coverage domain elements; a session component; and a prior cumulative history component. Upon generating a testcase by the testcase generator, a regeneration file is constructed utilizing testcase data updates acquired during execution of the testcase. The updates are provided by the temporary holding structure. The invention also comprises a method and storage medium.

US Patent:

7140003, Nov 21, 2006

Filed:

Feb 14, 2003

Appl. No.:

10/367332

Inventors:

Mark H. Decker - Rhinebeck NY, US

Assignee:

International Business Machines Corporation - Armonk NY

International Classification:

G06F 94/04
G06F 9/45

US Classification:

717106, 717114, 717143

Abstract:

A method for specifying a set of instructions selectable for generation by an instruction generator is disclosed. A class name representative of a class of instructions is identified and concatenated with a unique identifier label, thereby defining a unique singleton meta-mnemonic representative of a set of instructions. The class of instructions and the set of instructions are subsets of the instruction set of the processor. The resulting singleton meta-mnemonic specifies the set of instructions available for selection and generation by the instruction generator.

US Patent:

7240243, Jul 3, 2007

Filed:

Mar 28, 2002

Appl. No.:

10/113319

Inventors:

Mark H. Decker - Rhinebeck NY, US

Assignee:

International Business Machines Corporation - Armonk NY

International Classification:

G06F 11/00

US Classification:

714 33, 714 32, 714 37, 714 41, 714741, 717143

Abstract:

The invention relates to a system and method for facilitating programmable coverage domains for test case generation, feedback, and measurement. The system comprises a domain definition input file; user-defined coverage domain data entered into the domain definition input file; and a parser operable for translating the user-defined coverage domain data into machine-readable computer program code. The system further includes an internal coverage domain comprising: a union of enabled coverage domains extracted from the user-defined coverage domain data; a session component comprising a session update count for each domain element; and a history component comprising a history update count for each domain element. The system further comprises a testcase generator including an internal coverage feedback and measurement system. The testcase generator comprises an instruction generator operable for generating instructions for use in a testcase and an instruction simulator operable for simulating execution of the instructions.

US Patent:

7409592, Aug 5, 2008

Filed:

Jun 14, 2004

Appl. No.:

10/867302

Inventors:

Mark H. Decker - Rhinebeck NY, US

Assignee:

International Business Machines Corporation - Armonk NY

International Classification:

G06F 11/00

US Classification:

714 25

Abstract:

An exemplary embodiment of the invention relates to a system for facilitating coverage feedback testcase generation reproducibility. The system comprises a domain definition input file for defining a coverage domain element and an internal coverage domain data store in communication with the domain definition input file. The internal coverage domain data store stores domain definitions collected from the domain definition input file as well as updates made to the coverage domain element. The system also includes a test case generator in communication with the internal coverage domain data store. The test case generator generates testcases. The system also includes a pseudo-random generated seed assigned to a successfully generated testcase. The successfully generated testcase is replicated without generating each prior testcase utilizing the pseudo-random generated seed. The replication includes an initial coverage state for the successfully generated testcase.