System and method for using a shared standard expectation computation library to implement compliance tests with annotation based standard

摘要

A system and method can implement compliance tests with annotation based standards using a model library. The model library encapsulates expectation computation logic described in one or more annotation based assertions. A compliance test can obtain an actual value for one or more software properties based on evaluating a source file that contains one or more annotations that is defined by the one or more annotation based assertions, and can determine an expected value for the one or more software properties using the model library. Then, the compliance test can compare the actual value for the one or more software properties with the expected value for the one or more software properties.

主权项

1. A method for supporting compliance tests on one or more microprocessors, comprising:
obtaining an actual value for a property of a software component by parsing a description file, wherein the description file includes a plurality of properties used to configure the software component, wherein the software component is defined by a plurality of annotations in a source file, each said annotation associated with an assertion providing the source file as an input to a model library, wherein the model library encapsulates logic to determine expected values for assertions associated with the plurality of annotations contained in the source file; determining an expected value for the software component property using the model library; and comparing the actual value with the expected value for the software component property.