【正文】 )。 (2)整體簡(jiǎn)潔性 (Overall Simplicity):設(shè)計(jì)表示相對(duì)易學(xué) 、 易用 、 易讀 。 (3)便于編輯 (Ease of Editing):支持后續(xù)設(shè)計(jì) 、 測(cè)試乃至維護(hù)階段對(duì)過(guò)程設(shè)計(jì)進(jìn) (4)機(jī)器可讀性 (Machine Readability):計(jì)算機(jī)輔助軟件工程 (CASE)環(huán)境已被廣泛接受 , 一種設(shè)計(jì)表示法若能直接輸入并被 CASE工具識(shí)別將帶來(lái)極大便利 。 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 66 （ 5)可維護(hù)性 (Maintainability):過(guò)程設(shè)計(jì)表示應(yīng)支持各種軟件配置項(xiàng)的維護(hù) 。 (6)強(qiáng)制結(jié)構(gòu)化 (Structure Enforcement):過(guò)程設(shè)計(jì)工具應(yīng)能強(qiáng)制設(shè)計(jì)人員采用 結(jié)構(gòu)化構(gòu)件 ，有助于產(chǎn)生好的設(shè)計(jì) 。 (7)自動(dòng)產(chǎn)生報(bào)告 (Automatic Processing):設(shè)計(jì)人員通過(guò)分析詳細(xì)設(shè)計(jì)的結(jié)果往往能突 發(fā)靈感 ,改進(jìn)設(shè)計(jì) 。 若存在自動(dòng)處理器 ,能產(chǎn)生有關(guān)設(shè)計(jì)的分析報(bào)告必將增強(qiáng)設(shè)計(jì)人員在這 方面的能力 。 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 67 (8)數(shù)據(jù)表示 (Data Representation):詳細(xì)設(shè)計(jì) (9)邏輯驗(yàn)證 (Logic Verification):能自動(dòng)驗(yàn)證設(shè)計(jì)邏輯的正確性是軟件測(cè)試 追求的最高目標(biāo) ,設(shè)計(jì)表示愈易于邏輯驗(yàn)證其可測(cè)試性愈強(qiáng) 。 (10)可編碼能力 (“ Code to” Ability):一種設(shè)計(jì)表示若能自然地轉(zhuǎn)換為代碼則能減少開發(fā) 費(fèi)用 ,降低出錯(cuò)率 。 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 68 對(duì)照上述屬性 ,到底哪一種過(guò)程設(shè)計(jì)工具最好呢 ?回答將因人而異 。 一般認(rèn)為 ， PDL較好地組合了這組特性 。PDL還可直接嵌在源代碼中作為設(shè)計(jì)文檔和注釋 ,減少維護(hù)的困難； PDL描述可用一般正文編譯器或字處理軟件編輯； PDL自動(dòng)處理器已經(jīng)面世 ,并有可能開發(fā)出“ 代碼自動(dòng)產(chǎn)生器 ” 。 然而 ,這并不意味著其他的設(shè)計(jì)工具一定弱于 PDL,例如 ,流程圖和盒圖能直觀地表示控制流程 ；判定表因能精確地描述組合條件與動(dòng)作之間的對(duì)應(yīng)關(guān)系 ， 特別適用于表格驅(qū)動(dòng)一類軟件的開發(fā)；其他一些設(shè)計(jì)工具也自有獨(dú)到之處 。 經(jīng)驗(yàn)表明 ,具體選擇過(guò)程設(shè)計(jì)工具時(shí) ,人的因素可能比技術(shù)因素更具有影響力 。 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 69 （自學(xué)） 軟件設(shè)計(jì)階段的輸出主要是設(shè)計(jì)規(guī)格說(shuō)明書 ,結(jié)構(gòu)如表 8． 2所示 ,各條款的內(nèi)容是在設(shè)計(jì)求精過(guò)程中逐步確定的 。 第 3章 軟件設(shè)計(jì)基礎(chǔ) 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 70 設(shè)計(jì)規(guī)格說(shuō)明與評(píng)審 設(shè)計(jì)說(shuō)明書 第一節(jié)描述與設(shè)計(jì)活動(dòng)有關(guān)的各個(gè)方面 ,該節(jié)中許多信息取自系統(tǒng)規(guī)格說(shuō)明書和系統(tǒng)定義階段產(chǎn)生的其他文檔 。 第二節(jié)具體指明引用信息的出處 。 第三節(jié)設(shè)計(jì)描述是概要設(shè)計(jì)的產(chǎn)物 ,設(shè)計(jì)由信息驅(qū)動(dòng) ,即軟件總體結(jié)構(gòu)主要受數(shù)據(jù)流程 、 數(shù)據(jù)結(jié)構(gòu)的影響 ,需求分析時(shí)產(chǎn)生的 DFD或其他某種形式的數(shù)據(jù)表示將在這一節(jié)中進(jìn)一步精化 ,用于確定軟件結(jié)構(gòu) 。 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 71 設(shè)計(jì)規(guī)格說(shuō)明與評(píng)審 第四節(jié)的模塊指軟件中可單獨(dú)編址的部件 ， 如函數(shù)和過(guò)程 ,最初用自然語(yǔ)言描述它們的功能 ,隨后采用某種過(guò)程設(shè)計(jì)工具將這些自然語(yǔ)言描述轉(zhuǎn)換為結(jié)構(gòu)化描述 ,第五節(jié)主要描述數(shù)據(jù)組織結(jié)構(gòu) ,包括輔存的文件結(jié)構(gòu) 、 全局?jǐn)?shù)據(jù) (例如FORTRAN公共區(qū) )的賦值以及這些文件與全局?jǐn)?shù)據(jù)的交叉訪問(wèn)關(guān)系 。 第六節(jié)是與需求規(guī)格說(shuō)明書的交叉訪問(wèn)表 ,根據(jù)交叉訪問(wèn)表可斷定設(shè)計(jì)是否滿足所有需求 ， 這對(duì)于完成某個(gè)具體需求的模塊來(lái)說(shuō)十分重要 。 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 72 設(shè)計(jì)規(guī)格說(shuō)明與評(píng)審 第七節(jié)測(cè)試的初步計(jì)劃 。 一旦軟件結(jié)構(gòu)和模塊間界面確定下來(lái)之后 ,即可制定模塊單元測(cè)試和聯(lián)調(diào)計(jì)劃 。 某些場(chǎng)合 ,要求同時(shí)開發(fā)測(cè)試規(guī)格說(shuō)明書與設(shè)計(jì)規(guī)格說(shuō)明書 , 此時(shí)第七節(jié)之內(nèi)容可從設(shè)計(jì)規(guī)格說(shuō)明書中刪去 。 軟件設(shè)計(jì)常常受各種限制的影響 ,例如物理存儲(chǔ)器容量 、 特殊外部接口對(duì)裝配的要求 、 必要的程序復(fù)蓋 、 虛存管理和高速處理等諸多因素都可能導(dǎo)致設(shè)計(jì)的修改 。 第八節(jié)將逐條說(shuō)明這種限制和造成的影響 。 第九 、 十兩節(jié)包括若干輔助數(shù)據(jù) ,如從其他文檔中節(jié)選的算法描述 、 候選的過(guò)程 、 表格化數(shù)據(jù)和其他相關(guān)信息 。 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 73 設(shè)計(jì)規(guī)格說(shuō)明與評(píng)審 ? 這些信息是對(duì)設(shè)計(jì)的一種特殊注釋 ,最后可開發(fā)一個(gè)基本操作規(guī)格說(shuō)明書或安裝手冊(cè)作為附錄 。 ? 為了確保文檔的質(zhì)量 ， 還必須對(duì)設(shè)計(jì)文檔進(jìn)行復(fù)審 。 ? 復(fù)審的目的在于及早發(fā)現(xiàn)設(shè)計(jì)中的缺陷和錯(cuò)誤 。 ? 在大型軟件的開發(fā)過(guò)程中某些錯(cuò)誤從一個(gè)階段傳到另一個(gè)階段呈擴(kuò)大趨勢(shì) ， 盡早發(fā)現(xiàn) 、 糾正錯(cuò)誤所需的代價(jià)較小 。 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 74 設(shè)計(jì)規(guī)格說(shuō)明與評(píng)審 ? 復(fù)審包括 軟件總體結(jié)構(gòu) 、 數(shù)據(jù)結(jié)構(gòu) 、 結(jié)構(gòu)的界面 、 模塊過(guò)程細(xì)節(jié) 。 ? 復(fù)審的重點(diǎn)內(nèi)容 軟件結(jié)構(gòu)能否滿足需求 ? 結(jié)構(gòu)的形態(tài)是否合理 ? 層次是否清晰 ? 模塊的劃分是否遵循模型化和信息隱藏的思想 ? 系統(tǒng)的人機(jī)界面 ， 各模塊的接口 ， 以及出錯(cuò)處理是否恰當(dāng) ?模塊的設(shè)計(jì)能否滿足功能與性能要求 ? 選擇的算法與數(shù)據(jù)結(jié)構(gòu)是否合理 ， 能否適應(yīng)編程語(yǔ)言 ? 等等 。 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 75 設(shè)計(jì)規(guī)格說(shuō)明與評(píng)審 復(fù)審 正式復(fù)審 軟件開發(fā)人員 、 用戶代表和領(lǐng)域?qū)＜覅⒓? 采用答辯形式 ， 與會(huì)者提前審閱了文檔 ， 設(shè)計(jì)人員在對(duì)設(shè)計(jì)方案詳細(xì)說(shuō)明后 ， 答復(fù)與會(huì)者的問(wèn)題并記下各種重要的評(píng)審意見 。 非正式復(fù)審 同行切磋 、 不拘時(shí)間 、 不拘形式 。 采用 “ 走查 ”法 ， 一 名設(shè)計(jì)人員到會(huì) ， 與同事逐行審閱文檔 ， 記錄發(fā)現(xiàn)的問(wèn)題 。 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 76 設(shè)計(jì)規(guī)格說(shuō)明與評(píng)審 ? 復(fù)審應(yīng)對(duì)事不對(duì)人 。 ? 軟件設(shè)計(jì)人員應(yīng)真誠(chéng)歡迎他人提意見和建議 ， 盡早揭露錯(cuò)誤 。 ? 參加復(fù)審的其他人員應(yīng)坦誠(chéng) 、 友好 ， 防止把復(fù)審變?yōu)橘|(zhì)詢或辯論 。 ? 對(duì)復(fù)審中提出的問(wèn)題應(yīng)詳細(xì)記錄 ， 不要奢望所有問(wèn)題都能當(dāng)場(chǎng)解決 。 ? 復(fù)審結(jié)束前 ， 還應(yīng)對(duì)本次復(fù)審作出結(jié)論 。 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 77 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 78 小結(jié)和重點(diǎn) ? 軟件設(shè)計(jì)的主要任務(wù)是根據(jù)需求規(guī)格說(shuō)明導(dǎo)出系統(tǒng)的實(shí)現(xiàn)方案 。 ? 軟件設(shè)計(jì)在技術(shù)上可分為總體結(jié)構(gòu)設(shè)計(jì) 、 數(shù)據(jù)設(shè)計(jì) 、 過(guò)程設(shè)計(jì)和界面設(shè)計(jì)四個(gè)活動(dòng)；在工程上可區(qū)分為概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)兩個(gè)階段 。 ? 軟件設(shè)計(jì)中用到基本概念包括：抽象與逐步求精；模塊化與信息隱藏；軟件總體結(jié)構(gòu) 、 數(shù)據(jù)結(jié)構(gòu)與軟件過(guò)程 。 ? 軟件過(guò)程設(shè)計(jì)中最常用的技術(shù)和工具主要為結(jié)構(gòu)化程序設(shè)計(jì) 、 流程圖 、 盒圖 、 判定表和 PDL語(yǔ)言 。 ? 軟件設(shè)計(jì)階段的輸出結(jié)果為設(shè)計(jì)規(guī)格說(shuō)明書 ， 此文檔經(jīng)嚴(yán)格復(fù)審后將作為編碼階段的輸入文檔 。 第 3章 軟件設(shè)計(jì)基礎(chǔ) 2022/2/16 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院 79 謝謝