Title page for ETD etd-04052005-011913


Type of Document Master's Thesis
Author Haggard, Westley
URN etd-04052005-011913
Title nContract - Creating Configurable Run-Time Contract Verification for .NET Components
Degree Master of Science
Department Computer Science
Advisory Committee
Advisor Name Title
Edwards, Stephen H. Committee Chair
Balci, Osman Committee Member
Ribbens, Calvin J. Committee Member
Keywords
  • contract verification
  • .net components
  • design-by-contract
  • formal specification
  • component specification
Date of Defense 2005-03-21
Availability unrestricted
Abstract
The use of third-party components is helpful while writing complex software systems, but it can be difficult to debug software that interacts with third-party components. To address this problem, a mechanism for determining if one is using the component correctly would be beneficial. Reading component documentation may or may not help, depending on its clarity and precision. A formally specified contract for that component would be better, and would also allow run-time contract verification via assertions. The client of the component could enable these assertions during development and debugging, and then disable them for the final production release to increase performance.

This thesis presents nContract, a tool that provides configurable run-time contract verification without requiring component recompilation or source code access. nContract allows component developers to formally specify .NET components using attributes. This contract information is retrieved from the compiled component’s metadata and a subclass is generated for each formally specified type. All members of the component’s interface are overridden and contract assertions are wrapped around calls to the base class. As long as the component client uses a factory to create instances of the component’s types, the decision of whether or not to create assertion-checked or unchecked objects can be deferred until run-time.

Files
  Filename       Size       Approximate Download Time (Hours:Minutes:Seconds) 
 
 28.8 Modem   56K Modem   ISDN (64 Kb)   ISDN (128 Kb)   Higher-speed Access 
  nContract-Thesis.pdf 2.67 Mb 00:12:20 00:06:20 00:05:33 00:02:46 00:00:14
  nContractSourceCode.zip 1.03 Mb 00:04:45 00:02:27 00:02:08 00:01:04 00:00:05

Browse All Available ETDs by ( Author | Department )

dla home
etds imagebase journals news ereserve special collections
virgnia tech home contact dla university libraries

If you have questions or technical problems, please Contact DLA.