ATEクラス: テスト
開発者アクションエレメント:
ATE_DPT.1.1D 開発者は、テストの深さの分析を提供しなければならない。
内容・提示エレメント:
ATE_DPT.1.1C テストの深さの分析は、テスト証拠資料におけるテストとTOE設計におけるTSFサブシス テムの間の対応を実証しなければならない。
ATE_DPT.1.2C テストの深さの分析は、TOE設計内のすべてのTSF サブシステムがテストされていること を実証しなければならない。
評価者アクションエレメント:
ATE_DPT.1.1E 評価者は、提供された情報が、証拠の内容・提示に対するすべての要件を満たしている
ことを確認しなければならない。
ATE_DPT.2 テスト: セキュリティ実施モジュール
依存性: ADV_ARC.1 セキュリティアーキテクチャ記述
ADV_TDS.3 基本モジュール設計
ATE_FUN.1 機能テスト
目的
419 TSFのサブシステム及びモジュール記述は、TSFの内部動作に関する上位レベルの記述、
及びSFR実施モジュールのインタフェースの記述を提供する。TOE記述のこのレベルでの テストは、TSFサブシステム及びSFR実施モジュールが、TOE設計及びセキュリティアーキ テクチャ記述で記述されたとおり動作及び相互作用することへの保証を提供する。
開発者アクションエレメント:
ATE_DPT.2.1D 開発者は、テストの深さの分析を提供しなければならない。
内容・提示エレメント:
ATE_DPT.2.1C テストの深さの分析は、テスト証拠資料におけるテストとTOE設計におけるTSFサブシス テム及びSFR実施モジュールの間の対応を実証しなければならない。
ATE_DPT.2.2C テストの深さの分析は、TOE設計内のすべてのTSFサブシステムがテストされていることを 実証しなければならない。
ATE_DPT.2.3C テストの深さの分析は、TOE設計内のSFR実施モジュールがテストされていることを実証 しなければならない。
評価者アクションエレメント:
ATE_DPT.2.1E 評価者は、提供された情報が、証拠の内容・提示に対するすべての要件を満たしている
ことを確認しなければならない。
ATEクラス: テスト
ATE_DPT.3 テスト: モジュール設計
依存性: ADV_ARC.1 セキュリティアーキテクチャ記述
ADV_TDS.4 準形式的モジュール設計
ATE_FUN.1 機能テスト
目的
420 TSF のサブシステム及びモジュール記述は、TSF の内部動作に関する上位レベルの記
述、及びモジュールのインタフェースの記述を提供する。TOE記述のこのレベルでのテス トは、TSF サブシステム及びモジュールが、TOE 設計及びセキュリティアーキテクチャ記 述で記述されたとおり動作及び相互作用することへの保証を提供する。
開発者アクションエレメント:
ATE_DPT.3.1D 開発者は、テストの深さの分析を提供しなければならない。
内容・提示エレメント:
ATE_DPT.3.1C テストの深さの分析は、テスト証拠資料におけるテストとTOE設計におけるTSFサブシス テム及びモジュールの間の対応を実証しなければならない。
ATE_DPT.3.2C テストの深さの分析は、TOE設計内のすべてのTSFサブシステムがテストされていることを 実証しなければならない。
ATE_DPT.3.3C テストの深さの分析は、TOE 設計内のすべての TSF モジュールがテストされていることを 実証しなければならない。
評価者アクションエレメント:
ATE_DPT.3.1E 評価者は、提供された情報が、証拠の内容・提示に対するすべての要件を満たしている
ことを確認しなければならない。
ATE_DPT.4 テスト: 実装表現
依存性: ADV_ARC.1 セキュリティアーキテクチャ記述
ADV_TDS.4 準形式的モジュール設計
ADV_IMP.1 TSFの実装表現
ATE_FUN.1 機能テスト
目的
421 TSFのサブシステム及びモジュール記述は、TSFの内部動作に関する上位レベルの記述、
及びモジュールのインタフェースの記述を提供する。TOE記述のこのレベルでのテストは、
TSF サブシステム及びモジュールが、TOE 設計及びセキュリティアーキテクチャ記述で記 述されたとおり、及び実装表現に従って動作及び相互作用することへの保証を提供する。
開発者アクションエレメント:
ATE_DPT.4.1D 開発者は、テストの深さの分析を提供しなければならない。
内容・提示エレメント:
ATE_DPT.4.1C テストの深さの分析は、テスト証拠資料におけるテストとTOE設計におけるTSFサブシス テム及びモジュールの間の対応を実証しなければならない。
ATE_DPT.4.2C テストの深さの分析は、TOE設計内のすべてのTSFサブシステムがテストされていることを 実証しなければならない。
ATE_DPT.4.3C テストの深さの分析は、TOE設計内のすべてのモジュールがテストされていることを実証し
なければならない。
ATE_DPT.4.4C テストの深さの分析は、TSF がその実装表現に従って動作することを実証しなければなら
ない。
評価者アクションエレメント:
ATE_DPT.4.1E 評価者は、提供された情報が、証拠の内容・提示に対するすべての要件を満たしている
ことを確認しなければならない。
ATEクラス: テスト