GNAT Dynamic Analysis Suite
Beyond Static: Ensure Correct Behavior in Action.
GNAT Dynamic Analysis Suite (GNAT DAS) offers a comprehensive testing solution for high-integrity software, integrating automated unit testing, fuzzing, and multi-language code coverage. Designed for Ada, C, and C++, it helps teams streamline testing, meet certification standards, and identify potential security vulnerabilities early, ensuring the development of reliable and compliant mission-critical applications.
Contact UsGNAT Dynamic Analysis Solves
Compliance
Meeting industry certification standards for software safety requires generating coverage evidence, up to MC/DC, for mixed-language applications. This requires reliable tools to generate coverage data and accompanying qualification material to ensure compliance with industry standards.
Security
Reducing the risks of cyberattacks is increasingly critical and mandated by security-focused standards such as DO-326A/ED-202A, IEC 62443, and ISO/SAE 21434. Security vulnerability detection tools not only reduce compliance costs but also improve system resilience against threats.
Automation
Manual implementation of testing infrastructure is often repetitive, error-prone, and time-consuming. Additionally, the automatic generation of test data improves the efficiency of testing campaigns and enhances the detection of safety and security vulnerabilities
Language Diversity
Projects with multiple languages require a tool that can generate a unified, integrated coverage report for all sources, regardless of whether they are Ada, C, or C++. A multi-language code coverage solution provides clear, comprehensive insights into the coverage of mixed-language projects.
GNAT DAS Enables
GNAT Dynamic Analysis Suite combines deep dynamic analysis, coding standards checking, compiler warnings, and software metrics. The result takes your Ada to the next level.
Ada and C/C++ Support
GNAT DAS supports all versions of Ada (from 83, through 2022), together with GNAT and SPARK extensions. On the C/C++ front, we support code written from C89 to C18, and C++98 to C++ 20.
Structural Code Coverage
GNATcoverage is a powerful, qualifiable code coverage analysis tool for Ada and C/C++, supporting statement, decision, and Modified Condition/Decision Coverage (MC/DC) across embedded, real-time, and general-purpose environments.
Unit Testing
GNATtest automatically generates unit test skeletons and drivers that evolve alongside your code, keeping tests aligned as the project grows. Its test-case generation engine jump-starts testing campaigns, reducing setup effort and accelerating validation.
Fuzzing
GNATfuzz automates vulnerability detection in critical applications and provides a solution to elevate security assurance and application robustness.
Speak to an Expert
Discover the advantages that GNAT Dynamic Analysis Suite can bring to your high-integrity systems.
GNAT Dynamic Analysis Suite Brings
The GNAT Dynamic Analysis Suite streamlines the verification process and elevates the quality and security of your software.
Testing
Manual unit testing
GNATtest automatically creates and maintains the harnessing code as well as the unit test skeletons for each subprogram to be tested
Automatic unit testing
GNATfuzz automatically and repeatedly executes tests and generates new test cases at a very high frequency to detect faulty behavior of the system under test
Testing completeness
GNATcoverage helps assess a testing campaign’s completeness by providing sound analysis and evidence that all of the code, even if only executed under rare conditions, has been sufficiently exercised
Native and Cross Support
The GNAT Dynamic Analysis can be used on all environments supported by GNAT Pro - from large server systems to small embedded devices with tight resources constraints.
Certification
Safety standards
With GNATtest for requirement-based testing and GNATcoverage for structural coverage analysis, backed by qualification artifacts, you can meet the most stringent safety standards (DO-178C, ISO 26262, EN 50128, and IEC 61508)
Security standards
GNATfuzz strengthens security by exposing hidden vulnerabilities and unexpected program behavior—such as crashes, hangs, flawed assumptions, or incorrect requirements—through exhaustive exploration of malformed and random inputs, free from unconscious test bias, in alignment with industry security standards like DO-356A and ISO/SAE 21434
Automation
Test harness
GNATtest automates the creation and maintenance of harnessing code and unit test skeletons for Ada subprograms, ensuring a more reliable and maintainable testing process that seamlessly adapts to system changes
Code exploration
GNATfuzz employs two powerful techniques for advanced branch solving and deep code exploration, input-to-state correspondence and symbolic execution, to steer execution toward unexplored branches and difficult-to-reach paths and detect safety and security vulnerabilities
Code coverage aggregation
GNATcoverage automatically consolidates coverage data from multiple test runs, diverse execution scenarios, and different executables, providing a clear, integrated view of software verification progress
Get More from GNAT Dynamic Analysis Suite
GNAT Pro
GNAT Dynamic Analysis Suite is tightly integrated with GNAT Pro and delivers the best possible experience for GNAT Pro customers.
GNAT Static Analysis Suite
GNAT Static Analysis Suite complements GNAT Dynamic Analysis Suite, offering early detection of issues in Ada code. GNAT Static Analysis Suite + GNAT Dynamic Analysis Suite together provide comprehensive assurance.
CodeSonar
CodeSonar provides deep static analysis, coding standards and security checks for C/C++, including MISRA C/C++. Find errors before testing begins.
Make Testing Smarter and More Effective
Discover how GNAT Dynamic Analysis Suite can streamline testing, ensure compliance, and strengthen your high-integrity software.
