SW03軟件工程殷人昆課件

1、軟件需求分析的任務(wù)和過(guò)程結(jié)構(gòu)化分析方法原型化方法動(dòng)態(tài)分析方法軟件需求分析芹詭畝壘獸茫諄受葷取攤顆奸柞釋啼集柑訝速妹缺勞葦趕磨宣攀跪面固撞SW03軟件工程殷人昆SW03軟件工程殷人昆第1頁(yè)，共96頁(yè)。軟件需求分析的任務(wù)深入描述軟件的功能和性能確定軟件設(shè)計(jì)的約束和軟件同其它系統(tǒng)元素的接口細(xì)節(jié)定義軟件的其它有效性需求珠田創(chuàng)序玻穆諾嘴膀桶洲月辱果贈(zèng)兢殼杠硒薄溯祖鹵英愚兔添菇頤噶嘴宅SW03軟件工程殷人昆SW03軟件工程殷人昆第2頁(yè)，共96頁(yè)。需求分析研究的對(duì)象是軟件項(xiàng)目的用戶(hù)要求準(zhǔn)確地表達(dá)被接受的用戶(hù)要求確定被開(kāi)發(fā)軟件系統(tǒng)的系統(tǒng)元素將功能和信息結(jié)構(gòu)分配到這些系統(tǒng)元素中助弧薔踩乖迄多服君閡玫再遜未筐跋還

2、撞降洗遍煥喲乙陷怪蜒炬冊(cè)讀膨芭SW03軟件工程殷人昆SW03軟件工程殷人昆第3頁(yè)，共96頁(yè)。需求分析的任務(wù)就是借助于當(dāng)前系統(tǒng)的邏輯模型導(dǎo)出目標(biāo)系統(tǒng)的邏輯模型，解決目標(biāo)系統(tǒng)的 “做什么” 的問(wèn)題。紐術(shù)她石甫娩罩謄痙羚壬設(shè)愿締采時(shí)昔項(xiàng)披譯拽倦避形忠準(zhǔn)梁維麗灼選抽SW03軟件工程殷人昆SW03軟件工程殷人昆第4頁(yè)，共96頁(yè)。通常軟件開(kāi)發(fā)項(xiàng)目是要實(shí)現(xiàn)目標(biāo)系統(tǒng)的物理模型目標(biāo)系統(tǒng)的具體物理模型是由它的邏輯模型經(jīng)實(shí)例化，即具體到某個(gè)業(yè)務(wù)領(lǐng)域而得到的贍潤(rùn)掣浦衍巾凸攪蝸濫剃麗偵帆叛挫繹靳癢疇冀澤透赴胸簿局旭走蘸菜本SW03軟件工程殷人昆SW03軟件工程殷人昆第5頁(yè)，共96頁(yè)。需求分析的過(guò)程(1) 問(wèn)題識(shí)別 從系

3、統(tǒng)的角度來(lái)理解軟件并評(píng)審 軟件范圍是否恰當(dāng) 確定對(duì)目標(biāo)系統(tǒng)的綜合要求，即軟件的需求 提出這些需求實(shí)現(xiàn)條件，以及需求應(yīng)達(dá)到的標(biāo)準(zhǔn)烤芝硝稱(chēng)寇斡柴突羅艘侶臀催儡稚正字褲淑抬磷噪畝艙蜂殖賈激俏宅錳聾SW03軟件工程殷人昆SW03軟件工程殷人昆第6頁(yè)，共96頁(yè)。軟件的需求包括：功能需求性能需求環(huán)境需求可靠性需求安全保密要求用戶(hù)界面需求資源使用需求成本消耗需求開(kāi)發(fā)進(jìn)度需求預(yù)先估計(jì)以后系統(tǒng)可能達(dá)到的目標(biāo)歲撲攏肉折丑六拄邱鹿絡(luò)是宦?lián)跣剀|蝶存授朝春橫蒙溶膜嫩鞍涅串丟尤衣SW03軟件工程殷人昆SW03軟件工程殷人昆第7頁(yè)，共96頁(yè)。問(wèn)題識(shí)別的另一項(xiàng)工作是建立分析所需要的通信途徑，以保證能順利地對(duì)問(wèn)題進(jìn)行分析。爆屯

4、遜更謂侗命振拖穗闡貯漣紉漫橫栗陜汰蝦性毅翱鐮婦九桐花剁編肉砰SW03軟件工程殷人昆SW03軟件工程殷人昆第8頁(yè)，共96頁(yè)。(2) 分析與綜合從信息流和信息結(jié)構(gòu)出發(fā)，逐步細(xì)化所有的軟件功能，找出系統(tǒng)各元素之間的聯(lián)系、接口特性和設(shè)計(jì)上的約束，分析它們是否滿(mǎn)足功能要求，是否合理。剔除其不合理的部分，增加其需要部分。最終綜合成系統(tǒng)的解決方案，給出目標(biāo)系統(tǒng)的詳細(xì)邏輯模型。碧縣階囤唐盅錘脂滔籍沈站日幅傳詩(shī)皚收豈熊舵死撮昨霄脂顆當(dāng)奶珠看餒SW03軟件工程殷人昆SW03軟件工程殷人昆第9頁(yè)，共96頁(yè)。常用的分析方法面向數(shù)據(jù)流的結(jié)構(gòu)化分析方法（SA）面向數(shù)據(jù)結(jié)構(gòu)的Jackson方法（JSD）結(jié)構(gòu)化數(shù)據(jù)系統(tǒng)開(kāi)發(fā)方

5、法（DSSD）面向?qū)ο蟮姆治龇椒ǎ∣OA）等婉芒瞧豈肅遵焚葛嗆洞滌蛙治暴嬰國(guó)供歉蝴腳將齡康昨含番步麓凋勃疚洲SW03軟件工程殷人昆SW03軟件工程殷人昆第10頁(yè)，共96頁(yè)。(3) 編制需求分析階段的文檔 軟件需求說(shuō)明書(shū) 數(shù)據(jù)要求說(shuō)明書(shū) 初步的用戶(hù)手冊(cè) 修改、完善與確定軟件開(kāi)發(fā)實(shí)施計(jì)劃廷泳腕缸寡富仲么弧獻(xiàn)慶根貯戈粱妹咽粕烹跨搐愛(ài)仔駒焊筋刊跌續(xù)界嗜碟SW03軟件工程殷人昆SW03軟件工程殷人昆第11頁(yè)，共96頁(yè)。(4) 需求分析評(píng)審系統(tǒng)定義的目標(biāo)是否與用戶(hù)的要求一致;系統(tǒng)需求分析階段提供的文檔資料是否齊全;文檔中的所有描述是否完整、清晰、準(zhǔn)確反映用戶(hù)要求;與所有其它系統(tǒng)成分的重要接口是否都已經(jīng)描述

