AdaCore GNAT Dynamic Analysis Suite helps customers build critical software systems

AdaCore has released its new GNAT Dynamic Analysis Suite – a set of analysis, testing, verification and code coverage technologies to help Ada developers build safe and secure software and adhere to internal procedures of safety and quality.

“From decades of experience helping customers build mission-critical software systems, we know that the most successful workflows integrate multiple testing approaches,” said Arnaud Charlet, product engineering manager at AdaCore. “Our new GNAT dynamic analysis suite does just that, integrating our code coverage and unit testing tools into a single package, along with emerging technologies, like fuzz testing, that are on the near-term roadmap. .”

GNAT Dynamic Analysis Suite Features and Benefits

  • The GNATtest automated test harness generator for Ada
  • The GNATcoverage tool that analyzes and reports the coverage of Ada and C programs
  • Strong analysis, testing and verification evidence that meets certification requirements for a variety of industry software security standards (available as an option for GNAT Pro Assurance customers)
  • Early access to emerging cybersecurity technologies, such as fuzzing

The fuzz is coming!

Fuzz (fuzzing) testing is becoming increasingly important in the age of cybersecurity. It is already required in DO-356 compliance (Airworthiness Security Methods and Considerations) and is becoming mandatory as part of national efforts to secure the software supply chain. In Q2 2022, AdaCore will beta release a new fuzzing tool for native Linux platforms, which will be available to select GNAT Pro customers.

Availablity

The GNAT Dynamic Analysis Suite is available as an add-on to GNAT Pro Enterprise and GNAT Pro Assurance subscriptions and can be used with all versions of the Ada language standard, as well as the formally parsable SPARK Ada subset . Some of its features, such as structural code coverage, also support C.

Comments are closed.