闡述需求規(guī)格說明書中的用例規(guī)約

1、用例規(guī)約1/ 147回顧用例的概念用例的關(guān)系參與者的定義與關(guān)系2/ 147用例圖3/ 147主要內(nèi)容用例規(guī)約黑盒用例與白盒用例用例規(guī)約組成用例規(guī)約類型與書寫風(fēng)格簡單型非正式型正式型（詳細(xì)型）4/ 147用例規(guī)約-進(jìn)行用例闡述用例規(guī)約：更進(jìn)一步的精度用例文檔的核心，而用例圖作為用例文檔的總圖進(jìn)一步的精度：有層次的文檔文檔中每一句話都有其價(jià)值用例圖是骨架而用例規(guī)約則是其內(nèi)在的肉5/ 147黑盒用例與白盒用例黑盒用例建模人員常用，不描述系統(tǒng)的內(nèi)部工作流程，也不描述其組成成分或設(shè)計(jì)。白盒用例借助責(zé)任描述系統(tǒng)，指出系統(tǒng)應(yīng)該具有什么職責(zé)，具有各種職責(zé)的軟件元素之間是如何合作的黑盒用例白盒用例該系統(tǒng)記錄銷售

2、情況該系統(tǒng)將銷售情況寫到一個數(shù)據(jù)庫中或者該系統(tǒng)為銷售情況生成一個SQL語句6/ 147用例規(guī)約組成1用例名稱：處理銷售用例標(biāo)識涉及的參與者涉及的用例描述7/ 147用例規(guī)約組成2用例的規(guī)格說明前置條件 與 后置條件 正常事件流備選事件流其它非功能需求、設(shè)計(jì)約束、尚存在的問題8/ 147前置條件前置條件約束在用例開始前系統(tǒng)的狀態(tài)把它們看做是看門人，它阻止參與者觸發(fā)該用例直到滿足所有條件說明在用例觸發(fā)之前什么必須為真9/ 147后置條件后置條件約束用例執(zhí)行后系統(tǒng)的狀態(tài)用例執(zhí)行后什么必須為真對于有多個事件流的用例，則應(yīng)該有多個后置條件10/ 147前置、后置條件注意某些用例依賴于其他用例一個用例在離

3、開系統(tǒng)時(shí)，可能是另一個用例的前置條件（例如：“登錄”和“管理系統(tǒng)”）有助于識別漏掉的用例如果一個用例的前置條件不執(zhí)行，就不能執(zhí)行其他用例，可能意味著丟失了用例（例如：“管理訂單”卻沒有“登錄”用例）11/ 147事件流-用例交互四部曲1. 動 作4. 回 應(yīng)2.改變3.驗(yàn)證系 統(tǒng)寫：可觀測的、體現(xiàn)客戶利益的文字12/ 147事件流描述要點(diǎn)一個正常的業(yè)務(wù)事件流描述只書寫“可觀測”的使用主動語句句子必須以參與者或系統(tǒng)作為主語不要涉及界面細(xì)節(jié)分支和循環(huán)13/ 147要點(diǎn)1-只寫“可觀測”的系統(tǒng)通過ADO建立數(shù)據(jù)庫連接，傳送SQL查詢語句，從“商品表”查詢商品的詳細(xì)信息系統(tǒng)按照查詢條件搜索商品的詳細(xì)信

4、息14/ 147要點(diǎn)2-主動語句歐文從貝克漢姆處得到傳球，守門員貝克漢姆傳球給歐文，歐文射門，守門員撲救15/ 147要點(diǎn)3-以參與者或系統(tǒng)作主語參與者出納員接收顧客的付款顧客的付款數(shù)可能高于商品總額出納員錄入顧客所付的現(xiàn)金總額系統(tǒng)系統(tǒng)顯示出應(yīng)找還給顧客的余額，打印付款收據(jù)16/ 147要點(diǎn)4-不涉及界面細(xì)節(jié)會員從下拉框中選擇類別會員在相應(yīng)文本框中輸入查詢條件會員點(diǎn)擊“確定”按鈕17/ 147要點(diǎn)5-分支和循環(huán)分支：放到擴(kuò)展路徑參與者的選擇另一條成功線路系統(tǒng)進(jìn)行驗(yàn)證循環(huán)：直接描述18/ 147簡單型用簡潔的一段話來描述用例，通常只給出主要成功場景處理銷售一個顧客帶著商品在收款處準(zhǔn)備交費(fèi)購買。出