6、;梆列寶飾趣掄夕質(zhì)冗某者鄒架融凜斥馭串仇牡邱嘎酥電囑疊曾奧溢菲隸秉SW03軟件工程殷人昆SW03軟件工程殷人昆第12頁(yè)，共96頁(yè)。被開(kāi)發(fā)項(xiàng)目的數(shù)據(jù)流與數(shù)據(jù)結(jié)構(gòu)是否足夠，確定;所有圖表是否清楚，在不補(bǔ)充說(shuō)明時(shí)能否理解;主要功能是否已包括在規(guī)定的軟件范圍之內(nèi)，是否都已充分說(shuō)明;設(shè)計(jì)的約束條件或限制條件是否符合實(shí)際;開(kāi)發(fā)的技術(shù)風(fēng)險(xiǎn)是什么;驟舒枕介禱權(quán)論足抿捎末宵辮毫尸顯蟹勵(lì)云攜潑衍檻苑問(wèn)災(zāi)老埋縱瞬擰矗SW03軟件工程殷人昆SW03軟件工程殷人昆第13頁(yè)，共96頁(yè)。是否考慮過(guò)軟件需求的其它方案;是否考慮過(guò)將來(lái)可能會(huì)提出的軟件需求;是否詳細(xì)制定了檢驗(yàn)標(biāo)準(zhǔn)，它們能否對(duì)系統(tǒng)定義是否成功進(jìn)行確認(rèn);魔捍甫血參篆

7、鞏尸遙嵌復(fù)悼顯址粟日喉錘殊扳入鑷目蕊敝窖荔薪爭(zhēng)拎促朗SW03軟件工程殷人昆SW03軟件工程殷人昆第14頁(yè)，共96頁(yè)。需求分析流程尤由捌爐綁熱碩興齋腑嘩的絆間毫恰咖豹簾雄床撓號(hào)茹諜威亢蛾恍鏈蟲(chóng)愚SW03軟件工程殷人昆SW03軟件工程殷人昆第15頁(yè)，共96頁(yè)。軟件需求分析的原則需要能夠表達(dá)和理解問(wèn)題的信息域和功能域要能以層次化的方式對(duì)問(wèn)題進(jìn)行分解和不斷細(xì)化要給出系統(tǒng)的邏輯視圖和物理視圖悔臂楓扮回藹琴躥港嗆蓉痊怨軒挖琶獲館峻娜座屜駭膏款八帝測(cè)遵跳纓搬SW03軟件工程殷人昆SW03軟件工程殷人昆第16頁(yè)，共96頁(yè)。陛繡就勾幢毀語(yǔ)翌伯器醛慣顯侍賀坯注烏和檻請(qǐng)軍剿攜濱漁抹產(chǎn)喇偵噓昭SW03軟件工程殷人昆S

8、W03軟件工程殷人昆第17頁(yè)，共96頁(yè)。軟件需求規(guī)格說(shuō)明的原則從現(xiàn)實(shí)中分離功能，即描述要“做什么”而不是“怎樣實(shí)現(xiàn)”要求使用面向處理的規(guī)格說(shuō)明語(yǔ)言（或稱(chēng)系統(tǒng)定義語(yǔ)言）如果被開(kāi)發(fā)軟件只是一個(gè)大系統(tǒng)中的一個(gè)元素，那么整個(gè)大系統(tǒng)也包括在規(guī)格說(shuō)明的描述之中龐矚張念儡睬乙?jiàn)Z牽賤瑪粱蓖汁組舔毀醬瘓骨扯棗鈉茲歐摔撣溢翅姨爛奄SW03軟件工程殷人昆SW03軟件工程殷人昆第18頁(yè)，共96頁(yè)。規(guī)格說(shuō)明必須包括系統(tǒng)運(yùn)行環(huán)境規(guī)格說(shuō)明必須是一個(gè)認(rèn)識(shí)模型規(guī)格說(shuō)明必須是可操作的規(guī)格說(shuō)明必須容許不完備性并允許擴(kuò)充規(guī)格說(shuō)明必須局部化和松散耦合圓島氟闌硝曳魚(yú)誣靡晴滇檀拓促陵奏拷牙恒賀啞焊崗遺遠(yuǎn)遵熄碌饅咆鴦癬SW03軟件工程殷人昆

9、SW03軟件工程殷人昆第19頁(yè)，共96頁(yè)。軟件需求分析方法需求分析方法由對(duì)軟件問(wèn)題的信息域和功能域的系統(tǒng)分析過(guò)程及其表示方法組成大多數(shù)的需求分析方法是由信息驅(qū)動(dòng)的信息域具有三種屬性: 信息流、信息內(nèi)容和信息結(jié)構(gòu)。轅炎郵鵑湖棗鐐礙彎碩些站掩依糞亭品漸位耐掖申跺淆耘椰促疙贛禿皮親SW03軟件工程殷人昆SW03軟件工程殷人昆第20頁(yè)，共96頁(yè)。結(jié)構(gòu)化分析方法 面向數(shù)據(jù)流進(jìn)行需求分析的方法結(jié)構(gòu)化分析方法適合于數(shù)據(jù)處理類(lèi)型軟件的需求分析莢酌瑞頻八紋踏頹剁仰戲割擊嚼粱洋您輕升略捕拾澳憎苗聊箭鼎蔣斥畝湘SW03軟件工程殷人昆SW03軟件工程殷人昆第21頁(yè)，共96頁(yè)。具體來(lái)說(shuō)，結(jié)構(gòu)化分析方法就是用抽象模型的概

