Roadmap

This section provides a main overview of future goals of the DBC-Utilities project.

Milestone plan for the 1.0 release

M1

Support for directly usage of the DBC component in the application (imperative usage). So M1 will be usable for people who want to mix contract specific code with business code.

Features
  1. Basic DBC check implementation (not null, equals\.\.\. checks).
  2. Support for different exception throwing strategies if a assertion fails.
  3. Support for different logging strategies.
  4. Basic DBC setup component.

M2

Support for declarative usage of the DBC component. This milestone enables users the creation of contract definition in source code via annotations of in an external XML file.

Features
  1. Annotations for checking assertions.
  2. Runtime model for storing contract definitions.
  3. XML schema for storing contract definitions in XML files.
  4. Component for mapping annotation check to the contract definition runtime model.

M3

Support for weaving DBC specific code in a application. Support for dynamically deploy or un-deploy DBC specific code.

M4

Support for the creation of contract definitions by different tools. This milestone will provide an eclipse plug-in for the creation of contract XML files and contract annotations.