Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Runtime Verification of .NET Contracts

Mike Barnett and Wolfram Schulte

Abstract

We propose a method for implementing behavioral interface specifications on the .NET platform. Our interface specifications are expressed as executable model programs. Model programs can be run either as stand-alone simulations or used as contracts to check the conformance of an implementation class to its specification. We focus on the latter, which we call runtime verification.In our framework, model programs are expressed in the new specification language AsmL. We describe how AsmL can be used to describe contracts independently from any implementation language, how AsmL allows properties of component interaction to be specified using mandatory calls, and how AsmL is used to check the behavior of a component written in any of the .NET languages, such as VB, C#, or C++.

Details

Publication typeArticle
Published inThe Journal of Systems and Software
Pages199–208
Number3
PublisherElsevier
> Publications > Runtime Verification of .NET Contracts