Open Source Cygwin QA Automation Software

qpt (Qt Project Tool) understands Qt C++ projects (.pro) and allows to pass this information to command line tools as "Code Counters" and "Static Analysis tools". It also can used inside QtCreator to act as a plugin for "Static Analysis tools" putting reported issues into QtCreator issues pane.

Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode. Test cases can be generated using the 'gen' mode, and state machine walkers by the 'sm_walker' mode. Over the last decade HWUT has matured towards a full fledged unit test tool for a wide variety of applications.

ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.

Several redist packages for pre-compiled open-source libs (w32)

BugUnit extends JUnit with the concept of a 'bug'. Multiple tests test one bug, if one test fails the bug is open. Methods like assertEquals("PRJ-123",i,10) will flag bug PRJ-123 as open or closed in Jira and a bug-centric HTML summary.

CUBRID QA project contains a test-automation tool and many kinds of test cases for CUBRID database.

EDoC++ is both a lint-like tool and a documentation tool that specialises in analysing and documenting the use of exceptions in C++ code.

Calculates cyclomatic and the NPATH complexity measures. It reads the coverage information produced by GCC and determines the complexity of all functions.

A very simple but effective testing framework for C and C++ projects.

A simple win forms application written in C# that allows a user to enter a string and the number of time it should be repeated and then send it to the users clipboard. This is useful for software testers wanting to generate long strings or strings with specific patterns for use in black box testing.

Test Case Web (TCW) is an online test case management (TCM) and test-tracking system built with PHP and a SQL backend.

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)

Tired of bogging down your machine to RUN all the TESTS, having to WAIT for the CruiseControl build to be green, or causing other developers HEARTACHE by skipping these steps when checking in your changes to source control? The Patch Process Is for YOU!

XRay is an analysis tool built upon your SCMs, aimed to consolidade project statistics from many repositories in a single tool, generating code reports and development statistics obtained from log data and file versions.

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.

Pith ("Perl-Implemented Test Harness") is a lightweight, application-independent framework for building and executing functional integration tests. It allows the test code to exist wholly independently from the testing platform.