Image CAPTCHA
Enter the characters shown in the image.

You are here

AdaCore

.

AdaCore

List mode
Table mode
Icons mode

Displaying 1 - 1 of 1

AdaCore

Introduction

AdaCore provides open-source tools and expertise for developing mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer / validator. 
GNAT Pro comes with a comprehensive toolset including a graphical IDE, a visual debugger, a code coverage analyzer and profiler, a coding standard checker, a documentation generator, and a unit test harness generator. It handles multiple languages, supporting all versions of the Ada standard (including the upcoming Ada 2012) as well as C and C++. 

Founded: 
1 994
Company Size: 
51-200 employees
Type: 
Privately Held

Contact Representatives

Socialize

Aunit

Intro

Table Summary
Ada unit testing framework
Last Release Year ['Active'=Current]: 
Active

 

Aunit
Tool Scope Test Automation Framework
Application Rights Commercial, Free Use
Since 1994
Company AdaCore
Support Tool Support link HERE
Download Download HERE
Vote up!
Vote down!

Points: 0

You voted ‘up’

Theme by Danetsoft and Danang Probo Sayekti