Search Results for "source testing unit testing"

FIJI the ForthIsh Java Interpreter is an interactive environment with a procedural syntax similar to the Forth programming language. FIJI can load, introspect, and execute Java classes and methods. FIJI's main use is for unit and component testing of Java.

NOTE: PythonQt has been moved to https://github.com/MeVisLab/pythonqt PythonQt is a dynamic and lightweight script binding of the Qt framework to the Python language. It can be easily embedded into Qt applications and makes any QObject derived object scriptable via Python without the need of wrapper code generation.

...Most notable to-do's: - Built-in predicates. - Debugging tools. - Testing. - Documentation and commenting. - Android port. (I have the engine working with a test app but I still need to build a proper app). - Alpha release

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

This project implements the Multimodal Middleware Protocol in Python. It can be used to connect multimodal components in the same computer or in the network. The Multimodal Hub and Browser component can be used to manage the component network.

YABI93 is an Interpreter for the esoteric programming language Befunge, version "Befunge93". It is written in Java 1.5 and uses Swing for its graphical interface. YABI supports a multilanguage GUI.

leJOSUnit is a port of the Java based JUnit framework for testing robotic programs with a very small footprint. leJOS is a Java based replacement firmware (OS) for the LEGO Mindstorms RCX brick that comes with Lego\'s Robotics Invention System.

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...