軟件開發(fā)模型-資料下載頁
2025-05-13 23:50本頁面
【導(dǎo)讀】面向?qū)ο箝_發(fā)模型。每一時(shí)期又可細(xì)分為若干更小的階段。將軟件開發(fā)過程劃分生存周期的目的：。模增長而大大增加了的軟件復(fù)雜性變得較易控制和管理。由用戶審查和認(rèn)可?？尚行苑治鰧?duì)問題的解決給出在技術(shù)上可行、且在經(jīng)濟(jì)上有較。目不值得進(jìn)行，應(yīng)提出終止該項(xiàng)目的建議。格說明書”的形式準(zhǔn)確地表達(dá)出來。軟件設(shè)計(jì)將需求轉(zhuǎn)變?yōu)檐浖谋硎拘问?，確定軟件的總體。結(jié)構(gòu)、數(shù)據(jù)結(jié)構(gòu)、用戶界面和算法細(xì)節(jié)。和詳細(xì)設(shè)計(jì)兩個(gè)階段。編碼按照選定的語言，把設(shè)計(jì)的過程性描述翻譯為源程序。足用戶的需求和延長使用壽命。想在后階段獲得正確的結(jié)果，必須在前階段有正確的輸出；每一階段都要對(duì)已完成的文檔進(jìn)行復(fù)審，以便盡早發(fā)現(xiàn)問題，消除隱患。及時(shí)復(fù)審是保證軟件質(zhì)量、降低開發(fā)成本的重要措施。發(fā)活動(dòng)處理成線性的或主要是線性的。一個(gè)螺旋周期內(nèi)的工作步驟
【正文】 命令文件）。 ? 構(gòu)件集成模型利用預(yù)先封裝好的軟件構(gòu)件來構(gòu)造應(yīng)用軟件系統(tǒng)，融合了螺旋模型的很多特征，支持迭代方法。 第二章 軟件開發(fā)模型 26 ? 構(gòu)件集成模型 第二章 軟件開發(fā)模型 27 ? 特點(diǎn) – 面向?qū)ο? – 基于構(gòu)件庫 – 融合螺旋模型特征 – 支持軟件開發(fā)的迭代方法 – 軟件重用 第二章 軟件開發(fā)模型 28 形式化方法模型 （ 1）轉(zhuǎn)換模型（ Transformational Model） ? 結(jié)合形式化軟件開發(fā)方法和程序自動(dòng)生成技術(shù)的一種軟件開發(fā)模型。 ? 采用嚴(yán)格的數(shù)學(xué)表示體系來表示軟件規(guī)格說明，然后進(jìn)行一系列自動(dòng)或半自動(dòng)的程序變換，最后轉(zhuǎn)換為計(jì)算機(jī)系統(tǒng)能夠接受的目標(biāo)程序。 第二章 軟件開發(fā)模型 29 轉(zhuǎn)換模型 形式化 規(guī)格說明 系統(tǒng)需求 與需求比 較后修正 變換 2 變換 1 變換 n … 測試 目標(biāo)系統(tǒng) 形式化開發(fā)記錄 第二章 軟件開發(fā)模型 30 ? 實(shí)施轉(zhuǎn)換模型的常用技術(shù)手段： – 基于模型的規(guī)格說明及其變換技術(shù) – 基于代數(shù)結(jié)構(gòu)的規(guī)格說明及其變換結(jié)構(gòu) – 基于時(shí)序邏輯的規(guī)格說明和驗(yàn)證技術(shù) – 基于可視形式化的技術(shù) ? 從理論上來說，一個(gè)正確的、滿足客戶需要的形式化規(guī)格說明，經(jīng)過一系列正確的程序變換后，可以確保得到一個(gè)正確的軟件系統(tǒng)。 第二章 軟件開發(fā)模型 31 （ 2）凈室模型（ Cleanroom Model） ? 一種形式化的增量開發(fā)模型 ? 基本思想：力求在分析和設(shè)計(jì)階段就消除錯(cuò)誤，確保正確，然后在無缺陷或“潔凈”的狀態(tài)下實(shí)現(xiàn)軟件的制作。 第二章 軟件開發(fā)模型 32 凈室模型 需求 收集 盒結(jié)構(gòu) 規(guī)約 形式化 設(shè)計(jì) 正確性 驗(yàn)證 代碼 檢查 測試計(jì)劃 統(tǒng)計(jì)性使用 測試 認(rèn)證 需求 收集 盒結(jié)構(gòu) 規(guī)約 形式化 設(shè)計(jì) 正確性 驗(yàn)證 代碼 檢查 測試計(jì)劃 統(tǒng)計(jì)性使用 測試 認(rèn)證 需求 收集 盒結(jié)構(gòu) 規(guī)約 形式化 設(shè)計(jì) 正確性 驗(yàn)證 代碼 檢查 測試計(jì)劃 統(tǒng)計(jì)性使用 測試 認(rèn)證 … … … … 增量 1 增量 2 增量 n 第二章 軟件開發(fā)模型 33 小結(jié) ? 軟件開發(fā)模型是不斷發(fā)展的 ? 各種軟件開發(fā)模型各有優(yōu)缺點(diǎn) ? 選用時(shí)不必拘泥于某種模型 ? 可組合多種模型 ? 也可根據(jù)實(shí)際創(chuàng)建新的模型
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1