形式検証と静的検証が統合されたツール・スイートでプログラムエラーを最小化
『SPARK Pro』は、形式検証可能なAda 2012サブセットの言語を使用し、ソフトウェア検証に数学ベースの信頼性をもたらすツールセットです。 当製品を使用して、ソフトウェア・アーキテクチャ要件を形式的に定義、自動検証。 実行時エラーを削減し、セーフティ・プロパティまたはセキュリティ・ポリシーの適用、機能の正確性 （形式的に定義された仕様への準拠） などの幅広いソフトウェア整合性に対するプロパティを保証する事ができます。 【機能】 ■データフロー解析 ■インフォメーションフロー解析 ■実行時例外の検出 ■プロパティチェック ■レベル別検証 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。
この製品へのお問い合わせ
基本情報
【レベル別検証】 ■ストーン（Stone） ・SPARK言語の制約事項により、安全なプログラムを記述 ■ブロンズ（Bronze） ・データフロー解析とインフォメーションフロー解析を使用して、 非初期化変数の参照等の広範なエラーを排除 ■シルバー（Silver） ・実行時エラーがないことを検証 ■ゴールド（Gold） ・証明（Proof）を使用して、ソフトウェアの重要なプロパティを検証 ■プラチナ（Platinum） ・クリティカルなコードが機能仕様を満たしていることを証明 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。
価格帯
納期
用途／実績例
※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。
カタログ（1）
カタログをまとめてダウンロード
企業情報
アイティアクセスは、2000年に“商社×SI”の機能を兼ね備えたソフトウェアベンダーとして創業し、IoT時代の到来を見据えて国内外の優良ソフトウェアを発掘・提供し、顧客ニーズに応じた開発も行ってきました。こうした取り組みにより、数々の困難なプロジェクトを成功させ、顧客との信頼関係を築いて成長してきました。 現在は、これまでに培った技術力を活かし、新たな事業創出に注力しています。中でもフィンテック分野では、非対面クラウド決済システムを自社で端末からサーバーまで一貫して開発。高い利便性を提供するこのサービスは急拡大し、同社の成長を牽引する柱となっています。 今後はこのフィンテック事業のさらなる拡大に加え、新たなサービスや製品を生み出し、グローバル展開を目指します。最終的には世界で輝く企業となることを目標に、ベンチャー精神と多様性を活かした企業文化を育み、革新を生み出し続ける組織づくりを推進しています。関わるすべての人々を幸せにし、社会の発展に貢献するエコシステムの実現を目指して、同社は未来へ向けて進化を続けています。 ご要望の際はお気軽にお問い合わせください。