Search Results for "testing"

...The project includes associated programs for creating syntax charts for an EBNF and searching for and classifying commands. The project also has a system for simulation testing Qt based programs. Feedback If you want to assist in the development of VICI please use the Discussion area on this site. For general comments and questions please use the Fedora Forum thread (under External Links). Status: Currently working on the thirteenth development cycle which aims to provide a new GUI for entering commands and to complete the command documentation.

...It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.

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.

C-Inside is a feature-rich run-time interpreter of the C programming language. Statements can include complex expressions and arbitrary function calls. The included library, libc-inside, has a powerful, yet extremely easy to use API.

...However, if you need a Java based Prolog engine for your project I recommend tuProlog and jTrolog as they are at the moment way more mature than jWAM. 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

On the fly interpreter for the Brainf*ck language. Written in C++.

Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.

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.

DSL Runner is a framework that provides a easy way to create and run simple DSLs (Domain Specific Language) on Java Virtual Machine.

Struts Config Reloader is developed to suppot the reload of struts1 config.Now this tools is support for reloading struts-config.xml and tiles,message resouces that defined in struts-config.xml .

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.

Rugg is a hard drive and filesystem harness tool that allows you to test and benchmark drives and filesystems, by writing simple to complex scenarios that can mimic the behaviour of real-world applications.

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.

MiniMe is a research project testing some ideas for built-in persistent objects and non-fifo function execution such as co-routines and event-based processing. It has run-time types, object-oriented programming support, and automatic memory management.

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.