Loading article…
Ada 適合性評価テスト スイート( ACATS )は、 Adaプロセッサの適合性テストに使用されるテスト スイートです。以前のテスト スイートは、 Ada コンパイラ検証機能( ACVC )と呼ばれていました。
ACVC時代
Adaコンパイラ検証機能テストスイートは、一般的にACVCテストと呼ばれ、[1] Ada言語用に開発されたオリジナルのテストスイートです。ACVCシステムは、Ada Joint Program Officeの支援を受けて組織されました。[2]
このテストは、1980年頃からアメリカの会社SofTechによって開発されました。 [1] テストスイートは、当時そのような防衛関連アプリケーションの主要なホストプラットフォームであったVAX / VMSシステム[3]をモデルにしています。一部のテストは、言語機能の組み合わせを網羅的に列挙することなく、最も効果的にカバーするための方法として、直交ラテン方陣を使用して作成されました。 [1]
個々のテストファイルは、例えばC45210A.ADAのように、Adaリファレンスマニュアルの参照セクションに基づいていました。[1] このスイートには、ポジティブテストとネガティブテストの両方が含まれていました。[4] ベンダーから寄せられた、1つまたは複数のテストの特定の側面が言語標準を正確に反映しているかどうかの質問を検討するための組織が設立されました。[2]
1985 年に最初の Ada 検証証明書が発行されました。[2]言語の使用が最も盛んだった 1985 年から 1993 年にかけて、ベンダーの ACVC 申請を処理できる Ada 検証施設が世界中に 5 つありました。ライト パターソン空軍基地の言語管理施設(米国)、米国国立標準局(米国、すぐに国立標準研究所に改名)、国立コンピューティング センター(英国)、AFNOR (フランス)、IABG (ドイツ) です。[2] しかし、防衛や類似のアプリケーションでの Ada の使用が減少し始めると、検証契約の数も減少し、これらの施設のいくつかは機能しなくなったり、責任を移管したりしました。[4]
Adaコンパイラ検証機能は、1998年にAda共同プログラムオフィスが閉鎖されたことで終了しました。[2] しかし、Adaコンパイラベンダーは依然として検証メカニズムを望んでいたため、それに代わる新しい検証システムであるAda適合性評価テストスイートが考案されました。[2]
ACATS時代
テストレポートの序文には次の内容が含まれています。
- 適合性評価は、このレポートに記載されているもの以外、プロセッサが Ada 標準に準拠していないことを保証するものではありません。コンパイラ ベンダーは、テストされたプロセッサに Ada 標準からの意図的な逸脱がないことを宣言します。この適合宣言のコピーは、証明書の直後に提示されます。
現在の ACAA 手順の背景の 2 番目の段落には、次のように書かれています。
- 適合性評価の範囲と目的に注意することが重要です。適合性評価の目的は、Ada プロセッサが Ada 標準 ([TC1] によって修正された Ada95) に高度に適合していることを確認することです。パフォーマンスや特定のアプリケーションへの適合性などの特性は標準では指定されていないため、Ada 適合性評価の範囲外です。さらに、ACATS は、正しい実装を広範囲にチェックすることを目的とした一連のテスト プログラムです。適合性を徹底的にテストすることはできません。したがって、適合性はこれらのテストの範囲内でのみチェックされます。適合していると認定されたプロセッサでも、特定の状況下では、それぞれに固有の方法で標準に適合しない場合があります。
ACATS は 1821 のテストから構成され、255,838 行のコードで構成され、30 MB のストレージを占有します。テスト スイートは、たとえばAda コンパイラGNATも含まれるGNU コンパイラ コレクションのソース配布の一部として公開されています。
参照
参考文献
- ^ abcd Mandl, Robert (1985年10月). 「直交ラテン方陣: 実験設計のコンパイラテストへの応用」Communications of the ACM . 28 (10): 1054–1058. doi : 10.1145/4372.4375 .
- ^ abcdef Brashear, Phil (1999年3月). 「Ada検証:= Ada適合性評価」. Ada Letters . XIX (1): 48–51. doi : 10.1145/311457.311470 .
- ^ 「Ada コンパイラ検証機能 (ACVC) バージョン 1.11 (フィールドテスト リリース)」。国防技術情報センター。1989 年 6 月 1 日。
- ^ ab Tonndorf, Michael (1999). 「Ada 適合性評価: 他のプログラミング言語のモデル?」. 1999 年 ACM SIGAda 国際 Ada 会議 (SIGAda '99) の議事録。Association for Computing Machinery。pp. 89–99。doi : 10.1145 /319294.319310。
- ISO/IEC 18009:1999 情報技術 - プログラミング言語 - Ada: 言語プロセッサの適合性評価 (ACATS)
外部リンク
- 公式サイト