Patent Document ID: 20080255822
Application ID: 11735510
Patent Flag: 0

Claim One:
1. A method for automatically creating compliance test suites for a processor, comprising the steps of: constructing a generic model set for a plurality of implementations of a processor architecture, said generic model set comprising one or more parametric models being adapted to a model-based test generator, wherein said processor architecture permits selection among multiple options for said implementations, and said implementations each exhibit a respective alternative behavior corresponding to selected ones of said options; based on said generic model set, establishing specific model sets to correspond to said respective alternative behavior of said implementations by setting respective values of parameters for said parametric models; producing test specifications using said parametric models and said values; submitting said test specifications to said test generator; and generating respective architectural compliance test suites for said implementations with said test generator using said test specifications, wherein said test generator is cooperative with said parametric models using said values to predict expected outcomes in an execution of said respective architectural compliance test suites by said implementations.