|
Meteor is a generic functional coverage tool developed by IBM Haifa Research Laboratory. Given a set of trace files as input, it can measure and analyze the coverage properties of these traces against user defined coverage models. Because trace files may come from any number of sources (test generators, simulation runs, application executions, etc.), Meteor is capable of doing coverage at any level of the system: architecture, micro-architecture, or implementation.
Meteor is used to achieve a level of confidence for generated test cases or simulation results. It can analyze and report on the accumulated coverage data, including which tasks have been covered, where there are coverage holes in the model, which illegal tasks have been generated, and the progress of coverage over time. In addition, Meteor can be used to create a regression trace suite for subsequent verification runs.
Meteor is used in IBM for architecture and micro-architecture testing of PowerPC, System S390, and SOC designs.
| 
