Carleton University
Technical Report TR-07-03
February 1, 2007
Contract Evaluation Engine Software Development Kit
Dave Arnold
Abstract
The Contract Evaluation Engine Extension SDK provides a framework for creating user-defined static and dynamic checks. Such checks provide the basis for the construction of software contracts. Such contracts are used for software offshore outsourcing at a high-level, and for the implementation of the design-by-contract paradigm at a low-level. The SDK provides an API for performing static analysis against a compiled .NET assembly. The SDK also provides an API for analyzing and reporting on performance metrics gathered while executing the .NET assembly. The following document contains the complete API reference for both static and dynamic checks. Three tutorials for the creation of static and dynamic checks are provided.