supported technology: Ada
FLUCTUAT
FLUCTUAT is an abstract-interpretation based static analyzer of numerical programs (C or Ada) developed since 2001 by the MEASI (ModElling…
- Rating
- Views
- 2225
ConQAT
ConQAT is a toolkit for rapid development and execution of software quality analyses. Integrated visualization of diverse quality characteristics for software…
- Rating
- Views
- 3780
Aunit
AUnit is a set of Ada packages based on the xUnit family of unit test frameworks. It’s intended as a developer’s…
- Rating
- Views
- 4121
AdaTEST 95
AdaTEST 95 is a unit and integration testing tool, enabling developers to verify standard compliant or business critical code on…
- Rating
- Views
- 3218
AdaControl
AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. Its first…
- Rating
- Views
- 2578
VectorCAST
VectorCAST is a highly automated unit and integration test solution used by embedded developers to validate safety and business critical…
- Rating
- Views
- 8208
Ahven
Ahven is a simple unit test library (or a framework) for Ada programming language. It is loosely modelled after JUnit and some…
- Rating
- Views
- 2277
TestWorks
TestWorks, an integrated suite of software test tools, is a test tool suite. TestWorks automate and streamline your software development and…
- Rating
- Views
- 2596
LDRA tool suite TBrun
TBrun® is a component of the LDRA tool suite®. It is a unit/integration test tool, providing a complete verification environment for…
- Rating
- Views
- 2014
Testbed
At the heart of the LDRA tool suite is the LDRA Testbed, which provides the core static and dynamic analysis…
- Rating
- Views
- 3774