Search Results for "gnu linux"

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....

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

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.

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.

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)