Open Source Mac Software Testing Tools

Korat is a tool for constraint-based generation of structurally complex test inputs for Java programs.

MatixTurn is an AS3 Library used for Flash games optimizations. The technique is to transform each vector graphic animation, into cached matrices, for a better computer calculation and a very fast real time rendering. Keep your files low in datasize without manually transform each of your your movie clip in bitmap. All process is done on real time processing with integrated progress bar per-loading system.

OCaml-Reins is a data structure library for O'Caml that includes cursor based iterators, a collection of functors to minimize client-side boilerplate, a powerful on-line benchmarking system and Quickcheck style testing infrastructure.

SMART (Shape Matching Algorithm Research Tool) enables you to implement 2D and 3D shape matching algorithms as plugins. Plugins can either be implemented in Java or as native plugins, i.e. in C/C++.

Sinalgo is a simulation framework for testing and validating network algorithms. It allows for quick prototyping and verification in freely customizable network settings. It is mainly suited for packet-oriented wireless networks.

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.