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
- 2234
ConQAT
ConQAT is a toolkit for rapid development and execution of software quality analyses. Integrated visualization of diverse quality characteristics for software…
- Rating
- Views
- 3790
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
- 4125
AdaTEST 95
AdaTEST 95 is a unit and integration testing tool, enabling developers to verify standard compliant or business critical code on…
- Rating
- Views
- 3222
AdaControl
AdaControl is a free (GMGPL) tool that detects the use of various kinds of constructs in Ada programs. Its first…
- Rating
- Views
- 2584
VectorCAST
VectorCAST is a highly automated unit and integration test solution used by embedded developers to validate safety and business critical…
- Rating
- Views
- 8223
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
- 2282
TestWorks
TestWorks, an integrated suite of software test tools, is a test tool suite. TestWorks automate and streamline your software development and…
- Rating
- Views
- 2606
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
- 2035
Testbed
At the heart of the LDRA tool suite is the LDRA Testbed, which provides the core static and dynamic analysis…
- Rating
- Views
- 3785