Model-based contracts for C# collections
Master Thesis, Tver State University (Russia), February 2011 — April 2011
Author: Elena Mokhon
Supervisor: Nadia Polikarpova
Complete model-based contracts proved to be a feasible and useful method for specifying data structure classes in Eiffel. The current project aims at extending the feasibility study and testing experiments on classes from the .NET standard collection library.
The project involves re-implementing in C# the library of model classes, MML, originally written in Eiffel; writing complete model-based specifications for C# collection classes, similar to those for the collections from EiffelBase2 library; and, finally, performing a testing experiment with specified classes, using model-based contracts as testing oracles.