AdaCore introduced the GNATtest unit test harness generator for Ada. GNATtest is included in GNAT Pro and supports all versions of Ada and all target configurations. It is based on, and replaces, the earlier AUnit technology. The AdaCore GNATtest tool helps automate the essential, but tedious and error-prone, processes for developing and managing the large number of test cases that accompany the verification of large software systems.
AdaCore launched version five of their GNAT Programming Studio (GPS) graphical Integrated Development Environment (IDE). GPS 5.0 features improved support for C and C++, more powerful source editing, simpler use, and integration of GNATstack (a static analysis tool that determines a program’s maximum stack requirements). GPS is distributed with full source code. GPS v5.0 is now available as part of the GNAT Pro Ada Development Environment and the SPARK Pro and CodePeer Pro toolsets. Pricing for GNAT Pro subscriptions starts at $15,000.
AdaCore launched GNAT Pro High-Integrity Edition for MILS. GNAT Pro High-Integrity Edition for MILS, integrated with the SPARK Pro language and tool set, enables developers using a MILS architecture to create and certify applications that can meet all EALs from lowest to highest. GNAT Pro High-Integrity Edition for MILS accelerate the certification of Ada applications at high assurance levels on the VxWorks MILS platform. GNAT Pro High-Integrity Edition for MILS is available now for the VxWorks MILS Platform.
AdaCore launched version 6.3 of their GNAT Pro Ada development environment. GNAT Pro 6.3 now supports 64-bit Windows, Windows 7, Mac OS X Snow Leopard, VxWorks MILS, and PikeOS (ARINC 653). It offers the first implementation of new Ada 2012 features. GNAT Pro 6.3 works with a number of complementary tools, sold separately, including the CodePeer automated code review and validation tool. GNAT Pro 6.3 is available now.
AdaCore introduced CodePeer analysis tool. CodePeer can be used either as a standalone tool or fully integrated into the GNAT Pro Ada development environment. It is highly flexible. Performance can be tuned based on the memory and speed available on the developer’s machine. CodePeer can also efficiently exploit multi-core CPUs. The source code tool can be run on partially complete programs and it does not require stubs or drivers. CodePeer is available immediately.