Search Results for "contract"

API Blueprint. A powerful high-level API description language for web APIs. API Blueprint is simple and accessible to everybody involved in the API lifecycle. Its syntax is concise yet expressive. With API Blueprint you can quickly design and prototype APIs to be created or document and test already deployed mission-critical APIs. API Blueprint is built to encourage dialogue and collaboration between project stakeholders, developers and customers at any point in the API lifecycle. At the...

**** THIS LIBRARY WAS MOVED INTO Boost **** New location: https://github.com/boostorg/contract C++ Contract Programming (a.k.a. Design by Contract or DbC). All Eiffel features supported: subcontracting, postcondition old and result values, optional contract compilation, customizable action on assertion failure, block invariants, loop variants, etc. Plus virtual specifiers, concept checking, named parameters. See: http://contractpp.sourceforge.net

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

Open source Java test library that: 1. Tests getter/setter method pairs of a class. 2. Verifies equals and hashCode methods comply with the Equals Contract and HashCode Contract respectively. 3. Verifies property significance in object equality.

C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.

Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.

TUTU is an automated testing system which finds inconsistencies between a system and its specifications, by using a combination of a number of techniques, such as Design by Contract, test data generation, mutation testing and invariant detection.

CppCondite is a contract directed testing framework for C++. A formally specified "contract" (and a little human help) can be used to generate tests (similar to unit tests) verifying that a component implements the contract correctly.

The pycurry project is targeted for handling concurrency issues within the Python programming language. It also contains a (almost) fully functional 'Design by Contract' implementation.

A simple library for providing Design by Contract functionality for Java projects, using AspectJ and annotations.

Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).

A testing framework, based on JUnit, that allows the easy creation of randomized tests, based on Design-by-Contract principles. The programmer defines simple actions on parameters (injected by the framework), and the resulting ecosystems are verified.