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
