in Security

AdaCore launches GNAT Dynamic Analysis Suite

Posted 22 February 2022 · Add Comment

Provider of software development and verification tools, AdaCore, today announced the availability of 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.

Image copyright Shutterstock

“From decades of experience helping customers build critical software systems, we know that the most successful workflows incorporate multiple approaches to testing,” said Arnaud Charlet, Lead of Product Engineering at AdaCore. “Our new GNAT Dynamic Analysis Suite does just that, integrating in one package our code coverage and unit testing tools, as well as emerging technologies, like fuzz testing, which is on the near-term roadmap.”

Features and Benefits of the GNAT Dynamic Analysis Suite:

  • The GNATtest automated test-harness generator for Ada
  • The GNATcoverage tool that analyses and reports Ada and C programme 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

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.

In Q2 2022 AdaCore will be issuing the beta release of a new fuzzing tool for Linux native platforms, which will be available for select GNAT Pro customers.
 

* required field

Post a comment

Other Stories
Advertisement
Latest News

Serco acquires Sapienza

Serco Group plc has entered into an agreement to acquire Sapienza Group, from TP Group plc, to expand its offering to the European space sector.

Menzies Aviation renews Air Canada contract at Heathrow

Menzies Aviation today announced it has renewed a significant ground services contract with Air Canada at Heathrow Airport (LHR) and won new business at Copenhagen Airport (CPH).

Views sought to boost security of UK data centres and cloud services

Looking to strengthen security and resilience of UK’s data infrastructure to protect against outages and national security threats, the Government has announced it is seeking views on how to boost the security and resilience of

UK Government to host AFF22 onboard HMS Prince of Wales in New York

On 28th-29th September, the UK Government will host the Atlantic Future Forum (AFF22) on the aircraft carrier HMS Prince of Wales in New York, bringing together senior politicians, policymakers, military leaders, academia, business

Stay ahead of the airplane

Neil Ballinger, head of EMEA at EU Automation, looks at ways of stepping up to the challenges currently facing aerospace supply chains.

Airbus launches UK ZEDC

Airbus is strengthening its presence in the UK with the launch of a Zero Emission Development Centre (ZEDC) for hydrogen technologies, to be based in Filton, Bristol.

ODU SK0105310522
See us at
Advanced Engin BT2504031122DVD BT2704220922Future Arm Vehicles Power Systems BTFuture Arm Vehicles Active Protection Systems BTFuture Armoured Vehicles Weapon Systems BT