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
Download data:
No data feed available
Description:
AUnit is a set of Ada packages based on the xUnit family of unit test frameworks.
Requirement:
Unix, Windows
Download data:
No data feed available
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
Download data:
No data feed available
Description:
ProofPower is a suite of tools including a compliance tool for specifying and verifying Ada programs..
Requirement:
Solaris, Linux, Mac
Download data:
No data feed available
Description:
A Simple Test Driver Generator for Ada Programs.
Requirement:
GNAT
Download data:
No data feed available
For those projects hosted on SourceForge, the project activity data is updated weekly using live newsfeeds powered by CaRP
