.
Ahven is a simple unit test library (or a framework) for Ada programming language. It is loosely modelled after JUnit and some ideas are taken from AUnit. Ahven is free software distributed under permissive ISC license and should work with any Ada 95, 2005, or 2012 compiler. New releases do not appear at SourceForge anymore, find new releases at http://ahven.stronglytyped.org/
Points: 0
You voted ‘up’
VectorCAST/QA enables teams to implement consistent and repeatable processes for managing test activities and reporting key quality metrics.
LDRArules is a stand-alone rules checker that doesn't require investment in a complete tool chain. It enforces compliance with industry- or user-defined coding standards and provides clear visibility of software flaws that might typically pass through the build and test process and become latent problems.
LDRArules helps to see how your source code:
AUnit is a set of Ada packages based on the xUnit family of unit test frameworks. It’s intended as a developer’s tool to facilitate confident writing and evolution of Ada software. It is purposely lightweight, as one of its main goals is to make it easy to develop and run unit tests, rather than to generate artifacts for process management. The framework supports easy composition of sets of unit tests to provide flexibility in determining what tests to run for a given purpose.
AUnit can now be downloaded as part of the GNAT GPL Edition.
AdaControl is a free (GMGPL) 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. Searched elements range from very simple, like the occurrence of certaine entities, declarations, or statements, to very sophisticated, like verifying that certain programming patterns are being obeyed..
VectorCAST/Ada is a dynamic software test solution that automates Ada unit and integration testing, which is necessary for validating safety- and mission-critical embedded systems.
AdaTEST 95 has been designed around the requirements of the Ada language to produce a tool which allows developers to efficiently perform unit and integration testing. AdaTEST toolset has been at the forefront of Ada code verification. The product offers high productivity and a unique set of testing, coverage analysis and static analysis features.
Theme by Danetsoft and Danang Probo Sayekti
