• Details
• Metrics
• Errors

Categories:

Free Tagging:

circleofblame contracts designbycontract runtime testing semantics

Login or register to tag items

Treaty is a pluggable contract framework for Eclipse and similar dynamic component models. Contracts describe the responsibilities of collaborating components. Treaty supports contracts between arbitrary resource types (e.g., Java interfaces and Java classes, DTDs and XML instances ..), complex contracts (using boolean logic), and contracts that are only instantiated when components start collaborating (e.g., when a component requests a service or resource from another component via the extension registry). Semantic and quality of service contracts are supported through the use of a modified version of JUnit - test cases are written against interfaces, and instantiated at runtime using dependency injection and then executed.

It turns out that by using contracts many problems that occur in complex, plugin-based applications can be prevented. See
http://www-ist.massey.ac.nz/jbdietrich/treaty/treatyout/index.html for the results of a case study where we annotated existing Eclipse extension points with contracts, and then verified Eclipse against those contracts.

Treaty includes several views to visualise contracts, and a simple same application consisting of several plugins.