Press Release
AdaCore announces its new GNAT Dynamic Analysis Suite – a powerful bundle of analysis, testing, verification, and code coverage technologies to help Ada developers build safe, secure software as well as meet internal security and quality procedures.

Features and Benefits of the GNAT Dynamic Analysis Suite:

  • The GNATtest automated test-harness generator for Ada
  • The GNATcoverage tool that analyzes and reports Ada and C program coverage
  • Sound analysis, test, and verification evidence that satisfies certification requirements for a variety of industry software safety standards (available as an option for GNAT Pro Assurance customers)
  • Early access to emerging cybersecurity technologies, such as fuzzing
Share and Enjoy:
  • email
  • LinkedIn
  • Twitter
  • Facebook
  • Digg
  • RSS