Adding Contracts to C#
Short Description
Adding Contracts to C#. Peter Lagace. ABSTRACT. Design by contract is a software engineering technique used to. promote software reliability. …
Website: www.rh.edu | Filesize: 228kb
Content
Adding Contracts to C#
Peter Lagace
ABSTRACT
Design by contract is a software engineering technique used to
promote software reliability. In order to use design by contract
the selected programming language must have built in support for
pre conditions, post conditions and class invariants, collectively
called contracts, or some mechanism must be devised to validate
the contract. This paper proposes a way of supporting contracts in
C# using Resolve Corp.’s eXtensible C# add in.
Keywords
Design by Contract, C#, eXtensible C#
1. INTRODUCTION
Design by contract is a software engineering technique used to
promote software reliability. This idea was made popular by
Bertrand Meyer and his work on the Eiffel programming language
[4]. The main idea behind design by contract is that for a routine
to work properly a set of conditions must hold true before the
routine is called, the pre conditions, and another set of conditions
must hold true after the routine has finished its task, the post
conditions. The conditions are checked using assertions and an
assertion failure indicates a bug in the program. A pre condition
assertion failure indicates that the bug is in the program that
called the routine, while a post condition…
Get the file Download here
Related Searches: eiffel programming language, assertion failure, bertrand meyer, software reliability, design by contract
Comments
Leave a Reply