5、納員使用POS終端記錄所購買的每一件商品POS系統(tǒng)給出所應(yīng)收的總款數(shù)以及每件商品的價(jià)格細(xì)節(jié)。顧客鍵入支付信息，系統(tǒng)進(jìn)行確認(rèn)并記錄。然后，系統(tǒng)更新商品的存貨清單顧客拿著系統(tǒng)打印的收條并帶著商品離開。19/ 147非正式型用若干非正式段落來描述用例，通常給出多個不同場景處理退貨主要成功場景：顧客帶著商品到收款處退貨，出納員使用POS終端記錄每一件被退回的商品?？蛇x場景：如果系統(tǒng)中找不到商品標(biāo)識，那么就通知出納員并建議他手工輸入商品標(biāo)識碼（或許商品的標(biāo)識已經(jīng)破損）；如果系統(tǒng)檢測到和外部稅金計(jì)算系統(tǒng)之間的通信失敗，那么就。20/ 147正式型（詳細(xì)型）-1描述更多細(xì)節(jié)并以結(jié)構(gòu)化方法組織這些細(xì)節(jié)，對理解

6、系統(tǒng)非常有意。用例 UC1：處理銷售主要參與者：出納員21/552147正式型（詳細(xì)型）-2受益人及其利益：出納員：需要精確、快速的輸入，并且不出現(xiàn)支付錯誤銷售人員：需要銷售款得到更新顧客：需要購買并花費(fèi)最小的精力得到快速的服務(wù)，并需要支持退貨功能22/552247正式型（詳細(xì)型）-3受益人及其利益：公司：需要精確地記錄交易并滿足客戶的利益。需要支付授權(quán)服務(wù)記錄可接受的支付。需要一些容錯功能。需要賬目和存貨清單得到自動的快速更新23/552347正式型（詳細(xì)型）-4受益人及其利益：政府稅務(wù)機(jī)構(gòu)：需要從每一次銷售中收稅。支付授權(quán)服務(wù)：需要用正確的格式和協(xié)議傳來的數(shù)字授權(quán)請求。需要精確計(jì)算它們可支

7、付給商店的款額24/552447正式型（詳細(xì)型）-5前置條件：出納員需要身份識別并授權(quán)后置條件：存儲了銷售情況，正確地計(jì)算了稅金，更新了賬目和存貨清單，記錄了銷售額，打印了收據(jù)25/552547正式型（詳細(xì)型）-6主要成功場景：顧客帶著商品到POS終端處準(zhǔn)備購買出納員開始一次新的銷售出納員輸入商品標(biāo)識碼系統(tǒng)記錄銷售的商品并給出商品的描述、單價(jià)和折扣，并根據(jù)某些價(jià)格規(guī)則計(jì)算所應(yīng)付的款額。出納員重復(fù)步驟3和步驟4，一直到處理完所有商品為止。26/552647正式型（詳細(xì)型）-7主要成功場景：系統(tǒng)給出所應(yīng)支付的總款額并計(jì)算稅金出納員告訴顧客總價(jià)并請求付款顧客付款，系統(tǒng)處理支付系統(tǒng)記錄下已完成的銷售，

8、并將銷售和支付信息發(fā)送給外部的賬目系統(tǒng)以及存貨清單系統(tǒng)27/552747正式型（詳細(xì)型）-8主要成功場景：系統(tǒng)打印收據(jù)顧客帶著收據(jù)和商品離開28/552847正式型（詳細(xì)型）-擴(kuò)展1在系統(tǒng)失敗時(shí)，要恢復(fù)和校正賬目，確保所有的交易敏感狀態(tài)以及事件能夠從場景的任何步驟中恢復(fù)出納員重啟系統(tǒng)和登錄，并請求恢復(fù)先前的狀態(tài)29/552947正式型（詳細(xì)型）-擴(kuò)展2系統(tǒng)重建先前的狀態(tài)2a 系統(tǒng)檢測阻止恢復(fù)的異常狀態(tài)系統(tǒng)給出納員發(fā)出一個出錯信號，記錄該錯誤并進(jìn)入一個干凈的狀態(tài)出納員開始一次新的銷售30/553047正式型（詳細(xì)型）-擴(kuò)展33a 無效標(biāo)識碼：系統(tǒng)發(fā)出一個出錯信號并拒絕輸入出納員可以手工輸入商品標(biāo)

