Search Results for "eclipse terminal"

Modern software systems and application are commonly written in multiple languages, include scripting engines, and are frequently build on multiple specialized frameworks and middleware for a considerable diversity of runtime environments. The latest influencing update in development paradigm is the application of multicore processors. This projects is aimed to unify the required trace and logging output and integrate into debugging environments. The target is to provide general development,...

IdMUnit is an xUnit automated testing framework for Identity Management solutions.

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)

QC4J is an automated, specification-based testing framework, based on QuickCheck for Haskell. It makes it easy to test referentially transparent code, by creating test data automatically through user-defined generators.

CxTest is a JUnit/cppUnit/xUnit-like unit test framework for C. It is extremely portable since it doesn't depend on RTTI, exception handling or any libraries (including standard ones)

kaustubha is a testing module for IKE protocol. It is designed to allow a user to test any RFC compliant implementation against malformed packets.