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 is offering a webinar about the CodePeer source code analyzer. The webcast, Introducing CodePeer, will describe and demo some of the features of CodePeer and allow attendees to ask questions directly to the designers of the tool. The online event will take place Tuesday, March 9th.
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.
Rapita Systems is launching a beta program for RapiTime’s support of C++. Developers of avionic software written in C++ will be able to use RapiTime’s on-target profiling capabilities to measure execution times, track code coverage, and find worst-case execution times (WCET) for applications.
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.
AdaCore rolled out GNAT Programming Studio (GPS), version 4.4. The latest version of AdaCore’s graphical Ada-oriented Integrated Development Environment (IDE) fatures an improved user interface, faster performance, and greater integration with AdaCore’s Project Coverage and SPARK Pro toolsets. GPS is provided with GNAT Pro on most platforms, for both native and embedded software development. GPS 4.4 is currently available as part of the GNAT Pro Ada Development Environment on selected platforms, and customers can download it via the GNAT Tracker tool.