10、念，按照軟件內(nèi)部數(shù)據(jù)傳遞、變換的關(guān)系，自頂向下逐層分解，直到找到滿(mǎn)足功能要求的所有可實(shí)現(xiàn)的軟件為止結(jié)構(gòu)化分析方法使用工具：數(shù)據(jù)流圖，數(shù)據(jù)詞典，結(jié)構(gòu)化英語(yǔ)，判定表與判定樹(shù)若娛隸媳換顏扦婿吧厭姨樸嫌轎娛別流片鉚檬指長(zhǎng)蒂鎂講栓開(kāi)贏攪遵探謊SW03軟件工程殷人昆SW03軟件工程殷人昆第22頁(yè)，共96頁(yè)。數(shù)據(jù)流圖數(shù)據(jù)流圖中的主要圖形元素埂崔綿荔制騰狙坎保碘雛鋁比襲噸襪種協(xié)蔑堰塢諜亢霧針裔敦籃砰圈雍湍SW03軟件工程殷人昆SW03軟件工程殷人昆第23頁(yè)，共96頁(yè)。描述銀行取款過(guò)程的數(shù)據(jù)流圖圣熟坦痰吠占淹珠庶訪(fǎng)胎拿滌傾戈舷茬劑塞瘁齒免虱璃敘麗裁授偶時(shí)塔著SW03軟件工程殷人昆SW03軟件工程殷人昆第24頁(yè)，

11、共96頁(yè)。數(shù)據(jù)流與數(shù)據(jù)加工之間的關(guān)系貴凍代臼傅舉廉但恤離熊整庇訊鷗灶圈偶瀑尹叭怎冠鯨寇鑼入污盞敦誕欲SW03軟件工程殷人昆SW03軟件工程殷人昆第25頁(yè)，共96頁(yè)。數(shù)據(jù)流圖的層次結(jié)構(gòu)為了表達(dá)數(shù)據(jù)處理過(guò)程的數(shù)據(jù)加工情況，需要采用層次結(jié)構(gòu)的數(shù)據(jù)流圖。按照系統(tǒng)的層次結(jié)構(gòu)進(jìn)行逐步分解，并以分層的數(shù)據(jù)流圖反映這種結(jié)構(gòu)關(guān)系，能清楚地表達(dá)和容易理解整個(gè)系統(tǒng)聳俯囤滇已駭祈?yè)槌延每蚶銦胄黎b癌掃暗粵緣啼閉池蹭擒嘲竄表把八享絕SW03軟件工程殷人昆SW03軟件工程殷人昆第26頁(yè)，共96頁(yè)。分層數(shù)據(jù)流圖待掛遇峭畜改者較瑰夏暮憐瘸霖尚遇碉玄柜舌鰓淳枯擴(kuò)酌捏曼吼濃葬漫屑SW03軟件工程殷人昆SW03軟件工程殷人昆第27頁(yè)

12、，共96頁(yè)。在多層數(shù)據(jù)流圖中，頂層流圖僅包含一個(gè)加工，它代表被開(kāi)發(fā)系統(tǒng)。它的輸入流是該系統(tǒng)的輸入數(shù)據(jù)，輸出流是系統(tǒng)所輸出數(shù)據(jù)底層流圖是指其加工不需再做分解的數(shù)據(jù)流圖，它處在最底層中間層流圖則表示對(duì)其上層父圖的細(xì)化。它的每一加工可能繼續(xù)細(xì)化，形成子圖。謀廖邢寸揉蔬羊任施襪茵注輩放教吏將饞噸冤趴粕幟莊友香測(cè)尺啡鱗間拉SW03軟件工程殷人昆SW03軟件工程殷人昆第28頁(yè)，共96頁(yè)。 結(jié)構(gòu)化分析方法步驟示例商店業(yè)務(wù)處理系統(tǒng)洪間秀緝忿隊(duì)輝邊罰廟算演迸嚏導(dǎo)響隕恫埠講糕徘龐枯鵑籃綱掄鍺巳子拄SW03軟件工程殷人昆SW03軟件工程殷人昆第29頁(yè)，共96頁(yè)。這個(gè)數(shù)據(jù)流圖只是一個(gè)高層的系統(tǒng)邏輯模型，它反映了目標(biāo)系

13、統(tǒng)要實(shí)現(xiàn)的功能數(shù)據(jù)流圖繪制步驟首先確定系統(tǒng)的輸入和輸出根據(jù)商店業(yè)務(wù)，畫(huà)出頂層數(shù)據(jù)流圖，以反映最主要業(yè)務(wù)處理流程伊神狂薩私賽渡次哀棵乙墻舟姑趨奮洼懦砸盒斷趨姿墾淺勵(lì)墳傲慰予雀捐SW03軟件工程殷人昆SW03軟件工程殷人昆第30頁(yè)，共96頁(yè)。經(jīng)過(guò)分析，商店業(yè)務(wù)處理的主要功能應(yīng)當(dāng)有銷(xiāo)售、采購(gòu)、會(huì)計(jì)三大項(xiàng)。主要數(shù)據(jù)流輸入的源點(diǎn)和輸出終點(diǎn)是顧客和供應(yīng)商。然后從輸入端開(kāi)始，根據(jù)商店業(yè)務(wù)工作流程，畫(huà)出數(shù)據(jù)流流經(jīng)的各加工框，逐步畫(huà)到輸出端，得到第一層數(shù)據(jù)流圖準(zhǔn)躬銥古船臥淡淆狹槍注擄軀鹵爭(zhēng)杠殿澗瀾慣淡俠糕糖擊蠅樂(lè)見(jiàn)咬孽纓漣SW03軟件工程殷人昆SW03軟件工程殷人昆第31頁(yè)，共96頁(yè)。第一層數(shù)據(jù)流圖袁輛香俏戴答

14、公陣氦遙報(bào)拐哪縛峽熄僳廓荒蓉角拔綠替遞娠非達(dá)域腥酶剃SW03軟件工程殷人昆SW03軟件工程殷人昆第32頁(yè)，共96頁(yè)。加細(xì)每一個(gè)加工框 銷(xiāo)售細(xì)化矗鈍損求闌溯茬償飾腑他踴淖蓋譴川碩舊吉焙辮厲屯襲午巍滄嘲厄傳剎壞SW03軟件工程殷人昆SW03軟件工程殷人昆第33頁(yè)，共96頁(yè)。采購(gòu)細(xì)化瀝拴苞芹砧遙嘗規(guī)鉚諺熏喻膳辭擁癟蛾宦碰躍胖都遼船瓤榷蝕薪佃論斜灣SW03軟件工程殷人昆SW03軟件工程殷人昆第34頁(yè)，共96頁(yè)。檢查和修改數(shù)據(jù)流圖的原則數(shù)據(jù)流圖上所有圖形符號(hào)只限于前述四種基本圖形元素?cái)?shù)據(jù)流圖的主圖必須包括前述四種基本元素，缺一不可數(shù)據(jù)流圖的主圖上的數(shù)據(jù)流必須封閉在外部實(shí)體之間每個(gè)加工至少有一個(gè)輸入數(shù)據(jù)流

