軟件結構性測試(1)-展示頁
2025-05-26 21:15本頁面
【正文】 流分析 – 數(shù)據流分析 – 信息流分析 ?邏輯覆蓋 – 語句覆蓋 – 分支覆蓋 – 條件覆蓋 – 分支 條件覆蓋 – 路徑覆蓋 結構測試的局限 ?不可能查出程序是否違反了設計規(guī)范 ?不可能查出程序中因遺漏路徑而出錯 ?可能發(fā)現(xiàn)不了一些與數(shù)據有關的錯誤 ?不易生成測試數(shù)據 代碼覆蓋率 ?采用白盒法進行測試時，考慮的是測試用例對程序內部邏輯的覆蓋程度 ?最徹底的白盒法是覆蓋程序中的每一條路徑，但這往往無法實現(xiàn) ?采用其它一些標準來量度覆蓋的程度，并希望覆蓋程度盡可能高些 課程目錄 ?結構測試 概述 ?程序結構分析 ?邏輯覆蓋 ?結構測試案例分析 ?結構測試工具使用 程序結構分析 ?代碼走查 ?代碼 審查 ?控制流分析 ?數(shù)據流分析 ?信息流分析 代碼走查 ? 含義 – 代碼走查是由一組程序和錯誤檢查技術組成，并以代碼審查組方式進行 ? 人員 – 組長（有威信的資深程序員擔任）：負責分配資料、安排計劃、主持會議、記錄并保存被發(fā)現(xiàn)的錯誤 – 資深程序員 – 測試人員 – 程序開發(fā)員（可做會議主持） 代碼走查 ?原因 –功能性測試很難實現(xiàn) 有太多的條件 有太多的測試用例 代碼 審查 ?內容 – 檢查代碼和設計的一致性 – 檢查代碼對標準的遵循、可讀性 – 檢查代碼的邏輯表達的正確性 – 檢查代碼結構的合理性 代碼 審查 ?步驟 – 準備 – 程序閱讀 – 審查會 – 跟蹤及報告 控制流分析 ?非結構化程序會給測試、排錯、和程序的維護帶來許多困難 ?要求寫出的程序結構良好 ?檢查程序的控制結構成為十分有意義的工作 程序流程圖 1 3 2 5 控制流圖 1 2 4 3 5 a b c d e f 控制流圖 ?節(jié)點 – 標有編號的圓圈 – 程序流程圖中矩形框所表示的處理 – 菱形表示的兩個甚至多個出口判斷 – 多條流線相交的匯合點 控制流圖 ?控制流線或弧 – 箭頭 – 與程序流程圖中的流線一致 ， 表明了控制的順序 – 控制流線通常標有名字 控制流圖矩陣 a c b d e f 1 2 3 4 5 1 2 3 4 5 控制流圖矩陣 ?便于機器表示和處理控制流圖 ?連接弧的節(jié)點的號碼決定了矩陣中元素的位置 ?注意控制流的方向 ?兩個節(jié)點沒有弧線，所對應的位置也就沒有元素 程序結構的基本要求 ?寫出的程序不應包含： – 轉向并不存在的標號 – 沒有用的語句標號 – 從程序入口進入后無法達到的語句 – 不能達到停機語句的語句 數(shù)據流分析 ?查找引用未定義變量等程序錯誤 ?查找對以前未曾使用的變量再次賦值等數(shù)據流異常的情況 ?常見的錯誤表現(xiàn)形式 – 錯拼名字 – 名字混淆 – 語句丟失 數(shù)據流 ?如果程序中某一語句執(zhí)行時能改變某程序變量 V的值，則稱 V被該語句定義 ?如果一語句的執(zhí)行引用了內存中變量 V的值，則稱 V被該語句引用 ?例如： – X=Y+Z。 – if YZ then return。 2 out_r = in_m。 5 out_r = out_r – in_n。amp。 if (A == 2 || X 1) X = X + 1。amp。amp。amp。amp。amp。i10。 } While(x3) {
高考資料相關推薦
鄂ICP備17016276號-1