信息安全測評技術(shù)ppt課件-資料下載頁
2025-01-12 13:35本頁面
【正文】 生成的，也是一個(gè)基本的假設(shè)條件；通過 EFSM模型生成的測試用例只能對 TPM的抽象功能 (主要是 TPM規(guī)范的第一部分 )進(jìn)行符合性測試，并不能對具體的實(shí)現(xiàn)接口進(jìn)行參數(shù)化的測試。 子系統(tǒng)測試先后順序 不同的子系統(tǒng)的測試是有先后順序的，如密碼子系統(tǒng)依賴于授權(quán)協(xié)議管理子系統(tǒng)，只有先對授權(quán)協(xié)議管理子系統(tǒng)進(jìn)行測試之后才能對密碼子系統(tǒng)進(jìn)行測試。 覆蓋度 覆蓋度是衡量測試用例完備性的一個(gè)重要手段．在一致性測試中，狀態(tài)覆蓋度和遷移覆蓋度是最常見的覆蓋標(biāo)準(zhǔn)． (完全狀態(tài)覆蓋， all state coverage)，測試集完全狀態(tài)覆蓋狀態(tài)變量 X指的是對于 x的任意取值，至少有一個(gè)測試用例覆蓋到該值．測試集完全狀態(tài)覆蓋 EFSM模型，指的是對于任意的狀態(tài)變量 Y，測試集都完全狀態(tài)覆蓋變量 Y． EFSM的可達(dá)性分析樹，是一顆表達(dá)在所有的可能性輸入的情況下，從初始節(jié)點(diǎn)出發(fā)擴(kuò)展有限狀態(tài)機(jī)的行為．對于每一個(gè)輸入序列，該樹包含一條從根出發(fā)的路徑．可達(dá)性樹是一個(gè)有向圖，因此可以通過圖論中的 DFS或 BFS方法對圖進(jìn)行遍歷． 生成可達(dá)性分析樹算法 l，從 EFSM的指定初始節(jié)點(diǎn)出發(fā)對 EFSM進(jìn)行深度優(yōu)先遍歷，生成可達(dá)性分析樹． 2．在深度優(yōu)先遍歷過稷中將遍歷到的節(jié)點(diǎn)放入已遍歷狀態(tài)集合 Stravel中． 3．當(dāng)遍歷深度 l時(shí)，停止可達(dá)性分析樹的生成． 4．先在可達(dá)分析樹中找到所有的可行路徑，為每條可信路徑指定具體的數(shù)據(jù)，主要指定的數(shù)據(jù)格式為 (命令號，隨機(jī)產(chǎn)生的命令數(shù)據(jù)，預(yù)期值 )。每一條路徑對應(yīng)一個(gè)完整的測試用例。 密碼予系統(tǒng)的可達(dá)性樹 節(jié)點(diǎn)標(biāo)示 EFSM中狀態(tài)，路徑表示 EFSM中的遷移，黑色節(jié)點(diǎn)表示初始節(jié)點(diǎn)． 測試用例數(shù)與覆蓋度 隨著覆蓋度的提高，生成的測試用例也不斷地增加，但是在覆蓋率為 ，測試用側(cè)數(shù)是比較合適的，如果再提高覆蓋率測試用例數(shù)將會急劇增加． 覆蓋率的計(jì)算公式為：Stravel／ Stotal。其中 Stotal表示總的狀態(tài)空間． 稍等一會?。。?
試題試卷相關(guān)推薦
鄂ICP備17016276號-1