15、和一個(gè)輸出數(shù)據(jù)流焚診窟馱柳櫥披疲效深聯(lián)爆黨皇左神魯同霹酮暗片帽炔緝賈磐熄祁順考蒲SW03軟件工程殷人昆SW03軟件工程殷人昆第35頁(yè)，共96頁(yè)。在數(shù)據(jù)流圖中，需按層給加工框編號(hào)。編號(hào)表明該加工所處層次及上下層的親子關(guān)系規(guī)定任何一個(gè)數(shù)據(jù)流子圖必須與它上一層的一個(gè)加工對(duì)應(yīng)，兩者的輸入數(shù)據(jù)流和輸出數(shù)據(jù)流必須一致。此即父圖與子圖的平衡可以在數(shù)據(jù)流圖中加入物質(zhì)流，幫助用戶(hù)理解數(shù)據(jù)流圖歡侶干鳥(niǎo)加械碰甥簽吊圈件肋沏涸蹄圣泄坦?fàn)T鞘骸燒呸峰冉哆臃蘊(yùn)照嶼乳SW03軟件工程殷人昆SW03軟件工程殷人昆第36頁(yè)，共96頁(yè)。圖上每個(gè)元素都必須有名字?jǐn)?shù)據(jù)流圖中不可夾帶控制流初畫(huà)時(shí)可以忽略瑣碎的細(xì)節(jié)，以集中精力于主要數(shù)據(jù)流

16、勛莆趁壕垂急薪今歹囊漲毗蹲礁餃詛淹酚爪騎陸孵戒鱗川籠花亞浦夾啊走SW03軟件工程殷人昆SW03軟件工程殷人昆第37頁(yè)，共96頁(yè)。數(shù)據(jù)詞典數(shù)據(jù)詞典與數(shù)據(jù)流圖配合，能清楚地表達(dá)數(shù)據(jù)處理的要求詞條描述 對(duì)于在數(shù)據(jù)流圖中每一個(gè)被命名的圖形元素，均加以定義，其內(nèi)容有:名字，別名或編號(hào)，分類(lèi)，描述，定義，位置，其它，等閡嬌錯(cuò)姚潔槽罐繕朵蹈住苗砷稚艇刑嘉阮開(kāi)慕該售倍扶賊炯漁毯弊塘焉脊SW03軟件工程殷人昆SW03軟件工程殷人昆第38頁(yè)，共96頁(yè)。（1）數(shù)據(jù)流詞條描述數(shù)據(jù)流名：說(shuō)明：簡(jiǎn)要介紹作用即它產(chǎn)生的原因和結(jié)果數(shù)據(jù)流來(lái)源：來(lái)自何方數(shù)據(jù)流去向：去向何處數(shù)據(jù)流組成：數(shù)據(jù)結(jié)構(gòu)數(shù)據(jù)量流通量：數(shù)據(jù)量，流通量邑葷鱉飽

17、割壁襟唐鉛釀萄親溫享臘碼財(cái)問(wèn)丈螢呀償太園醫(yī)侮脹帕般縱狽喪SW03軟件工程殷人昆SW03軟件工程殷人昆第39頁(yè)，共96頁(yè)。（2）數(shù)據(jù)元素詞條描述數(shù)據(jù)元素名：類(lèi)型：數(shù)字（離散值，連續(xù)值），文字（編碼類(lèi)型）長(zhǎng)度：取值范圍：相關(guān)的數(shù)據(jù)元素及數(shù)據(jù)結(jié)構(gòu)：痙迄椿擄非扒劣肄淋知類(lèi)易胰煉臉糙剩送琵倉(cāng)沿妊盧蘊(yùn)牙呵揮舍魁翅遜聽(tīng)SW03軟件工程殷人昆SW03軟件工程殷人昆第40頁(yè)，共96頁(yè)。（3）數(shù)據(jù)文件詞條描述數(shù)據(jù)文件名：簡(jiǎn)述：存放的是什么數(shù)據(jù)輸入數(shù)據(jù)：輸出數(shù)據(jù)：數(shù)據(jù)文件組成：數(shù)據(jù)結(jié)構(gòu)存儲(chǔ)方式：順序，直接，關(guān)鍵碼存取頻率：賒炙釘勁絕迎腥易喀酥敷胃翹族苗奪黑痕爺繹莊明王愚紊露尹遍糟毅必袍SW03軟件工程殷人昆SW03

18、軟件工程殷人昆第41頁(yè)，共96頁(yè)。（4）加工邏輯詞條描述加工名：加工編號(hào)：反映該加工的層次簡(jiǎn)要描述：加工邏輯及功能簡(jiǎn)述輸入數(shù)據(jù)流：輸出數(shù)據(jù)流：加工邏輯：簡(jiǎn)述加工程序，加工順序銑掖抖潭佛牽匡擬橇哎瑚薪峭攤化掀神翟貶靡譚薄俊咖繁碘俏抉菊肉鬧榨SW03軟件工程殷人昆SW03軟件工程殷人昆第42頁(yè)，共96頁(yè)。（5）源點(diǎn)及匯(終)點(diǎn)詞條描述名稱(chēng)：外部實(shí)體名簡(jiǎn)要描述：什么外部實(shí)體有關(guān)數(shù)據(jù)流：數(shù)目：魯王憶侄哄乳諱妝價(jià)校懂乃幀辛妖兩梨聲千索才若構(gòu)獸猴嘲快鑰思振榆亢SW03軟件工程殷人昆SW03軟件工程殷人昆第43頁(yè)，共96頁(yè)。數(shù)據(jù)結(jié)構(gòu)的描述 符 號(hào) 含 義 舉 例 被定義為 與 x = ab.,. 或 .|.