9、識碼2a 輸入無效標(biāo)識碼，系統(tǒng)拒絕輸入4a 顧客可能購買多件相同類別的商品，因此記不記錄每件商品的標(biāo)識碼并不重要出納員可以輸入商品類別號以及數(shù)量31/553147正式型（詳細(xì)型）-擴(kuò)展43-6a 顧客請求出納員從購買的貨物中去掉一件商品3-6b 顧客告訴出納員取消銷售3-6c 出納員中止銷售4a 系統(tǒng)所輸出的商品單價(jià)不是顧客所想要的32/553247正式型（詳細(xì)型）-擴(kuò)展55a 系統(tǒng)檢測到和外部稅金計(jì)算系統(tǒng)之間的通信失敗5b顧客說他們符合打折條件5c 顧客說他們帳上的存款為此次銷售付款6a 顧客說他們想付錢但沒有帶足夠的現(xiàn)金33/553347正式型（詳細(xì)型）-擴(kuò)展67a 用現(xiàn)金付賬出納員輸入顧

10、客所付總款數(shù)系統(tǒng)計(jì)算出應(yīng)找的余款，并彈出現(xiàn)金抽屜出納員存放現(xiàn)金并找零給顧客系統(tǒng)記錄此次現(xiàn)金支付情況34/553447正式型（詳細(xì)型）-擴(kuò)展77b 用信用卡付賬顧客輸入他們的信用卡帳戶信息系統(tǒng)向外部支付授權(quán)服務(wù)系統(tǒng)發(fā)出支付請求授權(quán)，并請求支付批準(zhǔn)2a系統(tǒng)檢測到和外部系統(tǒng)之間協(xié)作上的失?。合到y(tǒng)給出納員發(fā)出一個出錯信號出納員請顧客用其他方式付款35/553547正式型（詳細(xì)型）-擴(kuò)展87b 用信用卡付賬系統(tǒng)收到批準(zhǔn)支付回應(yīng)并向出納員發(fā)出一個批準(zhǔn)支付信號3a 系統(tǒng)受到拒絕該支付信號系統(tǒng)發(fā)拒絕支付信號給出納員出納員請顧客用其他方式付款系統(tǒng)記錄信用卡支付情況，其中包括批準(zhǔn)支付情況36/553647正式型（

11、詳細(xì)型）-擴(kuò)展97b 用信用卡付賬系統(tǒng)給出信用卡支付簽名輸入機(jī)制出納員請客戶進(jìn)行信用卡支付簽名，客戶輸入簽名37/553747正式型（詳細(xì)型）-其他擴(kuò)展7c 用帳單付款7d 賒賬7e 顧客拿出優(yōu)惠券9a 商品打折9b 顧客請求贈品收據(jù)38/553847正式型（詳細(xì)型）-特殊需求應(yīng)具有一個大的扁平面板監(jiān)視器上的觸摸屏界面，并可在1m之外看清屏幕上的字信用卡授權(quán)90%的情況下能在30s內(nèi)作出響應(yīng)當(dāng)訪問諸如庫存清單等這類遠(yuǎn)程服務(wù)時(shí)，應(yīng)具有健壯的恢復(fù)功能39/553947正式型（詳細(xì)型）-特殊需求文本顯示應(yīng)語言國際化可在步驟3和步驟7插入業(yè)務(wù)規(guī)則。40/554047正式型（詳細(xì)型）-其它1技術(shù)和數(shù)據(jù)約束列表3a 商品標(biāo)識碼由條形碼激光掃描器或鍵盤輸入3b 商品標(biāo)識符可以使UPC、EAN、JAN、SKU編碼格式7a 信用卡賬目信息由信用卡閱讀器或鍵盤輸入7b 信用卡支付簽名可以在紙上進(jìn)行。但未來兩年內(nèi)，顧客可能更愿使用數(shù)字簽名41/554147正式型（詳細(xì)型）-其它2發(fā)生頻率：幾乎可以連續(xù)發(fā)生尚未解決的問題稅法變化怎么辦遠(yuǎn)程服務(wù)恢復(fù)問題不同的業(yè)務(wù)需要什么樣的自定義功能出納員退出系統(tǒng)時(shí)必須帶走現(xiàn)金抽屜嗎顧客使用信用卡閱讀器還是出納員使用42/554247正式型（詳細(xì)型）描述更多細(xì)節(jié)并以結(jié)構(gòu)化方法組織這些細(xì)節(jié)，對理解系統(tǒng)非常有益參考：htt