Product of the Month

The suite helps Ada developers build safe, secure software as well as meet internal security and quality procedures.

AdaCore, New York, NY, is announcing the release of its new GNAT Dynamic Analysis Suite — a bundle of analysis, testing, verification, and code coverage technologies to help Ada developers build safe, secure software as well as to meet internal security and quality procedures. The suite includes a test automated test-harness generator for Ada; coverage tool that analyzes and reports Ada and C program coverage; sound analysis, test, and verification evidence that satisfies certification requirements; early access to emerging cybersecurity technologies, such as fuzzing. Fuzz testing (fuzzing) 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.

For Free Info Click Here