• 検索結果がありません。

目的

496 このファミリは、統合TOEで使用されるように、統合TOEのテスト及び基本コンポーネント のテストが実行されることを要求する。

コンポーネントのレベル付け

497 このファミリのコンポーネントは、インタフェーステストの厳格さ、及び統合TSFが依存情報

及び統合TOE SFRに従って動作することを実証するテストの十分性の分析の厳格さに基

づいて、レベル付けされている。

適用上の注釈

498 このファミリに関連するテストには、次の2つの異なる側面が存在する:

a) 基本コンポーネント及び依存コンポーネント間の、セキュリティ機能性の実施のた めに依存コンポーネントが依存するインタフェースの互換性を実証するためのテス ト;

b) 統合TOEのSFRに従ってTOEが動作することを実証するための統合TOEのテ スト。

499 依存コンポーネントの評価中に使用されるテスト構成に「プラットフォーム」としての基本コ ンポーネントの使用が含まれ、TSFがSFRに従って動作することをテストの分析が十分に 実証する場合、開発者は統合 TOE の機能性のテストをさらに実行する必要はない。ただ し、基本コンポーネントが依存コンポーネントのテストで使用されなかった場合、またはど ちらかのコンポーネントの構成が変更された場合、開発者は、統合TOEのテストを実行す る。これが、SFRに従って統合TOEのTSFが動作していることを十分に実証していれば、

依存コンポーネントの依存コンポーネント開発者テストを繰り返す形式でもよい。

500 開発者は、統合で使用される基本コンポーネントインタフェースをテストすることの証拠を 提供しなければならない。基本コンポーネントのTSFIの操作は、基本コンポーネントの評

価中に ATE: テストのアクティビティの一部としてテストされている可能性がある。このため、

依存コンポーネントが必要とするすべてのセキュリティ機能性が TSFに含まれている状態 で、適切なインタフェースが基本コンポーネント評価のテストサンプル内に含まれ、基本コ ンポーネントが評価構成に従って動作していることが、統合の根拠(ACO_COR)で決定さ れた場合は、基本コンポーネント ATE: テスト判定の再利用によって評価者アクション ACO_CTT.1.1Eを満たすことができる。

501 これに該当しない場合は、統合に関連して使用され、評価構成に対する変更及び追加の セキュリティ機能によって影響を受ける基本コンポーネントインタフェースが、期待された ふるまいを示すことを保証するためにテストされる。テストの対象である期待されるふるまい は、依存情報(依存コンポーネントの依存(ACO_REL)の証拠)で記述される。

ACO_CTT.1 インタフェーステスト

依存性: ACO_REL.1 基本依存情報

ACO_DEV.1 機能記述

目的

502 このコンポーネントの目的は、依存コンポーネントが依存する基本コンポーネントの各イン タフェースがテストされることを保証することである。

開発者アクションエレメント:

ACO_CTT.1.1D 開発者は、統合TOEのテスト証拠資料を提供しなければならない。

ACO_CTT.1.2D 開発者は、基本コンポーネントのインタフェーステスト証拠資料を提供しなければならない。

ACO_CTT.1.3D 開発者は、テストのために統合TOEを提供しなければならない。

ACO_CTT.1.4D 開発者は、基本コンポーネントの基本コンポーネント開発者機能テストで使用されたものと

同等の一連の資源を提供しなければならない。

内容・提示エレメント:

ACO_CTT.1.1C 統合 TOE 及び基本コンポーネントインタフェーステスト証拠資料は、テスト計画、期待さ

れるテスト結果、及び実際のテスト結果から構成されなければならない。

ACO_CTT.1.2C 開発者が実行した統合 TOE のテストによるテスト証拠資料は、TSFが仕様どおりに動作 することを実証しなければならない。

ACO_CTT.1.3C 開発者が実行した基本コンポーネントインタフェーステストのテスト証拠資料は、依存コン

ポーネントが依存する基本コンポーネントインタフェースが仕様どおりに動作することを実 証しなければならない。

ACO_CTT.1.4C 基本コンポーネントは、テストに適していなければならない。

評価者アクションエレメント:

ACO_CTT.1.1E 評価者は、提供された情報が、証拠の内容・提示に対するすべての要件を満たしている

ことを確認しなければならない。

ACO_CTT.1.2E 評価者は、開発者テスト結果を検証するために、テスト証拠資料内のテストのサンプルを

実行しなければならない。

ACO_CTT.1.3E 評価者は、統合TSFが仕様どおりに動作することを確認するために、統合TOETSF インタフェースのサブセットをテストしなければならない。

ACOクラス: 統合

ACO_CTT.2 厳格なインタフェーステスト

依存性: ACO_REL.2 依存情報

ACO_DEV.2 設計の基本証拠

目的

503 このコンポーネントの目的は、依存コンポーネントが依存する基本コンポーネントの各イン タフェースがテストされることを保証することである。

開発者アクションエレメント:

ACO_CTT.2.1D 開発者は、統合TOEのテスト証拠資料を提供しなければならない。

ACO_CTT.2.2D 開発者は、基本コンポーネントのインタフェーステスト証拠資料を提供しなければならない。

ACO_CTT.2.3D 開発者は、テストのために統合TOEを提供しなければならない。

ACO_CTT.2.4D 開発者は、基本コンポーネントの基本コンポーネント開発者機能テストで使用されたものと

同等の一連の資源を提供しなければならない。

内容・提示エレメント:

ACO_CTT.2.1C 統合TOE及び基本コンポーネントインタフェーステスト証拠資料は、テスト計画、期待され

るテスト結果、及び実際のテスト結果から構成されなければならない。

ACO_CTT.2.2C 開発者が実行した統合TOEのテストによるテスト証拠資料は、TSFが仕様どおりに動作 し、完全であることを実証しなければならない。

ACO_CTT.2.3C 開発者が実行した基本コンポーネントインタフェーステストのテスト証拠資料は、依存コン

ポーネントが依存する基本コンポーネントインタフェースが仕様どおりに動作し、完全であ ることを実証しなければならない。

ACO_CTT.2.4C 基本コンポーネントは、テストに適していなければならない。

評価者アクションエレメント:

ACO_CTT.2.1E 評価者は、提供された情報が、証拠の内容・提示に対するすべての要件を満たしている

ことを確認しなければならない。

ACO_CTT.2.2E 評価者は、開発者テスト結果を検証するために、テスト証拠資料内のテストのサンプルを

実行しなければならない。

ACO_CTT.2.3E 評価者は、統合TSFが仕様どおりに動作することを確認するために、統合TOEのTSFイ ンタフェースのサブセットをテストしなければならない。