GNAT Pro Enterprise

産業機器開発用ソフトウエア開発向け

GNAT Pro Enterpriseは、信頼性、効率、保守性が不可欠なソフトウェアシステムを開発するための開発環境で、Ada、C、C ++に対応し、大規模でミッションクリティカルなアプリケーション開発に必要なツールとライブラリを提供します。AdaCore社の製品は、世界中の多くの企業でソフトウエアの開発、検証、保守に使用されており、報告された内容に基づいて、毎年アップグレードされ機能が強化されています。

ソフトウェア開発の難しい課題に挑戦してください

GNAT Pro Enterpriseは、開発および検証ツールの包括的な開発スイートで、要求の厳しいプロジェクトのニーズを満たすことができます。バージョン管理および構成管理ソフトウエアと統合でき、複数の開発者が携わる、数百万行のコードで構成されるシステムをサポートできるように拡張可能です。

Ada、C、C ++を同一のツールセットで提供

GNAT Pro Enterpriseは、共通のコードジェネレータを使用して、Ada(Ada 83からAda 2012まで)のすべてのバージョン、およびC(C11を含む)およびC ++(C ++ 17を含む)をサポートします。 AdaCoreは、幅広いプログラム開発および検証ツールとサポートを組み合わせて、プログラミングのニーズに対応する「ワンストップショップ」として機能します。

テスト、多くの実績があるツールならびに経験

AdaCoreとGNAT Proは、商用ならびに軍用航空電子機器、宇宙、鉄道、自動車、医療、金融システムなどの要求が厳しい業界で長期にわたる使用実績があります。

プレミアムツールスイート

ツールとライブラリに加えて、作業を効率化できる多くのアドオンが提供されます。

開発環境

ソフトウェア開発は、GNAT StudioまたはGNAT bench(Eclipseプラグイン)統合開発環境で行えます。 IDEは直感的で簡単に習得できますが、プロジェクトのニーズに応じて対応できる多くの機能を備えてます。

 

ライブラリとコンポーネント

Ada 2012で定義された環境に加えて、GNAT Pro Enterpriseは多くの固有ライブラリを提供し、文字列の処理、検索とソート、ハッシュテーブル、ソケットサポート、入出力などのパッケージが含まれています。

 

テストと解析ツール

ツールスイートには、リフォーマッタ/プリティプリンタ、プログラムメトリックジェネレータ、ビジュアルデバッガ、コードナビゲータ、テストケースジェネレータなどが含まれます。

 

GNAT Pro Comparison

https://www.adacore.com/gnatpro/comparison