CodeCover is an extensible code coverage tool. It has support for Java and COBOL, supports statement coverage, branch coverage, loop coverage, and MC/DC, and performs source instrumentation for the most accurate coverage measurement. It has a CLI interface for easy use from the command line, an Ant interface for easy integration into an existing build process, and is fully integrated into Eclipse. It has customizable HTML and CSV reports, per test case coverage measurement, full integration with JUnit for automatic recognition of test cases, live notification for manual test case recognition, a boolean analyzer that helps to find test cases to increase MC/DC, and a correlation matrix to find redundant test cases and optimize your test suite.
The Dependent Object Framework enables efficient JUnit testing and test driven development against code that depends on objects that are persisted (e.g., to a database). This code was originally developed to add JUnit tests that used the real database code rather than trying to mock out all the dependencies in a large commercial enterprise product, IBM's WebSphere Product Center. The framework makes it extremely easy to simply specify what database objects a test "requires".
The Eclipe Eiffel Development Tools (EDT) are a set of plugins which implement a full-fledged, highly integrated Eiffel development environment based on the Eclipse Platform. The EDT plugins contribute a number of facilities specific to Eiffel, such as an Eiffel builder, a Cluster Explorer, and Refactorings.
GEMS EMF Intelligence is a framework designed to help you reason about your EMF models. The framework provides a knowledge base that you can assert EMF modeling elements into. Once modeling elements are asserted into the knowledge base, you can add constraints to relationships between model elements. Finally, you can use GEMS EMF Intelligence to derive valid endpoints (other objects in the knowledge base) for relationships (such as EReferences) of a modeling element. GEMS EMF Intelligence supports constraints written in OCL, Prolog, Groovy, and BeanShell. Multiple constraint languages can be mixed in a single knowledge base.