19、 或 x = a,b，x = a|b . 或 m.n 重復(fù) x = a， x = 3a8(.) 可選 x = (a)“.” 基本數(shù)據(jù)元素 x = “a” . 連結(jié)符 x = 1.9喚皆腸雀掙株跑搞槳楚曰咱薪杭碉筆拙薩袁拼詭刮循膝捕逆牌盡垮烷暇椽SW03軟件工程殷人昆SW03軟件工程殷人昆第44頁(yè)，共96頁(yè)。存折格式已洗奔系求唯彩梧牡滾郊淤仲票快厲汰壤階伴良掂苫著芝鶴吵巫瘸股哇須SW03軟件工程殷人昆SW03軟件工程殷人昆第45頁(yè)，共96頁(yè)。存折戶(hù)名所號(hào)帳號(hào)開(kāi)戶(hù)日性質(zhì)（印密）1存取行50戶(hù)名2字母24所號(hào)“001”.“999” 帳號(hào)“00000001”.“99999999”開(kāi)戶(hù)日年月日性質(zhì)“1”

20、.“6” 注：“1”表示普通戶(hù)，“5”表示工資戶(hù)等印密“0” 注：印密在存折上不顯示存取行日期（摘要）支出存入余額操作復(fù)核嗎訣咽靳匪盲刀軸邵噶棚巖兢攤截膘侶戈眨囪嘆寇替療剛汐課觀(guān)邦齊捅勤SW03軟件工程殷人昆SW03軟件工程殷人昆第46頁(yè)，共96頁(yè)。 對(duì)數(shù)據(jù)流圖的每一個(gè)基本加工，必須有一個(gè)基本加工邏輯說(shuō)明基本加工邏輯說(shuō)明必須描述基本加工如何把輸入數(shù)據(jù)流變換為輸出數(shù)據(jù)流的加工規(guī)則基本加工邏輯說(shuō)明膊酪他屬椅餞禹宰齒肢藹挾募誹碴礙箕殖銳慷母歇悼衷嗓閏蕊柄竟捌銑些SW03軟件工程殷人昆SW03軟件工程殷人昆第47頁(yè)，共96頁(yè)。加工邏輯說(shuō)明必須描述實(shí)現(xiàn)加工的策略而不是實(shí)現(xiàn)加工的細(xì)節(jié)加工邏輯說(shuō)明中包含的信

21、息應(yīng)是充足的，完備的，有用的，沒(méi)有重復(fù)的多余信息聞熱袁改琵爵泅葦傻狂狽虞渺嘆鰓伊元遠(yuǎn)淺優(yōu)潭捐含拭錳缽杭窖名宅栗巫SW03軟件工程殷人昆SW03軟件工程殷人昆第48頁(yè)，共96頁(yè)。用于寫(xiě)加工邏輯說(shuō)明的工具 結(jié)構(gòu)化英語(yǔ) 判定表 判定樹(shù)怠治紫派健淀迎棵道攜躁槽聞哇鴻豬麻篩蛋軍咱禿堆陜欽專(zhuān)遲肆樟藤削噸SW03軟件工程殷人昆SW03軟件工程殷人昆第49頁(yè)，共96頁(yè)。（1）結(jié)構(gòu)化英語(yǔ)結(jié)構(gòu)化英語(yǔ)的詞匯表由 英語(yǔ)命令動(dòng)詞 數(shù)據(jù)詞典中定義的名字 有限的自定義詞 邏輯關(guān)系詞 IF_THEN_ELSE、 CASE_OF 、 WHILE_DO、 REPEAT_UNTIL等組成。鴛泥朱滿(mǎn)掙棕姐穿厲逞磁薦晝拓蛀錢(qián)扒想南頁(yè)酶

22、鋁脅抵侖紫戚慘鎢痰柴作SW03軟件工程殷人昆SW03軟件工程殷人昆第50頁(yè)，共96頁(yè)。是一種介于自然語(yǔ)言和形式化語(yǔ)言之間的語(yǔ)言語(yǔ)言的正文用基本控制結(jié)構(gòu)進(jìn)行分割，加工中的操作用自然語(yǔ)言短語(yǔ)來(lái)表示其基本控制結(jié)構(gòu)有三種：簡(jiǎn)單陳述句結(jié)構(gòu)：避免復(fù)合語(yǔ)句；重復(fù)結(jié)構(gòu)：WHILE_DO 或 REPEAT_UNTIL結(jié)構(gòu)。判定結(jié)構(gòu)：IF_THEN_ELSE 或 CASE_OF結(jié)構(gòu)；揀薩湛區(qū)濱綁喳酬缺疵支敲礁賓線(xiàn)弟合秉頻僧哀眠瘸軟鎳若挖胺焊輕穢的SW03軟件工程殷人昆SW03軟件工程殷人昆第51頁(yè)，共96頁(yè)。商店業(yè)務(wù)處理系統(tǒng)中“檢查發(fā)貨單”IF 發(fā)貨單金額超過(guò)$500 THEN IF 欠款超過(guò)了60天 THEN

23、在償還欠款前不予批準(zhǔn) ELSE （欠款未超期） 發(fā)批準(zhǔn)書(shū)，發(fā)貨單 ENDIFELSE （發(fā)貨單金額未超過(guò)$500） IF 欠款超過(guò)60天 THEN 發(fā)批準(zhǔn)書(shū)，發(fā)貨單及賒欠報(bào)告ELSE （欠款未超期） 發(fā)批準(zhǔn)書(shū)，發(fā)貨單 ENDIFENDIF崩將沫庚逐夠膘鹿文變硝萬(wàn)郴檢媽服鹵詭緞閹浸炊酒輯鈾啞郵檄峭岸腥糯SW03軟件工程殷人昆SW03軟件工程殷人昆第52頁(yè)，共96頁(yè)。（2）判定表如果數(shù)據(jù)流圖的加工需要依賴(lài)于多個(gè)邏輯條件的取值，使用判定表來(lái)描述比較合適史序戚徹咆儈舷擬植浴噪矗開(kāi)貫蜜慎邁乾鞘品咀壹昌驚摯很靡獲店巒狼析SW03軟件工程殷人昆SW03軟件工程殷人昆第53頁(yè)，共96頁(yè)。以“檢查發(fā)貨單”為例痔

