【正文】 明確軟件系統(tǒng)將來達(dá)到的目標(biāo)。 下一頁 上一頁 停止放映 第 21 頁 軟件需求定義的工作流程 系統(tǒng)定義 用戶要求 軟件功能 范圍 功能說明書 軟件計(jì)劃 軟件定義 軟件功能 費(fèi)用、資源進(jìn)度 下一頁 上一頁 停止放映 第 22 頁 需求分析過程 ? 基本過程示意圖 ? 沿?cái)?shù)據(jù)流回溯 ? 用戶復(fù)查 ? 細(xì)化數(shù)據(jù)流圖 ? 修改開發(fā)計(jì)劃 ? 書寫文檔資料 ? 審查和復(fù)審 下一頁 上一頁 停止放映 第 23 頁 需求分析的基本過程 用戶 分析員 程序員 軟件開發(fā)計(jì)劃 軟件需求說明書 分析追蹤 數(shù)據(jù)流圖 用戶復(fù)查 細(xì)化數(shù)據(jù) 流圖 無補(bǔ)充 修改 需要分解 不要分解 有補(bǔ)充修改 交換意見 作出貢獻(xiàn) 下一頁 上一頁 停止放映 第 24 頁 沿?cái)?shù)據(jù)流回溯 ? 通常從數(shù)據(jù)流圖的輸出端著手分析，要搞清楚： – 數(shù)據(jù)元素從哪兒來？ – 每個(gè)輸出數(shù)據(jù)元素又是從哪兒來的？ 有時(shí)對用戶具體的數(shù)據(jù)元素還搞不清楚，則需要和用戶探討、商量解決。 下一頁 上一頁 停止放映 第 31 頁 需求分析的原則 ? 1． 能夠表達(dá)和理解問題的信息域 信息域反映的是用戶業(yè)務(wù)系統(tǒng)中數(shù)據(jù)的流向和對數(shù)據(jù)進(jìn)行加工的處理過程 ， 因此信息域是解決 “ 做什么 ？ ” 的關(guān)鍵因素 。一般采用計(jì)算機(jī)進(jìn)行 DD的自動(dòng)管理，包括：建立新的條目定義、修改、查詢操作等。 PSL是用來描述系統(tǒng)的形式語言， PSA是處理 PSL描述的分析程序。 下一頁 上一頁 停止放映 第 45 頁 結(jié)構(gòu)分析方法 (SA方法 ) ? 結(jié)構(gòu)化分析方法的背景 (形成 ) –早期無系統(tǒng)分析方法 (憑經(jīng)驗(yàn) ) – 60年代美國的科學(xué)家提出一種理論 : SP SD SA –目前研究的新熱點(diǎn)是 : OOP OOD OOA 即面向?qū)ο蟮某绦蛟O(shè)計(jì)技術(shù) (OOObject Oriented ) 下一頁 上一頁 停止放映 第 46 頁 SA的一般步驟 1． 建立當(dāng)前系統(tǒng)的物理模型 即理解并描述當(dāng)前系統(tǒng)是怎樣進(jìn)行工作的 。 ? 不分模塊的程序是無法理解 、 管理和維護(hù)的程序 。 – 顯然，獨(dú)立性強(qiáng)的模塊，藕合性越小越好，內(nèi)聚性越大越好。 下一頁 上一頁 停止放映 第 68 頁 內(nèi)聚性問題的討論 ? 從使用角度分析 ， 能否用一個(gè)短句完整地描述該模塊做什么；若這個(gè)短句是復(fù)合句 ， 或有若干個(gè)動(dòng)詞 ， 則該模塊是非功能性模塊 。 DFD被映射為一個(gè)特殊的軟件結(jié)構(gòu)：輸入控制 、變換控制和輸出控制 ， 再人為地為它們加一個(gè)主控模塊 。 模塊化設(shè)計(jì)便于協(xié)同開發(fā) ， 因而可以顯著提高軟件系統(tǒng)的成功率和生產(chǎn)率 。 ? 這些問題都是 SP方法本身解決不了的 。 一旦發(fā)生異常 ， 只能通過調(diào)試手段去追蹤 、解決 。 ? 標(biāo)識(shí)符 命名要有一定的規(guī)則；用拼音或英文字符 。 測試心理學(xué)分析 下一頁 上一頁 停止放映 第 114 頁 ? 測試 為了發(fā)現(xiàn)錯(cuò)誤而執(zhí)行程序的過程 ? 調(diào)試 找出程序中的錯(cuò)誤原因 、 位置并加以糾正 ? 可靠性 在給定時(shí)間內(nèi) ， 軟件不發(fā)生錯(cuò)誤的概率 ? 黑盒測試法 不考慮程序的內(nèi)部結(jié)構(gòu)和處理過程的測試 ， 也稱為功能測試 。b=0？ a=2||x1? y=x/a x=x+1 A B C D E 下一頁 上一頁 停止放映 第 119 頁 邏輯覆蓋分析 ——語句覆蓋 ? 執(zhí)行程序中的每個(gè)語句。 ? 各種可能的組合共有八種： ?ａ＞１，ｂ＝０ ? ａ＞１，ｂ＜＞０ ?ａ＜＝１，ｂ＝０ ? Ａ＜＝１，ｂ＜＞０ ? ａ＝２，ｘ＝１ ? ａ＝２，ｘ＜＝１ ?ａ＜＞２，ｘ＞１ ? ａ＜＞２，ｘ＜＝１ ? 下面４組測試數(shù)據(jù)可以覆蓋上面８種條件組合： ａ＝２，ｂ＝０，ｘ＝４ 覆蓋 ? ? ａ＝２，ｂ＝１，ｘ＝１ 覆蓋 ? ? ａ＝１，ｂ＝０，ｘ＝２ 覆蓋 ? ? ａ＝１，ｂ＝０，ｘ＝１ 覆蓋 ? ? 注：這４組數(shù)據(jù)并 不能覆蓋程序中的 每條路徑，ａｃｄ 就沒執(zhí)行。 ? 有下列啟發(fā)式規(guī)則： – 若輸入條件規(guī)定值的個(gè)數(shù)，則分別選取值的最大個(gè)數(shù)、最小個(gè)數(shù)以及接近最大、最小的個(gè)數(shù)作為測試用例； – 對輸入條件規(guī)定有值的范圍，則選用范圍邊界數(shù)及剛超出范圍的無效數(shù)作為測試用例； – 若輸入／輸出是有序集，則注意第一個(gè)和最后一個(gè)； – 對三角函數(shù)的自變量，注意特殊角度的值。例如 ,表達(dá)式 A AND B ,如果 A為假 ,則就不再檢查 B了。amp。恰恰相反，沒有找出錯(cuò)誤的測試被認(rèn)為是失敗的測試；而”成功的測試是能夠發(fā)現(xiàn)隱藏的差錯(cuò)的測試“。 ? 程序員知識(shí) 學(xué)習(xí)和掌握一門語言是兩個(gè)完全不同的標(biāo)準(zhǔn) ，應(yīng)盡可能選用程序員熟悉的語言 。 為此 ， 有些語言中增加了諸如： exit、 break、 loop、 escape等語句 ， 改善了程序結(jié)構(gòu)的可讀性 。 其它模塊的可重用性很小 。 下一頁 上一頁 停止放映 第 90 頁 SP中選擇結(jié)構(gòu)的擴(kuò)展形式 ? 邏輯條件多分支 IF ORIF ELSE 結(jié)構(gòu) ? 數(shù)值匹配多分支 CASE結(jié)構(gòu) 入口 P 入口 A B C N ... 出口 I=? e1 e2 e3 ELSE A B C N 出口 1 2 3 ELSE 下一頁 上一頁 停止放映 第 91 頁 SP中的重復(fù)結(jié)構(gòu) ? 當(dāng)型循環(huán) ? 直到型循環(huán) 入口 出口 A P B 入口 出口 A P ? 擴(kuò)展型 DO WHILE DO結(jié)構(gòu) 入口 出口 A P 下一頁 上一頁 停止放映 第 92 頁 SP中的出口結(jié)構(gòu) ? ESCAPE結(jié)構(gòu) 當(dāng)條件成立時(shí) ,離開循環(huán)體 。 下一頁 上一頁 停止放映 第 77 頁 汽車數(shù)字儀表系統(tǒng)的 DFD 旋轉(zhuǎn) 信號(hào) 讀旋 轉(zhuǎn)信號(hào) 信號(hào) /秒 SPS 讀旋和 求均值 燃料流 信號(hào) 讀和 校對 燃料流 計(jì)算 gph 轉(zhuǎn)換為 轉(zhuǎn) /分 rpm SPS rpm mph 計(jì)算 mph和 超速值 mph 顯示 產(chǎn)生 mph 顯示 gph mpg mpg 顯示 計(jì)算 燃料 消耗 產(chǎn)生 mpg 顯示 mph SPS rpm 超速值 發(fā)出 鈴聲 鈴聲 產(chǎn)生 里程 里程 計(jì)算 里程 英里 確定加 減速 產(chǎn)生加 減速顯示 箭頭 指示 水平線 下箭頭 上箭頭 輸入流 變換流 輸出流 ? SPS 下一頁 上一頁 停止放映 第 78 頁 設(shè)計(jì)步驟（一） ? 第 1步： 確定 DFD及其類型 。 ? 在理想的系統(tǒng)中 ， 每個(gè)模塊執(zhí)行一個(gè)明確 、 單一的任務(wù) 。 ? 模塊太小 ， 又會(huì)使系統(tǒng)過于零碎 ， 接口的工作量增加 。 下一頁 上一頁 停止放映 第 54 頁 軟件設(shè)計(jì)原則 ? 軟件設(shè)計(jì)的重要性表現(xiàn)在軟件的質(zhì)量 。 ? PROLOG 是開發(fā)原型系統(tǒng)使用最普遍的語言 ,具有極強(qiáng)的知識(shí)表達(dá)、推理和查詢功能，在表達(dá)知識(shí)和快速建立軟件原型方面具有明顯優(yōu)勢。 –能夠改進(jìn)通信狀況 下一頁 上一頁 停止放映 第 43 頁 已有的需求分析的軟件工具 ? RSL 需求陳述語言；其語句是計(jì)算機(jī)可以處理的，并將處理結(jié)果集中存放在 ASSM（抽象系統(tǒng)語義模型）的 DB中。 下一頁 上一頁 停止放映 第 36 頁 結(jié)構(gòu)圖分層舉例 賓館 管理 DFD/L0 頂層圖 第 2層圖 DFD/L1 A D C E 第 3層圖 DFD/ DFD/ A1 A2 A3 E1 E2 B 下一頁 上一頁 停止放映 第 37 頁 數(shù)據(jù)字典 DD（ Data Directory） ? DD對數(shù)據(jù)流程圖中出現(xiàn)的所有元素給出邏輯定義 。 –用戶系統(tǒng)描述 從用戶角度描述系統(tǒng)，類似一份用戶手冊初稿。 ? 系統(tǒng)性能要求 例如，聯(lián)機(jī)系統(tǒng)的響應(yīng)時(shí)間，系統(tǒng)需要的存儲(chǔ)容量以及后援存儲(chǔ)，重新啟動(dòng)和安全性等問題。 ? SD方法的基礎(chǔ)是數(shù)據(jù)流程圖 ， 因此也稱為面向數(shù)據(jù)流的設(shè)計(jì)方法 。 在每個(gè)階段有不同的規(guī)劃和標(biāo)準(zhǔn) ， 產(chǎn)生出不同階段的文檔資料 。 ? 問題的核心是 ” 分解 “ 。 ? 測試工程師 具有較高遍程水準(zhǔn)和經(jīng)驗(yàn) ， 負(fù)責(zé)系統(tǒng)測試；是程序生產(chǎn)過程中的檢驗(yàn)員 。 下一頁 上一頁 停止放映 第 19 頁 軟件需求定義的特點(diǎn) ? 它是軟件生存周期中最容易出錯(cuò)的一個(gè)階段，也是軟件工程中最困難的一個(gè)階段。 ? 在復(fù)查過程中反映出新的問題，應(yīng)及時(shí)修改、補(bǔ)充 DFD、 DD和 IPO圖，并將對系統(tǒng)的新認(rèn)識(shí)及時(shí)記錄下來。 在系統(tǒng)需求分析過程中為了準(zhǔn)確描述需求，常采用一些簡單的描述工具，例如數(shù)據(jù)流程圖（ DFD）、數(shù)據(jù)字典（ DD）、結(jié)構(gòu)化語言、判定表和判定樹等。 CASE 時(shí)間 18 Rrent=rent。 ? APL 是一種處理矩陣運(yùn)算的、功能強(qiáng)大的超高級語言。 目標(biāo)系統(tǒng)是指將來由計(jì)算機(jī)處理的軟件系統(tǒng) ， 它是在分析當(dāng)前系統(tǒng)邏輯模型與目標(biāo)系統(tǒng)邏輯模型的差別基礎(chǔ)上建立起來的 。 若不滿足該準(zhǔn)則 ， 就將判別條件移到上屬模塊中去 ，使其影響范圍在控制范圍內(nèi) ， 或者將受影響的模塊移入控制范圍內(nèi) 。 ? 公用藕合 幾個(gè)模塊公用一個(gè)全程數(shù)據(jù)區(qū)；這種問題就比較復(fù)雜 。 下一頁 上一頁 停止放映 第 71 頁 數(shù)據(jù)流程圖分類 ? 變換流 加工 中心 輸入 加工 輸出 加工 輸入 輸出 內(nèi)部 結(jié)果 內(nèi)部 數(shù)據(jù) 輸入流 輸出流 變換流 加工結(jié)果 下一頁 上一頁 停止放映 第 72 頁 事物流 事物 中心 T 數(shù)據(jù)流 事物中心 t1 t2 t3 t4 事物路徑 事物流 一個(gè)數(shù)據(jù)流經(jīng)過某個(gè)加工后，有若干個(gè)平行的數(shù)據(jù)流 流出，將這種變換稱為事物流。 – 同理為每一個(gè)邏輯輸出設(shè)計(jì)一個(gè)輸出模塊，它要輸出上屬模塊送來的信息，而該模塊又需要兩個(gè)下屬模塊；一個(gè)轉(zhuǎn)換送來的信息，另一個(gè)把轉(zhuǎn)換的信息送走。 ? 共用模塊可重用 。 編譯系統(tǒng)能發(fā)現(xiàn)程序中對某個(gè)特定類型的對象使用不當(dāng)?shù)腻e(cuò)誤 ， 有助于減少程序錯(cuò)誤 。 ? 因此 ， 除了在一些特殊應(yīng)用領(lǐng)域 （ 例如 ， 對程序執(zhí)行時(shí)間 、 存儲(chǔ)空間都有很嚴(yán)格限制的情況；需要產(chǎn)生任意的 、 甚至非法的指令序列等 ） 之外 ， 其他程序一律使用高級語言編程 。 下一頁 上一頁 停止放映 第 106 頁 語句構(gòu)造 ? 語句構(gòu)造的原則是： – 簡單直接 不應(yīng)追求效率而使代碼復(fù)雜化； – 為了便于閱讀和理解 ， 不要一行寫多個(gè)語句 ，不同層次的語句應(yīng)呈鋸齒形； – 不用復(fù)雜的測試條件 ， 不用或少用 “ 非條件 ” ； – 避免使用大量嵌套循環(huán)及條件循環(huán)； – 使用條件來簡化表達(dá)式 。 3）除了檢查程序是否做了應(yīng)做的工作之外，還應(yīng)檢查程序是否做了不應(yīng)做的事。若把 “ X1”錯(cuò)寫成“ X1”,還是檢查不出來，它只有 50%的機(jī)會(huì)去檢查 X的值。 ? 使用等價(jià)類劃分法首先要?jiǎng)澐州斎霐?shù)據(jù)的等價(jià)類，確定輸入數(shù)據(jù)的有效等價(jià)類和無效等價(jià)類。 – 若規(guī)定了輸入數(shù)據(jù)為整型，則可劃分出整數(shù)、零和負(fù)整數(shù)三個(gè)有效等價(jià)類。 ? 程序中有 4個(gè)條件 : A1 , B=0 , A=2 , X1 。 下一頁 上一頁 停止放映 第 116 頁 測試用例的設(shè)計(jì) ? 設(shè)計(jì)測試用例的 基本目標(biāo) 是： 確定一組最有可能發(fā)現(xiàn)某個(gè)錯(cuò)誤或某類錯(cuò)誤的測試數(shù)據(jù)。 下一頁 上一頁 停止放映 第 110 頁 程序設(shè)計(jì)方法論 ? 通常有兩種方法：自頂向下和自底向上 – 自頂向下 （ 特點(diǎn) ） ： ? 程序可讀性好 ? 可靠性較高 – 自底向上 （ 特點(diǎn) ） ? 程序往往局部是優(yōu)化的 ， 系統(tǒng)整體結(jié)構(gòu)較差； ? 可極早發(fā)現(xiàn)關(guān)鍵算法是否可行 ， 可較好地避免較大的返工 。 下一頁 上一頁 停止放映 第 101 頁 選擇語言的重要實(shí)用標(biāo)準(zhǔn)