AdaControl

Description:

A checkstyle-like tool that detects the use of various kinds of constructs in Ada programs. Its first goal is to control proper usage of style or programming rules, but it can also be used as a powerful tool to search for use (or non-use) of various forms of programming styles or design patterns.

Requirement:

Windows and Linux

Ahven

Description:

Ahven is a simple unit test library (or a framework) for Ada 95 programming language. It is loosely modelled after JUnit and some ideas are taken from AUnit.

Requirement:

Tested on Linux and Windows

Aunit

Description:

AUnit is a set of Ada packages based on the xUnit family of unit test frameworks.

Requirement:

Unix, Windows

DTraq

Description:

DTraq is a data logging and review debugging tool providing near realtime data logging and analysis to aid Ada debugging and validation.

Requirement:

PC / Linux

ProofPower

Description:

ProofPower is a suite of tools including a compliance tool for specifying and verifying Ada programs..

Requirement:

Solaris, Linux, Mac

tg

Description:

A Simple Test Driver Generator for Ada Programs.

Requirement:

GNAT

For those projects hosted on SourceForge, the project activity data is updated weekly using live newsfeeds powered by CaRP