Search Results for "testing"

RufaSlider is a collection of 16 different block slider puzzles for kids and casual puzzlers that works on laptops and PCs running Windows, OSX or GNU/Linux. It includes a Klotski-style family, a DirtyDozen family, and a Traffic-Rush family. And now these puzzle families come with AutoSolvers to help you. The Klotski family uses rectangles of 4 sizes: 1x1, 2x2, 1x2, 2x1. The objective in each game is stated near the window top, but usually involves moving a large block to a specified...

Ahven is a simple unit testing framework for Ada 95 programming language. The source code is fully portable and works with any Ada 95 (and also Ada 2005) compiler.

...SCOPE interfaces with both NEMA-TS2 and Intelligent Transportation Systems (ITS) traffic cabinets. SCOPE executes under Linux or Windows. Currently it runs on a Linux based PC (used for concept and unit testing), a PowerPC prototype board with various I/O connectors (used for integration testing) and an Advanced Traffic Controller. SCOPE has the ability to simulate 64 traffic sensors and 8 pedestrian calls. It has several menu options to facilitate real time logging and debugging. SCOPE is easily ported to any platform and has wireless Android Tablet / Java PC interfaces.

SPARKUnit is a unit test framework for the SPARK programming language. It enables developers to create unit tests which can be analysed by the SPARK Examiner. This allows for testing of operations with preconditions and flow analysis of test cases.

This is an Ada binding to AutoITX a Test automation interface for win32 Graphical User interfaces.

AdaPackageTesting is a tool for developers using the Ada95 programming language. With him, it's very fast to create the structure of a test program based of the package specifications (.ads).

Implementation of a Fit server for Ada.