GNAT Dynamic Analysis Suite für Ada
- AdaCore
AdaCore hat die Verfügbarkeit der neuen GNAT Dynamic Analysis Suite bekanntgegeben. Das Softwarepaket enthält eine Reihe von Code-Coverage-, Analyse-, Verifizierungs- und Testing-Tools für die Programmiersprache Ada.