1. Nadia Polikarpova
  2. mbctesting

Wiki

Clone wiki

mbctesting / Home

Content

This repository contains accompanying material for an empirical study that compared random testing against partial and strong specifications. Partial specifications are written in the classical Design by Contract style, while strong specifications follow the Model-based Contracts methodology.

The repository consists of three projects:

  • eiffelbase: flat versions of selected classes from the EiffelBase library (revision 506), together with failing test cases that exhibit the bugs we found in these classes during the study.
  • eiffelbase_plus: flat versions of selected classes from EiffelBase, equipped with strong model-based contracts, together with failing test cases that exhibit the bugs we found in these classes during the study.
  • dsa_plus: data structure classes from the C# DSA library, equipped with strong model-based contracts, together with failing test cases that exhibit the bugs we found in these classes during the study.

Dependencies

In order to compile eiffelbase_plus you need to download the EiffelBase2 library and set the environment variable EIFFELBASE2 to its location.

Updated