Ada – Software Testing Tools Guide

VectorCAST

Jean-Baptiste CROUIGNEAU — Wed, 02 Nov 2016 17:26:25 +0000

VectorCAST is a highly automated unit and integration test solution used by embedded developers to validate safety and business critical embedded systems. This dynamic test solution is widely used in the avionics, medical device, automotive, industrial controls, railway, and financial industries.

The post VectorCAST appeared first on Software Testing Tools Guide.

TestWorks

Jean-Baptiste CROUIGNEAU — Wed, 02 Nov 2016 17:25:55 +0000

TestWorks, an integrated suite of software test tools, is a test tool suite. TestWorks automate and streamline your software development and testing process for Regression Testing, Test Suite Management, and Test Coverage support on Windows and UNIX Platforms.

The post TestWorks appeared first on Software Testing Tools Guide.

Testbed

Jean-Baptiste CROUIGNEAU — Wed, 02 Nov 2016 17:25:40 +0000

At the heart of the LDRA tool suite is the LDRA Testbed, which provides the core static and dynamic analysis engines for both host and embedded software analysis. TBvision is the interactive environment for LDRA Testbed that lets you easily visualise coding standards compliance and quality metrics and rapidly address identified flaws at the source code level.

The post Testbed appeared first on Software Testing Tools Guide.

MALPAS

Jean-Baptiste CROUIGNEAU — Wed, 02 Nov 2016 17:22:41 +0000

The MALPAS toolset consists of a number of analysers which focus on different aspects of software correctness and integrity. These analysers work with a MALPAS Intermediate Language (IL) representation of the software program which is being analysed.

IL is a universal sequential programming language into which programs written in C, Ada, etc. are translated (via automatic or manual means). The benefit of this process is that the MALPAS analysers need only know about IL, but the analysis results are relevant to the original C (or Ada, etc.) program. Therefore, the MALPAS analysers are essentially universal.

The post MALPAS appeared first on Software Testing Tools Guide.

LDRAcover

Jean-Baptiste CROUIGNEAU — Wed, 02 Nov 2016 17:22:17 +0000

LDRAcover is a stand-alone code coverage tool that doesn’t require investment in a complete tool chain. LDRAcover addresses the rigorous structural coverage objectives of standards such as DO-178B/C (Avionics) up to and including Level A as well as other safety-critical software applications. LDRAcover lets you quickly and easily view coverage analysis results such as callgraphs, flowgraphs, and code coverage reports in an interactive easy-to-use interface with powerful filtering capabilities.

The post LDRAcover appeared first on Software Testing Tools Guide.

Grayboxx

Jean-Baptiste CROUIGNEAU — Wed, 02 Nov 2016 17:21:38 +0000

Cleanscape Grayboxx is a complete software life-cycle testing toolset developed for software written in C, Fortran, Ada, & Assembly. Grayboxx provides a complete software testing solution that verifies functional and structural performance requirements for mission critical applications. Grayboxx automatically conducts the following test methodologies: Blackbox Testing, Whitebox Testing, Regression Testing, Assertion Testing, and Mutation Testing.

Grayboxx speeds the development process by allowing developers and test engineers to automatically:

Generate test cases
Conduct coverage analysis with complexity metrics
Conduct unit performance testing with no probe insertions
Generate test stubs
Generate test harnesses
Execute tests
Prepare modules
Verify results

Grayboxx also allows for both full and partial regression testing, allowing the tester to run the same test more than once or to name the test titles to run with a subset of test cases.

The post Grayboxx appeared first on Software Testing Tools Guide.

FLUCTUAT

Jean-Baptiste CROUIGNEAU — Wed, 02 Nov 2016 17:21:21 +0000

FLUCTUAT is an abstract-interpretation based static analyzer of numerical programs (C or Ada) developed since 2001 by the MEASI (ModElling and Analysis of Systems in Interaction) laboratory of CEA-LIST. Given sets of inputs and parameters, possibly entached by uncertainties, it considers all possible behaviours of the program both in real and in finite precision, and characterizes the differences.

The post FLUCTUAT appeared first on Software Testing Tools Guide.

ConQAT

Jean-Baptiste CROUIGNEAU — Wed, 02 Nov 2016 17:20:53 +0000

ConQAT is a toolkit for rapid development and execution of software quality analyses.

Integrated visualization of diverse quality characteristics for software systems
Aggregation of quality metrics for quick overview of quality status
Flexible creation of project-specific quality dashboards
Support for numerous programming languages (e.g. Java, C#, C++, ABAP, ADA
Integration of third-party analysis tools (e.g. PMD, Findbugs, FxCop)
Clone Detection (detecting duplicated code due to copy&paste programming)
Architecture Conformance Analysis (Assessing conformance to architectural constraints)
Command line interface for integration into build systems/continuous integration toolkits (e.g Hudson, CruiseControl)
Trend analysis for monitoring quality status over time

The post ConQAT appeared first on Software Testing Tools Guide.

Aunit

Jean-Baptiste CROUIGNEAU — Wed, 02 Nov 2016 17:19:05 +0000

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.

The post Aunit appeared first on Software Testing Tools Guide.

AdaTEST 95

Jean-Baptiste CROUIGNEAU — Wed, 02 Nov 2016 17:18:56 +0000

AdaTEST 95 is a unit and integration testing tool, enabling developers to verify standard compliant or business critical code on host native and embedded target platforms.

All of the testing requirements for safety standards are met faster by automating:

Test framework generation
Test case generation
Test execution
Results diagnostics and report generation

The post AdaTEST 95 appeared first on Software Testing Tools Guide.