Patent ID: 7454680

Claim:
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.