AdaControl: detects the use of various kinds of constructs in Ada programs. Its first goal is to control proper usage of style or programming rules.
Ahven: Ahven is a simple unit test library for Ada 95 programming language.
Aunit: AUnit is a set of Ada packages based on the xUnit family of unit test frameworks.
DTraq: DTraq is a data logging and review debugging tool. Analysis to aid Ada debugging and validation.
ProofPower: It is a suite of tools including a compliance tool for specifying and verifying Ada programs..
No comments:
Post a Comment