The most noticeable enhancement in GPS 4.4 is in the graphical user interface (GUI), which makes it easier for users to add new plug-ins and customize the IDE. The general navigation capabilities and documentation generation features have also been improved, ensuring consistent creation of supporting materials. And below the visible GUI, GPS now offers tighter integration with both the Project Coverage and SPARK Pro toolsets. Project Coverage’s code coverage and simulator capabilities can now be directly accessed from the IDE, and support for the SPARK language has been extended, allowing improved source/annotation navigation. SPARK developers may now more easily develop SPARK language applications and invoke the SPARK Pro toolset from GPS.
“We have been systematically enhancing the GNAT Pro toolset to improve support for safety-critical and high-security applications,” commented Arnaud Charlet, GPS Project Manager at AdaCore. “GPS 4.4 is a good illustration of our strategy. Developers of high-assurance systems may now access Project Coverage and SPARK Pro tools with the same IDE that they already use for general development.”