軟件開發(fā)模型(文件)
【正文】 迭代方法 – 軟件重用 第二章 軟件開發(fā)模型 28 形式化方法模型 （ 1）轉(zhuǎn)換模型（ Transformational Model） ? 結(jié)合形式化軟件開發(fā)方法和程序自動生成技術(shù)的一種軟件開發(fā)模型。 第二章 軟件開發(fā)模型 32 凈室模型 需求 收集 盒結(jié)構(gòu) 規(guī)約 形式化 設(shè)計 正確性 驗證 代碼 檢查 測試計劃 統(tǒng)計性使用 測試 認(rèn)證 需求 收集 盒結(jié)構(gòu) 規(guī)約 形式化 設(shè)計 正確性 驗證 代碼 檢查 測試計劃 統(tǒng)計性使用 測試 認(rèn)證 需求 收集 盒結(jié)構(gòu) 規(guī)約 形式化 設(shè)計 正確性 驗證 代碼 檢查 測試計劃 統(tǒng)計性使用 測試 認(rèn)證 … … … … 增量 1 增量 2 增量 n 第二章 軟件開發(fā)模型 33 小結(jié) ? 軟件開發(fā)模型是不斷發(fā)展的 ? 各種軟件開發(fā)模型各有優(yōu)缺點 ? 選用時不必拘泥于某種模型 ? 可組合多種模型 ? 也可根據(jù)實際創(chuàng)建新的模型 。 第二章 軟件開發(fā)模型 29 轉(zhuǎn)換模型 形式化 規(guī)格說明 系統(tǒng)需求 與需求比 較后修正 變換 2 變換 1 變換 n … 測試 目標(biāo)系統(tǒng) 形式化開發(fā)記錄 第二章 軟件開發(fā)模型 30 ? 實施轉(zhuǎn)換模型的常用技術(shù)手段： – 基于模型的規(guī)格說明及其變換技術(shù) – 基于代數(shù)結(jié)構(gòu)的規(guī)格說明及其變換結(jié)構(gòu) – 基于時序邏輯的規(guī)格說明和驗證技術(shù) – 基于可視形式化的技術(shù) ? 從理論上來說，一個正確的、滿足客戶需要的形式化規(guī)格說明，經(jīng)過一系列正確的程序變換后，可以確保得到一個正確的軟件系統(tǒng)。構(gòu)件代表系統(tǒng)中的一部分物理實施，包括軟件代碼（源代碼、二進(jìn)制代碼或可執(zhí)行代碼）或其等價物（如腳本或命令文件）。 ? 實例 – 特定類所描述的一個具體對象 ,即對象是類的實例。 第二章 軟件開發(fā)模型 19 面向?qū)ο箝_發(fā)模型 ? 面向?qū)ο蟮幕靖拍? – 對象 (Object) – 類 (Class) – 繼承 (Inheritance) – 消息 (Message) – 面向?qū)ο螅綄ο?+類 +繼承 +消息通信 第二章 軟件開發(fā)模型 20 （ 1）對象 (Object) ? 客觀世界中的個體或事物的抽象表示，是它的屬性和相關(guān)操作的統(tǒng)一封裝體。 ? 是一種迭代模型，每迭代一次，螺旋線就前進(jìn)一周。 需求分析
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1