Open Source Software Testing Tools

This project contains a set of tools for formal verification and static analysis of VHDL design.

It read opengl pixel shader from txt file, and draw big square on whole screen using that shader. Like shadertoy.com

Iterpreter of Pascal language which may help programmers doing ther job. Include basic operations in/out, declarations of variables.

News: since 2015 we continue all related developments within Collective Knowledge Framework: http://github.com/ctuning/ck/wiki Alchemist plugin is a collection of plugins for GCC/LLVM for external and fine-grain code analysis and tuning. It is intended to to extract program properties for machine learning based optimization (see MILEPOST GCC); optimize programs at fine-grain level (such as unrolling, tiling, prefetching, etc); tune default optimization heuristic; gradually decompose program and detect performance or other anomalies; generate benchmarks particularly useful to train ML-based compilers. GCC plugin is licenced under GPLv3 licensed, while future LLVM plugins will be licensed under BSD license. Alchemist plugin is in a preliminary stage (based on MILEPOST ML plugin), so collaborations are very welcome!

BNF processing tool checks correctness of BNF grammar, generates cross-referenced HTML documentation, generates tests for language recognizers (parsers).

BeanClipse is a NetBeans plugin for Eclipse: NetBeans runs embedded within the Eclipse platform as a plugin offering the best of both worlds to Java developers. May be just a joke ;-) .... Check also it's twin at : http://sf.net/projects/netclipse

Coupling VDM++ to UML 2.1.2 in a bidirectional transformation. Done as a VDM++ specification and implemented in Java for Eclipse as a sub component to OvertureTools.

A program for syntactically correct sentence generation. Guided by a Bison grammar file as input, it provides random or coverage testing sentences. The program can be used for compiler or parser testing or didactical purposes.

This is a simplified version of the GNU Grep. Search a RegExp on a file that contain all alphanumeric characters. Use special symbols like @ and # to extend the search. Now you can set Case Sensitive option and ignore withespaces during the search.

PHPTuring is a Turing Machine simulator built in Object-Oriented PHP5, using the Test-Driven (TDD) approach.

STDL (Structured test description language) is a domain-specific testing language that is used to auto-generate unit test code. It supports a myriad of output languages (incl. C#). The project's aim is that of reducing the resources required for testing

SecFlow - Secure Flow Analyzation for Java and .NET

The stack tracer is an delphi library for help to make exception handling to informative. The library is written for Delphi 7, but i think will work also on the 5 and 6 versions.

An implementation of the Model-View-Controller (MVC) design pattern based on the Jakarta Struts Framework. Includes a core library (Horizon), a servlet container (Stratus), and a Server Pages Engine (Phase). Resembles the J2EE web container environment.

This provides an interactive, programmer-friendly interface to VMware's VProbes facility. VProbes is a safe, dynamic technology for instrumenting software running in virtual machines, and the software stack itself.

A simple and direct web based arduino programming suite. Development will start soon.

iTTCP means "integrated TTCP". The project integrates the TTCP compiler into Eclipse environment and allows so developing and running testcases, specified in TTCN-3 language.

Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.

rngcc is "really nice GNU C compiler" it's the GUI for the standard GCC on Unix systems rngcc is fully written in c

Free ttcn3 compiler. (cpp code generator)