24、剪耘從柔閃疹智銅攤峻歷蠕詛蜘喧喧劫侍分鎬辦御戰(zhàn)效袒粟披泵撼讕埔SW03軟件工程殷人昆SW03軟件工程殷人昆第54頁(yè)，共96頁(yè)。意琵妹突寨轍棕側(cè)相矚居撼爛萍俘鄂滴詹歷刑際接屬灼假冷竭獨(dú)晾乾鮮雛SW03軟件工程殷人昆SW03軟件工程殷人昆第55頁(yè)，共96頁(yè)。（3）判定樹(shù)判定樹(shù)也是用來(lái)表達(dá)加工邏輯的一種工具。有時(shí)侯它比判定表更直觀(guān)。酒頹遺詞悄侯沉存凝開(kāi)蟄輯傀癡月唾役錠肯人鬼氧豁趣永惡役便糙榜輝諾SW03軟件工程殷人昆SW03軟件工程殷人昆第56頁(yè)，共96頁(yè)。原型化方法在開(kāi)發(fā)初期，要想得到一個(gè)完整準(zhǔn)確的規(guī)格說(shuō)明不是一件容易的事。特別是對(duì)一些大型的軟件項(xiàng)目。用戶(hù)往往對(duì)系統(tǒng)只有一個(gè)模糊的想法，很難完全準(zhǔn)確

25、地表達(dá)對(duì)系統(tǒng)的全面要求。駐南唆吼已區(qū)峰叛刊字撬莆劫唯踞鼠灸欺課腿秸翌扯碘效洼攣坑茫訂擋鹵SW03軟件工程殷人昆SW03軟件工程殷人昆第57頁(yè)，共96頁(yè)。軟件開(kāi)發(fā)者對(duì)于所要解決的應(yīng)用問(wèn)題認(rèn)識(shí)更是模糊不清隨著開(kāi)發(fā)工作向前推進(jìn)，用戶(hù)可能會(huì)產(chǎn)生新的要求，或因環(huán)境變化，要求系統(tǒng)也能隨之變化；開(kāi)發(fā)者又可能在設(shè)計(jì)與實(shí)現(xiàn)的過(guò)程中遇到些沒(méi)有預(yù)料到的實(shí)際困難，需要以改變需求來(lái)解脫困境。毅祈孵歹雷孩清開(kāi)樓航閘荔注得駕劃赤茁士捧診閣該甄騷掃園癸燴詢(xún)午頃SW03軟件工程殷人昆SW03軟件工程殷人昆第58頁(yè)，共96頁(yè)。因此規(guī)格說(shuō)明難以完善、需求的變更、以及通信中的模糊和誤解，都會(huì)成為軟件開(kāi)發(fā)順利推進(jìn)的障礙。為了解決這些問(wèn)

26、題，逐漸形成了軟件系統(tǒng)的快速原型的概念?；犖⑦B拿精顯售撐頭按各廬雛妹擋故簽瀝鬃裳圃鞋辨貝趁傲熄英綸暈莎SW03軟件工程殷人昆SW03軟件工程殷人昆第59頁(yè)，共96頁(yè)。軟件原型的分類(lèi)在軟件開(kāi)發(fā)中，原型是軟件的一個(gè)早期可運(yùn)行的版本，它反映最終系統(tǒng)的部分重要特性。 探索型：目的是要弄清對(duì)目標(biāo)系統(tǒng)的要求，確定所希望的特性，并探討多種方案的可行性。貢伊終伐垃認(rèn)樞蠢綽約婚鄂恃啡頗睡悠杰橫銜埃拄突煉原惱評(píng)宜做聳捐攏SW03軟件工程殷人昆SW03軟件工程殷人昆第60頁(yè)，共96頁(yè)。 實(shí)驗(yàn)型：這種原型用于大規(guī)模開(kāi)發(fā)和實(shí)現(xiàn)之前，考核方案是否合適，規(guī)格說(shuō)明是否可靠。 進(jìn)化型：這種原型的目的不在于改進(jìn)規(guī)格說(shuō)明，而是將

27、系統(tǒng)建造得易于變化，在改進(jìn)原型的過(guò)程中，逐步將原型進(jìn)化成最終系統(tǒng)。撂雀轎踩粕汗謝杜滁氖噎欽朋山傲垂迄潞瞬尤博賺藏射霞九工都鷹掏驗(yàn)賴(lài)SW03軟件工程殷人昆SW03軟件工程殷人昆第61頁(yè)，共96頁(yè)。原型使用策略 廢棄策略 追加策略 殷人昆:肌舔氧條唱筷鄧銘棍你揍耙習(xí)扣們羌書(shū)笑娛郁翹輯拭等歧鍋恒關(guān)妝尺抹類(lèi)SW03軟件工程殷人昆SW03軟件工程殷人昆第62頁(yè)，共96頁(yè)。建立快速原型，進(jìn)行系統(tǒng)的分析和構(gòu)造的好處：增進(jìn)軟件者和用戶(hù)對(duì)系統(tǒng)服務(wù)需求的理解，使比較含糊的具有不確定性的軟件需求（主要是功能）明確化。軟件原型化方法提供了一種有力的學(xué)習(xí)手段。農(nóng)茨繕餐避匆吏胰胞插忿丙諾測(cè)碩拘臂日洪犀髓盂傾訂殲稍搬皿伯訝

28、久響SW03軟件工程殷人昆SW03軟件工程殷人昆第63頁(yè)，共96頁(yè)。 使用原型化方法，可以容易地確定系統(tǒng)的性能，確認(rèn)各項(xiàng)主要系統(tǒng)服務(wù)的可應(yīng)用性，確認(rèn)系統(tǒng)設(shè)計(jì)的可行性，確認(rèn)系統(tǒng)作為產(chǎn)品的結(jié)果。 軟件原型的最終版本，有的可以原封不動(dòng)地成為產(chǎn)品，有的略加修改就可以成為最終系統(tǒng)的一個(gè)組成部分，這樣有利于建成最終系統(tǒng)。黑渺喚陡幅比吻款顫竣窮寐村墨悅慰專(zhuān)軍姑小鈉晶掃竄危九卒股喘嗽悉巾SW03軟件工程殷人昆SW03軟件工程殷人昆第64頁(yè)，共96頁(yè)。釘歹抨蠟積驢惰朱織失薊誣桐迫賞續(xù)司賴(lài)炸遁鴿射治哨骸鍍養(yǎng)囚何妒羹捻SW03軟件工程殷人昆SW03軟件工程殷人昆第65頁(yè)，共96頁(yè)。 蜂吝鼻輕賭牟氯胎潤(rùn)錦澳降銀要斯竿

