Tag Archives: AdaCore

AdaCore Unveils GNATtest Unit Test Harness Generator for Ada

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.

Continue reading

AdaCore GNATemulator Tool for Embedded Software Testing

AdaCore launched GNATemulator emulator solution for testing embedded software applications. GNATemulator enables software developers to compile code directly for their target architecture and run it on their host platform. The tool translates the target object code to native instructions on the host. GNATemulator is based on the QEMU technology, which is a generic and open source machine emulator and virtualizer. The AdaCore emulator is a streamlined, low-cost alternative to time-accurate target board simulators. GNATemulator is available now.

Continue reading

AdaCore GNAT Programming Studio 5.0

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.

Continue reading

AdaCore GNAT Pro High-Integrity Edition for Wind River VxWorks MILS

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.

Continue reading

AdaCore GNAT Pro Ada 6.3

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.

Continue reading

AdaCore CodePeer Source Code Analysis Tool for Ada

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.

Continue reading

AdaCore GNAT Programming Studio 4.4

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.

Continue reading