8.6　測試

8.6　測試

8.6.1　覆蓋證據（ATE_COV.1）

依賴關系： ADV_FSP.2 安全執行功能規范。
ATE_FUN.1 功能測試。
開發者行為元素：
ATE_COV.1.1D開發者應提供測試覆蓋的證據。
內容和形式元素：
ATE_COV.1.1C測試覆蓋的證據應表明測試文檔中的測試與功能規范中的TSF接口之間的對應性。
評估者行為元素：

8.6.2　覆蓋分析（ATE_COV.2）

依賴關系：ADV_FSP.2 非形式化功能規范。
ATE_FUN.1 功能測試。
開發者行為元素：
ATE_COV.2.1D開發者應提供測試覆蓋的一個分析。
內容和形式元素：
ATE_COV.2.1C測試覆蓋的分析應證實測試文檔中所標識的測試與功能規范中所描述的TSF之間的對應性。
ATE_COV.2.2C測試覆蓋的分析應證實功能規范中所描述TSF與測試文檔所標識的測試之間的對應性是完備的。
評估者行為元素：

8.6.3　測試：基本設計（ATE_DPT.1）

依賴關系：ADV_ARC.1 安全架構描述。
ADV_TDS.2 架構設計。
ATE_FUN.1 功能測試。
開發者行為元素：
ATE_DPT.1.1D開發者應提供測試深度的分析。
內容和形式元素：
ATE_DPT.1.1C深度分析應證實測試文檔中所標識的測試足以證實該TSF是按照其高層設計運行的。
ATE_DPT.1.2C 深度分析應當證實所有TSF子系統都被測試。
評估者行為元素：

8.6.4　功能測試（ATE_FUN.1）

依賴關系：ATE_COV.1：證據覆蓋。
開發者行為元素：
ATE_FUN.1.1D 開發者應測試TSF并形成結果文檔。
ATE_FUN.1.2D 開發者應提供測試文檔。
內容和形式元素：
ATE_FUN.1.1C 測試文檔應包括測試計劃、預期 測試結果和實際測試結果。
ATE_FUN.1.2C 測試計劃應標明所開展的測試并描述每個測試的測試場景。這些場景應包括對其他測試結果的次序依賴。
ATE_FUN.1.3C 預期測試結果應給出成功執行測試的預期輸出。
ATE_FUN.1.4C 實際測試結果應與預期測試結果一致。
評估者行為元素：

8.6.5　獨立測試—抽樣（ATE_IND.2）

依賴：ADV_FSP.2:安全執行功能規范。
AGD_OPE.1:用戶操作指南。
AGD_PRE.1:準備過程。
ATE_FUN.1:功能測試；
ATE_COV.1:證據覆蓋。
開發者行為元素：
ATE_IND.2.1D開發者提供TOE用于測試。
內容和形式元素：
ATE_IND.2.1CTOE應適于測試。
ATE_IND.2.2C開發者應提供開發者進行TSF功能測試的等同資源。
評估者行為元素：
ATE_IND.2.1E 評估者應確認所提供的信息滿足證據的內容和形式的所有要求。
ATE_IND.2.2E 評估者應執行一個測試文件中的測試用例以檢驗開發者的測試結果。