Overview

GNAT Dynamic Analysis Suite is designed to help developers ensure their applications work exactly as intended. This suite includes powerful analysis and coverage tools for Ada, and some capabilities also support C. Available as an add-on to GNAT Pro Enterprise and Assurance subscriptions, it supports all versions of the Ada language standard, as well as the formally analyzable SPARK Ada subset. The suite is essential for building safe and secure software, incorporating multiple approaches to testing.

Features

• GNATtest: An automated test-harness generator for Ada, automating the development and management of test cases needed for verifying large software systems.
• GNATcoverage: A tool that analyzes and reports Ada and C program coverage, helping assess the completeness of a testing campaign by providing evidence that all code has been sufficiently exercised.
• GNATfuzz: A fuzzing tool that uncovers coding errors and security loopholes in software systems and networks, addressing cybersecurity vulnerabilities and complying with security standards such as DO-356A and ED-203A.
• Certification Support: Provides test and verification evidence that satisfies certification requirements for various industry software safety standards, including avionics, rail, and space.

Benefits

• Reliability: Ensures high reliability for critical projects with robust testing and analysis tools.
• Security: Enhances security by uncovering coding errors and security vulnerabilities.
• Certification Ready: Simplifies development and verification for certification in safety-critical industries.
• Efficiency: Automates essential but tedious processes, improving development efficiency.
• Comprehensive Support: Offers expert consulting and support services for seamless project execution.