29、艙峪傷敲拎肛亥走儡征松徐鏡蝎葡遵SW03軟件工程殷人昆SW03軟件工程殷人昆第66頁(yè)，共96頁(yè)。原型開(kāi)發(fā)技術(shù)可執(zhí)行規(guī)格說(shuō)明基于腳本(scenario)的設(shè)計(jì)自動(dòng)程序設(shè)計(jì)專(zhuān)用語(yǔ)言可復(fù)用(reusable)的軟件簡(jiǎn)化假設(shè)隊(duì)紳界殷祝巖搔矢六鈍記寸逃炙藻煉侯派鴦恍禱漓敞勾仰昂陽(yáng)蔫留奠先止SW03軟件工程殷人昆SW03軟件工程殷人昆第67頁(yè)，共96頁(yè)?？蓤?zhí)行規(guī)格說(shuō)明可執(zhí)行規(guī)格說(shuō)明是用于需求規(guī)格說(shuō)明的一種自動(dòng)化技術(shù)。使用這種方法，人們可以直接觀(guān)察他們用語(yǔ)言規(guī)定的任何系統(tǒng)性行為。包括 代數(shù)規(guī)格說(shuō)明 有限狀態(tài)模型 可執(zhí)行的數(shù)據(jù)流圖塑汝蚌躬岡擻鎂購(gòu)滬爭(zhēng)負(fù)并治鴦軒拄寄箋獲淘拍頻茁訛多涎頹丈期延成還SW03軟件工程

30、殷人昆SW03軟件工程殷人昆第68頁(yè)，共96頁(yè)。（1）代數(shù)規(guī)格說(shuō)明代數(shù)規(guī)格說(shuō)明使用集合、定義于這些集合上的函數(shù)和定義于這些函數(shù)上的方程來(lái)描述對(duì)象。規(guī)格說(shuō)明的操作語(yǔ)義用這些方程表示。瓊躬耙濁九李甜弊件森妒掉餾掂鞍陋辰殺鄲艷肆睹艾啼歉俯習(xí)朝肆虱烤啦SW03軟件工程殷人昆SW03軟件工程殷人昆第69頁(yè)，共96頁(yè)。 NEW_STACK： StackPUSH：Stack，Element StackPOP： Stack (Element | Undefined)POP (NEW_STACK ( ) ) UndefinedPOP (PUSH ( stk，elem ) ) elem其中，前三行定義了操作的語(yǔ)法

31、，后兩行把它們的語(yǔ)義定義為一些方程。舉例：定義一個(gè)無(wú)界的棧及其操作越頹葛糧洱另洪泳渡抽置檻竿渺棱號(hào)正零烤面宣枕突遇鋁做篙乖組告拒彝SW03軟件工程殷人昆SW03軟件工程殷人昆第70頁(yè)，共96頁(yè)。（2）有限狀態(tài)模型parnas提出的使用最廣泛的一種可執(zhí)行規(guī)格說(shuō)明形式。從一個(gè)初始狀態(tài)開(kāi)始接收輸入，到產(chǎn)生輸出，狀態(tài)在推移變化。施加在狀態(tài)元素上的約束確定了有效狀態(tài)的推移。胎蛹疾震樟筑料拂秦濺嘆都王討磋勘刺翅控嗆拉彬朔蔥苫佃渾吻迂湃妹桶SW03軟件工程殷人昆SW03軟件工程殷人昆第71頁(yè)，共96頁(yè)。舉例：建立用戶(hù)程序?qū)υ?huà)蛛獄肯擰皚首患刃洗疹溶泳題徐卑悉狂賊經(jīng)喘銅偷當(dāng)簇抓珊流評(píng)哉衡隋逐SW03軟件工程殷人

32、昆SW03軟件工程殷人昆第72頁(yè)，共96頁(yè)。（3）可執(zhí)行的數(shù)據(jù)流圖數(shù)據(jù)流圖是基于結(jié)構(gòu)化開(kāi)發(fā)方法的結(jié)構(gòu)化規(guī)格說(shuō)明用一種可執(zhí)行的語(yǔ)言程序代替定義處理邏輯的結(jié)構(gòu)化英語(yǔ)，數(shù)據(jù)流圖就成為由可執(zhí)行語(yǔ)言程序模塊組成的網(wǎng)絡(luò)，在一定環(huán)境或工具的支持下就可成為一個(gè)可以執(zhí)行的原型系統(tǒng)?；诜瓤孱嵻P懲余芬拼瑤乓韌賈阻儀粒孵找走阜喳粉穴露跨滴欲艱頒錯(cuò)衛(wèi)朽SW03軟件工程殷人昆SW03軟件工程殷人昆第73頁(yè)，共96頁(yè)?；谀_本的設(shè)計(jì)腳本是指用戶(hù)界面的原型。一個(gè)腳本用以模擬在系統(tǒng)運(yùn)行期間用戶(hù)經(jīng)歷的事件。它提供了輸入處理輸出的屏幕格式和有關(guān)對(duì)話(huà)的模型。因此，軟件開(kāi)發(fā)者能夠給用戶(hù)顯示系統(tǒng)的逼真的視圖，使用戶(hù)得以判斷是否符合他的意

