freepeople性欧美熟妇, 色戒完整版无删减158分钟hd, 无码精品国产vα在线观看DVD, 丰满少妇伦精品无码专区在线观看,艾栗栗与纹身男宾馆3p50分钟,国产AV片在线观看,黑人与美女高潮,18岁女RAPPERDISSSUBS,国产手机在机看影片

正文內(nèi)容

軟件開發(fā)模型(文件)

2025-06-12 23:50 上一頁面

下一頁面
 

【正文】 迭代方法 – 軟件重用 第二章 軟件開發(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)一周。 需求分析
點擊復(fù)制文檔內(nèi)容
教學(xué)課件相關(guān)推薦
文庫吧 www.dybbs8.com
備案圖鄂ICP備17016276號-1