Method, system and computer program product for improving efficiency in generating high-level coverage data for a circuit-testing scheme
AssigneeInternational Business Machines Corporation
InventorsSteven Robert Farago, Jason Raymond Baumgartner, Claude Karl Detjens, Anita Devadason
Life of this patent
Estimating the term…
Abstract
A method, system and computer program product for generating a coverage model to describe a testing scheme for a simulated system are described. In a preferred embodiment, a simulated system is tested with a testing simulation program. A simple event database is generated with the testing simulation program. Results of a checker analysis from the testing with the testing simulation program are obtained, and coverage data is created from a coverage model configuration file, the simple event database and the results of the checker analysis.
Claims15
A method of generating a coverage model to describe a testing scheme for a simulated system, said method comprising:
- testing a simulated system with a testing simulation program;
- generating a simple event database with said testing simulation program, said simple event database containing output result trace files and data for sorting said output result trace files by associated input simple events and time fields associated with said input simple events;
- obtaining results of a checker analysis from said testing with said testing simulation program;
- and
- creating coverage data, said coverage data including coverage events, wherein a coverage event comprises an n-tuple of simple events, from said simple event database, said results of said checker analysis, and a coverage model configuration file, said coverage model configuration file including a coverage model specification that specifies rules for forming and formatting coverage events from simple events contained in said simple event database, wherein creating said coverage data includes;
- identifying attributes in said coverage model configuration file;
- identifying possible values for each attribute;
- creating a simple event list for each distinct combination of attribute values;
- populating said simple event lists with simple events;
- and,
- forming coverage events from said simple event lists.
A system for generating a coverage model to describe a testing scheme for a simulated system, said method comprising:
- means for testing a simulated system with a testing simulation program;
- means for generating a simple event database with said testing simulation program, said simple event database containing output result trace files and data for sorting said output result trace files by associated input simple events and time fields associated with said input simple events;
- means for obtaining results of a checker analysis from said testing with said testing simulation program;
- and
- means for creating coverage data, said coverage data including coverage events, wherein a coverage event comprises an n-tuple of simple events, from said simple event database, said results of said checker analysis, and a coverage model configuration file, said coverage model configuration file including a coverage model specification that specifies rules for forming and formatting coverage events from simple events contained in said simple event database, wherein said means for creating said coverage data includes;
- means for dentifying attributes in said coverage model configuration file;
- means for identifying possible values for said attributes;
- means for creating a simple event list for each distinct combination of attribute values;
- means for populating said simple event lists with simple events from said simple event database;
- and,
- means for forming coverage events from said simple event lists.
A computer program product in a computer-readable storage medium for generating a coverage model to describe a testing scheme for a simulated system, said computer program product comprising:
- a computer-readable storage medium;
- instructions on said computer-readable medium for testing a simulated system with a testing simulation program;
- instructions on said computer-readable storage medium for generating a simple event database with said testing simulation program, said simple event database containing output result trace files and data for sorting said output result trace files by associated input simple events and time fields associated with said input simple events;
- instructions on said computer-readable storage medium for obtaining results of a checker analysis from said testing with said testing simulation program;
- and
- instructions on said computer-readable storage medium for creating coverage data, said coverage data including coverage events, wherein a coverage event comprises an n-tuple of simple events, from said simple event database, said results of said checker analysis, and a coverage model configuration file, said coverage model configuration file including a coverage model specification that specifies rules for forming and formatting coverage events from simple events contained in said simple event database, wherein said instructions on said computer-readable storage medium for creating said coverage data includes;
- instructions on said computer-readable storage medium for dentifying attributes in said coverage model configuration file;
- instructions on said computer-readable storage medium for identifying possible values for each attribute;
- instructions on said computer-readable storage medium for creating a simple event list for each distinct combination of attribute values;
- instructions on said computer-readable storage medium for populating said simple event lists with simple events;
- and,
- instructions on said computer-readable storage medium for forming coverage events from said simple event lists.
Dependencies are inferred from the claim text.