程序設計及軟件工程基礎-閱讀頁
2025-01-21 18:27本頁面
【正文】 a是上級模塊， b是從屬模塊。 二級 ACCESS— 軟件設計及軟件工程基礎 結構化設計方法 — 總體設計 ?軟件結構設計工具 — 結構圖 (程序結構圖 ) 面向數(shù)據流的設計方法定義了一些不同的映射方法，利用這些方法可以把 數(shù)據流圖 變換成 結構圖 表示軟件的結構。 變換型系統(tǒng)結構圖由輸入、中心變換、輸出三部分組成。 二級 ACCESS— 軟件設計及軟件工程基礎 結構化設計方法 — 詳細設計 ?詳細設計基本任務 ? 為軟件結構圖中的每個模塊 確定實現(xiàn)算法和局部數(shù)據結構 ，用某種選定的表達工具表示算法和數(shù)據結構的細節(jié) ?常用設計工具 ? 圖形工具： 程序流程圖、 NS（方盒圖）、 PAD（問題分析圖）和 HIPO（層次圖 +輸入 /處理 /輸出圖）。 ? 語言工具： PDL（偽碼） 二級 ACCESS— 軟件設計及軟件工程基礎 軟件測試 ?目的、意義、人員 ? 通過合理的設計 測試用例 以最少的人力和時間發(fā)現(xiàn)潛在的各種錯誤和缺陷 ? 保證系統(tǒng)質量（滿足需求規(guī)格）和可靠性 ? 由開發(fā)人員、用戶一起完成 ? 測試基本方法 ? 人工測試（靜態(tài)測試）： 評審軟件文檔或程序， 包括代碼檢查、靜態(tài)結構分析、代碼質量度量。 ? 機器測試（動態(tài)測試）： 通過運行軟件 ，來檢驗結果的正確性。 二級 ACCESS— 軟件設計及軟件工程基礎 軟件測試 — 白盒測試 ?白盒測試（結構測試、邏輯驅動測試） ? 將軟件看成透明的白盒， 根據程序的內部結構和邏輯結構來設計測試例子，對程序的路徑和過程進行測試 ，檢查是否滿足設計的要求 ?白盒測試基本原則 ? 保證所測模塊中 每一獨立路徑 至少執(zhí)行一次； ? 保證所測模塊 所有判斷的 每一分支至少執(zhí)行一次； ? 保證所測模塊每一循環(huán)都在邊界條件和一般條件下至少各執(zhí)行一次； ? 驗證 所有內部數(shù)據結構 的有效性。 ?用例主要設計方法有 ? 邏輯覆蓋： 指一系列以程序內部的邏輯結構為基礎的測試用例設計技術。 二級 ACCESS— 軟件設計及軟件工程基礎 軟件測試 — 白盒測試 ?邏輯覆蓋設計的基本內容 （ 利用測試用例 ） ? 語句覆蓋： 使得程序每一個語句至少都能被執(zhí)行一次。 ? 判定覆蓋： 保證程序中每個判斷的每個取值分支（ T或 F）至少經歷一次。 ? 判斷 條件覆蓋： 使判斷中每個條件的所有可能取值至少執(zhí)行一次，同時每個判斷的所有可能取值分支至少執(zhí)行一次。 ? 黑盒測試主要用于軟件的確認測試。 ? 邊界值分析法： 它是對各種輸入、輸出范圍的邊界情況設計測試用例的方法。 軟件測試 — 黑盒測試 二級 ACCESS— 軟件設計及軟件工程基礎 軟件測試分四個步驟：單元測試、集成測試、確認測試（驗收測試）、系統(tǒng)測試。 ? 集成測試： 將模塊組裝起來后進行測試，主要目的是發(fā)現(xiàn)與 接口有關 的錯誤。 ? 系統(tǒng)測試： 將軟件系統(tǒng)與硬件、外設及其他元素結合在一起，對 整個軟件系統(tǒng) 進行測試，發(fā)現(xiàn)軟件與系統(tǒng)定義不符合或與之矛盾的地方。 ? 目的： 發(fā)現(xiàn)各 模塊內部 可能存在的各種錯誤。 ? 測試技術： 通常以 白盒測試 為主，輔之以 黑盒測試 ? 單元測試內容： 模塊接口測試、局部數(shù)據結構測試、錯誤處理測試和邊界測試 。 ? 目的： 發(fā)現(xiàn)與 接口有關 的錯誤 ? 測試用例設計： 依據 概要設計說明書 ? 單元測試內容： 軟件單元的接口測試、全局數(shù)據結構測試、邊界條件和非法輸入的測試等 ? 集成測試通常采用兩種方式： 非增量方式組裝與增量方式組裝。 ? 測試用例設計： 軟件需求規(guī)格說明書 ? 測試方法： 主要運用 黑盒測試法 ?系統(tǒng)測試 ? 任務： 通過與系統(tǒng)的需求定義進行比較，發(fā)現(xiàn)軟件與系統(tǒng)定義不符合或與之矛盾的地方。 ? 在開放階段，由 開發(fā)人員 來進行，誰開發(fā)的程序就由誰來進行調試。 靜態(tài)調試主要是指通過人的思維來分析源程序代碼和排錯，是 主要的調試手段 ，而動態(tài)調試是輔助靜態(tài)調試。 ? 回溯法排錯： 發(fā)現(xiàn)了錯誤，分析錯誤征兆，確定發(fā)現(xiàn) “ 癥狀 ” 的位置。 ? 原因排除法（演繹、歸納、二分法 ) ? 演繹法： 根據已有的測試用例，設想及枚舉出所有可能出錯的原因作為假設；然后再用原始測試數(shù)據或新的測試，從中逐個排除不可能正確的假設；最后，再用測試數(shù)據驗證余下的假設確定出錯的原因。大致分四步：收集有關的數(shù)據；組織數(shù)據；提出假設；證明假設。如果輸出結果正確，則錯誤原因在程序的前半部分；反之，錯誤原因在程序的后半部
教學課件相關推薦
鄂ICP備17016276號-1