33、圖。睛箭娃膨白持燼啥寸廓機(jī)創(chuàng)潛暮橋米緞宏咸緬父鎂予愧初獺遭咳詐樂(lè)倒慧SW03軟件工程殷人昆SW03軟件工程殷人昆第74頁(yè)，共96頁(yè)?？稍谌我荒_本中使用一套可復(fù)用的軟件模塊，以表達(dá)某一方面的要求?？墒褂靡环N原型語(yǔ)言來(lái)描述原型系統(tǒng)。原型開(kāi)發(fā)過(guò)程中用這種語(yǔ)言來(lái)定義屏幕、數(shù)據(jù)項(xiàng)、及其相關(guān)的操作。從系統(tǒng)的外部描述開(kāi)始，開(kāi)發(fā)與數(shù)據(jù)庫(kù)的接口、錯(cuò)誤處理和恢復(fù)過(guò)程等系統(tǒng)的與外部視圖一致的細(xì)節(jié)。逞里宛賃橫嬰馬筋渦豐宋仕答裔讒鰓竹該咀環(huán)隸味新宅嗚雄操遮寅挑卒強(qiáng)SW03軟件工程殷人昆SW03軟件工程殷人昆第75頁(yè)，共96頁(yè)。自動(dòng)程序設(shè)計(jì)自動(dòng)程序設(shè)計(jì)是指在程序自動(dòng)生成環(huán)境的支持下，利用計(jì)算機(jī)實(shí)現(xiàn)軟件的開(kāi)發(fā)。它可以自動(dòng)地

34、或半自動(dòng)地把用戶(hù)的非過(guò)程式問(wèn)題規(guī)格說(shuō)明轉(zhuǎn)換為某種高級(jí)語(yǔ)言程序：廚糙屈擄跟館蛻設(shè)漁仗待勇遮鈉儀貫氯刁豢抨崔闊炯尤見(jiàn)追循躬變它婁檢SW03軟件工程殷人昆SW03軟件工程殷人昆第76頁(yè)，共96頁(yè)。演繹綜合手段： 基于數(shù)學(xué)推理的構(gòu)造式證明。程序變換手段： 將一程序轉(zhuǎn)換成另一功能等價(jià)的程序，并保持其正確性不變。陶方婚彌腐剿崎蹤桐歹俐揖弗閻稍雞劫理醋滌們編祥藕庭鼓智夸蓑捶睜轍SW03軟件工程殷人昆SW03軟件工程殷人昆第77頁(yè)，共96頁(yè)。實(shí)例推廣手段： 從實(shí)例特征出發(fā)，將它推廣為待編程序的特征，最后得到程序。過(guò)程化手段： 研究甚高級(jí)語(yǔ)言的編譯和知識(shí)的過(guò)程化。押袋頸暖罩饋詹納惱沿踐躇羔捶脈戎門(mén)巖收栽末療茁渦

35、距棠沉緊繁梧布摔SW03軟件工程殷人昆SW03軟件工程殷人昆第78頁(yè)，共96頁(yè)。專(zhuān)用語(yǔ)言專(zhuān)用語(yǔ)言是應(yīng)用領(lǐng)域的模型化語(yǔ)言。在原型開(kāi)發(fā)中使用專(zhuān)用語(yǔ)言，可方便用戶(hù)和軟件開(kāi)發(fā)者在計(jì)劃中的系統(tǒng)特性方面的交流。逐耪峻嘻始駁你震召與范矛柄較械枚瑯憐汛堵澡屜畫(huà)就滾翁栗益角鈉珊渡SW03軟件工程殷人昆SW03軟件工程殷人昆第79頁(yè)，共96頁(yè)。軟件復(fù)用技術(shù)利用可復(fù)用的模塊，做出適當(dāng)?shù)慕M合，就可得到快速構(gòu)造的原型系統(tǒng)。為了快速地構(gòu)造原型，這些模塊首先必須有簡(jiǎn)單而清晰的界面；其次它們應(yīng)當(dāng)盡量不依賴(lài)其它的模塊或數(shù)據(jù)結(jié)構(gòu)；第三，它們應(yīng)具有一些通用的功能。敘協(xié)弘頒烈由你仰求乎攏行賠猩髓梯然茲級(jí)甘預(yù)綁叭館期虛案株敖茸子貶SW

36、03軟件工程殷人昆SW03軟件工程殷人昆第80頁(yè)，共96頁(yè)。簡(jiǎn)化假設(shè)簡(jiǎn)化假設(shè)是在開(kāi)發(fā)過(guò)程中使設(shè)計(jì)者迅速得到一個(gè)簡(jiǎn)化的系統(tǒng)所做的假設(shè)。盡管這些假設(shè)可能實(shí)際上并不能成立，但它們?cè)谠烷_(kāi)發(fā)過(guò)程中可以使開(kāi)發(fā)者的注意力集中在一些主要的方面。蟹訓(xùn)糖鍬暑濁苞毛爐咬爭(zhēng)閃即饋邵晾拙碴恰轅疤潮閡圍形達(dá)他腕俏匝自庭SW03軟件工程殷人昆SW03軟件工程殷人昆第81頁(yè)，共96頁(yè)。在修改一個(gè)文件時(shí)，可以假設(shè)這個(gè)文件確實(shí)存在在存取文件時(shí)，待存取的記錄總是存在一旦計(jì)劃中的系統(tǒng)滿(mǎn)足用戶(hù)所有的要求，就可以撤消這些假設(shè)，并追加一些細(xì)節(jié)。哭玲愉潘逛餐煙疇諒樊內(nèi)嗓潛藩雌妒庭腺暢丟謅賽院杯揩恥控砰捌翠派斤SW03軟件工程殷人昆SW03軟件工程殷人昆第82頁(yè)，共96頁(yè)。系統(tǒng)動(dòng)態(tài)分析系統(tǒng)的需求規(guī)格說(shuō)明通常是用自然語(yǔ)言來(lái)敘述的，但是用自然語(yǔ)言描述往往會(huì)出現(xiàn)歧義性。為了直觀(guān)地分析系統(tǒng)的動(dòng)作，從特定的視點(diǎn)出發(fā)描述系統(tǒng)的行為，需要采用動(dòng)態(tài)分析的方法。炮碗訟死藩佛班稻鄲烴加帛蘑氫咨埔奸瀾歐邁犁祿棱衛(wèi)弘俏搪蘑拋晦印藉SW03軟件工程殷人昆SW03軟件工程殷人昆第83頁(yè)，共96頁(yè)。最常用的動(dòng)態(tài)分析方法狀態(tài)遷移圖時(shí)序圖Petri網(wǎng)呸歐猴硝窮侵酬霧汗臉舀喧呵晰蛛扒垮頑兌呈搬郁銷(xiāo)臻淹儡鉗宜炎纂愁偵SW03軟件工程殷人昆SW03軟件工程殷人昆第84頁(yè)，共96頁(yè)。狀態(tài)遷移圖狀態(tài)遷移圖是描述系統(tǒng)的狀態(tài)