【正文】 0 0 個 正 整 數 按 遞 增 順 序 排 列 。項 目 經 理 B ：　 　 輸 入 P [ 1 0 0 ] ， 滿 足 P [ i ] 均 為 正 整 數 ， 要 求 輸 出 Q [ 1 0 0 ] ，滿 足 Q [ i ] = Q [ j ] ， i j 。程 序 員 C ： 用 V B 編 碼 ?！?　 P u b l i c S u b M y S o r t ( B y R e f p ( ) a s I n t e g e r , B y R e f q ( ) a s I n t e g e r ) F o r i = 1 t o 1 0 0 i f p ( i ) = 0 T h e n E x i t s u b N e x t i F o r i = 1 t o 1 0 0 q ( i ) = i N e x t i E n d S u bA、 B、 C各自負責哪類工作？編碼正確？ 106 計算機學院 /軟件學院 各自的職責 ① A在項目中負責需求分析工作，提出 《 需求說明書 》 ② B在項目中負責規(guī)格說明工作，給出 《 規(guī)格說明書 》 ③ C在項目中負責編碼工作，或許還包括設計工作 107 計算機學院 /軟件學院 各自的工作階段 ① A的工作屬于需求階段 ② B的工作屬于規(guī)格說明階段 ③ C的工作屬于設計實現(xiàn)階段 108 計算機學院 /軟件學院 各自的失誤 ① A的 描述不完整 ：沒有指出客戶需求是一個可執(zhí)行程序、一個 DLL或一個靜態(tài)函數；沒有說明輸入輸出方式 ② B給出了錯誤的規(guī)格說明書 ：技術上不嚴謹，導致開發(fā)過程遠離目標 ③ C過于迷信和盲從 ：完全未考慮程序代碼的意義和用途 109 計算機學院 /軟件學院 小結 完善、嚴謹的規(guī)格說明是開發(fā)出合格軟件的必要條件。 110 計算機學院 /軟件學院 六、 典型方法的比較 ? 典型的 SA和 OO方法 ? 方法的比較 ? 由頂向下的分解 要說明的問題： 111 計算機學院 /軟件學院 1) 系統(tǒng)描述 ? 典型應用 航空公司訂票系統(tǒng) ? 可能的情況 – 用戶驗證 – 查詢航班 指定日期 – 查詢座位 指定航班 – 查詢預訂 ? 每種情況下，可能的操作 – 顯示面板 – 用戶填表（需求） – 系統(tǒng)處理 一致性檢查、修改 DB、 進一步處理（另一情況）、 … 112 計算機學院 /軟件學院 操作界面 — 查 查 查 查 —航 航 航 航航 航 航 航航 航 航 航 航航 航 航 航6 航 1 0 航 6 航 1 2 航航 航 航 航 航航 航 航 航 航 航 航 航 航 航 航 航 航 航航 航 航 航 航 航 航 航 航 航 航 航 航 航航 航 航 航 航 航 航 航 航 航 x x x x D e p 9 : 0 0 A r r 1 1 : 2 0航 航 航 航 x x x x D e p 1 3 : 0 0 A r r 1 5 : 2 0航 航 航 航 航 航 航0 — — 航 航1 — — 航 航2 — — 航 航 航 航 航3 — — 航 航 航 航 航113 計算機學院 /軟件學院 任務狀態(tài)圖 幫 助初 始化幫 助認 可預 訂查 詢航 班查 詢座 位幫 助幫 助 幫 助1111112311幫 助113211322323114 計算機學院 /軟件學院 2) 問題求解要點 ? 盡可能多的一般性和靈活性 ? 狀態(tài)圖可能很大 一個應用可以有數 百個狀態(tài) ? 結構可能改變 設計者無法預見所 有可能的狀態(tài)和轉換，完成后需要 改變 ? 應用多樣 最小的航空公司訂票系 統(tǒng)是一個范例，但各公司的需求不 同，因此需要可適合不同應用的復 用模塊集 115 計算機學院 /軟件學院 3) 第一個方法 ? 直接的、不精確的程序模式 ? 由許多模塊組成 ，每個模塊處理系統(tǒng)中的 一個狀態(tài) B查詢、 B預訂、 B取消、 … ? 模塊結構（非 OO觀點） B查詢 Repeat ‘在訂票面板上顯示查詢’ Read 用戶輸入 C for 下一步 If C非法 Then ?輸入合適信息’ End Until C合法 Case C Of ‘處理輸入’ C0 : goto Exit。 C1 : goto BHelp C2 : goto B預訂 … End 116 計算機學院 /軟件學院 存在的問題 ? Goto語句的使用 ? 分支語句結構確切反映了狀態(tài)轉換圖 的結構 – 軟件設計脆弱 任何簡單的改變 （增加狀態(tài)、改變狀態(tài)變遷等）必須 改變系統(tǒng)的整個結構 ? 無法復用 117 計算機學院 /軟件學院 4) 結構化解決方案 ? 由低級的、基于 goto的結 構進化成由頂向下的、層 次組織的結構 —— 結構 化方法 ? OO方法一定是結構化方 法 118 計算機學院 /軟件學院 任務狀態(tài)圖 幫 助初 始化幫 助認 可預 訂查 詢航 班查 詢座 位幫 助幫 助 幫 助1111112311幫 助113211322323119 計算機學院 /軟件學院 狀態(tài)變遷功能 ? 狀態(tài)變遷僅僅是系統(tǒng)的性質，不應控 制所有事情 – 將狀態(tài)變遷從算法中剝離出來 – 狀態(tài)變遷依賴于具體應用 ? 狀態(tài)變遷圖的定義 二元組 – 狀態(tài) – 用戶選擇 ? 軟件級實現(xiàn) 兩種方法 – 由一個子程序（函數）實現(xiàn) – 數組一類的數據結構 120 計算機學院 /軟件學院 狀態(tài)變遷表 選擇→↓狀態(tài)1 （初始化） 1 0 5 22 （航班） 0 1 33 （座位） 0 2 44 （訂票） 0 3 55 （認證） 0 4 16 （幫助） r e t u r n 7 （終止） 0 0 1 32注意： ⑴ 狀態(tài) return返回調用狀態(tài) ⑵ 狀態(tài) 1為終止狀態(tài) 121 計算機學院 /軟件學院 程序結構 執(zhí) 行 會 話初 始 化 狀 態(tài) 變 遷 執(zhí) 行 狀 態(tài) 終 止顯 示讀驗 證 信 息 處 理航 航 航航 航 航航 航 航航 航 航 航航 航 航 航122 計算機學院 /軟件學院 程序結構描述 ? 選擇系統(tǒng)的 Top（主程序） – ―執(zhí)行會話?模塊 – 描述怎樣執(zhí)行一個完整的交互會話 ? 直接下級 與狀態(tài)有關的操作 – 定義初始、終止狀態(tài) – 狀態(tài)變遷結構 – 描述每個狀態(tài)上可執(zhí)行操作的?執(zhí)行狀態(tài)? ? 最低級 構成?執(zhí)行狀態(tài)?的操作 – 顯示屏幕等 ? 完整的軟件結構?鏡像?了應用結構 – 涉及狀態(tài)、基本操作等 123 計算機學院 /軟件學院 “Execute_Session” ? 盡可能與實際應用無關 ? 執(zhí)行一個完全的交互系統(tǒng)會話 local state, choice : INTEGER do state := initial repeat execute_state（ state, →next ） —— 修改下一個狀態(tài)的值 state := transition(state, next) until is_final(state) end end 124 計算機學院 /軟件學院 “Execute_Session”描述 ? 一個典型的狀態(tài)變遷圖算法 – 每個階段，都處于一個狀態(tài) – 狀態(tài)由? initial‖開始，以? is_final‖結束 – 對非結束狀態(tài)，執(zhí)行? execute_state‖ ? ―execute_state‖技術不適合于 OOD – 改變本身變量的值 state ? 不顯示與任何特殊應有關的信息 – 必須在第二級填寫應用相關的信息 – 變遷函數、初始化狀態(tài)、終止檢查 125 計算機學院 /軟件學院 “Execute_State”描述 ? 精練? execute_state‖ ? 執(zhí)行與狀態(tài) s相關的 操作 ? 返回用戶選擇的下 一個狀態(tài) c 126 計算機學院 /軟件學院 “Execute_State” execute_state(in s:Integer, out c:integer) local a : Answer。 ok : Boolean。 Do state := initial Repeat display(s) read(s, →a) ok := correct(s, a) If not ok Then message(s,a) End Until ok End process(s, a) c := next_choice(a) End 127 計算機學院 /軟件學院 相關操作 ? display(s) 輸出到與狀態(tài) s有關的面板 ? read(s, →a) 將狀態(tài) s的顯示面板上的用戶輸入讀到 a中 ? correct(s, a) 返回 true的充要條件是 a為正確輸入 ? 必須正確處理第一級的特性 – display、 read、 correct、 message、 … 128 計算機學院 /軟件學院 方案評述 ? 一個較好的方案，不完全滿意 – 比?第一個方法?好 – 無法滿足可擴展性和可復用性 ? 狀態(tài) – 表面上與應用無關 – 實際上模塊間、與應用間緊耦合 ? 主要問題 系統(tǒng)的數據變遷結構 – 狀態(tài) s到處都用 – 真正的程序結構必然涉及?數據? 129 計算機學院 /軟件學院 程序結構 執(zhí) 行 會 話初 始 化 狀 態(tài) 變 遷 執(zhí) 行 狀 態(tài) 終 止顯 示讀驗 證 信 息 處 理第 一 級第 二 級第 三 級數 據 流s t