Search Results for "linux programming"

IMPORTANT: MoreUnit code has moved to https://github.com/MoreUnit/MoreUnit-Eclipse MoreUnit is an Eclipse plugin that should assist you in writing more unit tests. It supports all programming languages (switching between tests and classes under tests...) and has specific support for Java (creating test stubs, mock support, decoration, refactoring support...).

ETICS stands for "eInfrastructure for Testing, Integration and Configuration of Software". It provides software professionals with an "out-of-the-box" build and test system, powered with a build and test product repository.

DATA Gen™ Test Data Generator offers facilities to automate the task of creating test data for new or existing data bases. It helps lower the programming effort required, while reducing manual test data generation errors and the ripple effect that they cause on production systems, users and maintenance.

This project lists common Java programming errors. This project has mainly only documentation on this errors.

JavaStates is a Java library designed to statically describe and animate the states of Java objects, while ensuring that the integrity of states is retained at all times. JavaStates brings OO Programming style to interface spec, design and coding.

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...