1、第三章 軟件需求分析,軟件需求的定義： IEEE軟件工程中的需求定義是 用戶解決問題或達到目標所需要的條件或權(quán)能 系統(tǒng)或系統(tǒng)部件要滿足合同、標準、規(guī)范或其他正式規(guī)定文檔所要具有的條件或權(quán)能 反映上面兩條文檔的說明 一般的定義是 系統(tǒng)必須實現(xiàn)什么的規(guī)約，它描述了系統(tǒng)的行為、特性 或?qū)傩?，是在開發(fā)過程中對系統(tǒng)的約束,第三章 軟件需求分析,軟件需求分析的意義： 從用戶和開發(fā)者兩個角度去充分理解軟件工程項目，達到業(yè)務(wù)應(yīng)用和信息處理的高度一致 充分理解用戶的功能需求，并挖掘用戶的潛在需求，深入掌握軟件工程的全部內(nèi)涵 讓用戶充分理解信息處理系統(tǒng)的功能和實現(xiàn)的條件和環(huán)境 用全面的、發(fā)展的觀點去分析用戶的需求

2、，讓生產(chǎn)出來的軟件產(chǎn)品具有更大的價值 提交規(guī)范化的文檔,第三章 軟件需求分析,需求的分類 功能需求：描述系統(tǒng)所提供的功能和服務(wù)，包括系統(tǒng)應(yīng)該提供的服務(wù)、對輸入如何響應(yīng)及特定條件下系統(tǒng)行為的描述。系統(tǒng)的功能需求應(yīng)該具有全面性和一致性 非功能需求：作為功能需求的補充，非功能需求是指哪些不直接與系統(tǒng)的具體功能相關(guān)的一類需求，但它們與系統(tǒng)的總體特性有關(guān)，如可靠性、響應(yīng)時間、存儲空間等。它定義了對系統(tǒng)提供服務(wù)或功能的約束，包括時間約束、空間約束、開發(fā)過程約束及遵循的標準等,第三章 軟件需求分析,非功能需求又可分三類產(chǎn)品需求、機構(gòu)需求、外部需求,第三章 軟件需求分析,領(lǐng)域需求：來源于系統(tǒng)的應(yīng)用領(lǐng)域，反映該

3、領(lǐng)域的特點。主要反映應(yīng)用領(lǐng)域的基本問題，如果這些需求得不到滿足，系統(tǒng)的正常運轉(zhuǎn)就不可能。它可能是功能需求，也可以是非功能需求。比如軍事領(lǐng)域中防空系統(tǒng)開發(fā)，一方面存在特定的功能需求，同時又存在非功能需求，這類有著特殊應(yīng)用領(lǐng)域的需求就成為領(lǐng)域需求,第三章 軟件需求分析,對軟件需求的完全理解對軟件開發(fā)工作的成功是至關(guān)重要的。 需求分析的任務(wù)是發(fā)現(xiàn)、求精、建模和規(guī)格說明的過程。包括 細化在軟件項目開發(fā)計劃中規(guī)定的軟件范圍； 創(chuàng)建所需的數(shù)據(jù)模型、功能模型和控制模型； 分析可選擇的解決方案，并將它們分配到各個軟件成分中去。,需求分析是一項軟件工程活動，它使得系統(tǒng)分析人員能夠： 刻劃出軟件的功能和性能； 指

4、明軟件與其他系統(tǒng)元素的接口； 建立軟件必須滿足的約束。 需求分析建立起來的模型為日后軟件設(shè)計人員提供了可被翻譯成數(shù)據(jù)、體系結(jié)構(gòu)、界面和過程設(shè)計的模型。 需求規(guī)格說明為開發(fā)人員和用戶提供軟件開發(fā)完成時質(zhì)量評價的依據(jù)。,需求分析的目標和任務(wù),需求分析研究的對象是用戶的要求。 一方面，必須全面理解用戶的各項要求，另一方面，要準確表達被接受的用戶要求。 只有經(jīng)過確切描述的軟件需求才能成為軟件設(shè)計的基礎(chǔ)。 軟件開發(fā)是要實現(xiàn)目標系統(tǒng)的物理模型。需求分析的任務(wù)就是借助于當(dāng)前系統(tǒng)的邏輯模型導(dǎo)出目標系統(tǒng)（計算機系統(tǒng)）的邏輯模型(數(shù)據(jù)流程圖DFD、數(shù)據(jù)字典、加工邏輯（算法）說明)。解決目標系統(tǒng)“做什么”的問題。,

5、目標系統(tǒng),當(dāng)前系統(tǒng),物理模型,邏輯模型,模型化,抽象化,物理模型,邏輯模型,具體化,實例化,理 解 需 求,導(dǎo) 出,怎么做,做什么,需求分析的過程可以分成四個階段： 問題識別 研究系統(tǒng)的可行性分析報告和軟件項目實施計劃。 從系統(tǒng)角度來理解軟件并評審用于產(chǎn)生計劃估算的軟件范圍是否恰當(dāng)； 確定對目標系統(tǒng)的需求； 提出這些需求實現(xiàn)條件，以及需求應(yīng)達到的標準。,需求分析的過程,問題識別的另一項工作是建立分析所需要的通信途徑，以保證能順利地對問題進行分析。,分析與綜合 進行各種要求的一致性檢查； 逐步細化所有的軟件功能； 分解數(shù)據(jù)域，分配給各個子功能； 找出系統(tǒng)各成分之間的聯(lián)系、接口特性和設(shè)計限制。 判

6、斷是否存在不合理的用戶要求或用戶尚未提出的潛在要求。 綜合成系統(tǒng)的解決方案，給出目標系統(tǒng)的詳細邏輯模型。,常用的分析方法,面向數(shù)據(jù)流的結(jié)構(gòu)化分析方法 (SA) 面向數(shù)據(jù)結(jié)構(gòu)的Jackson方法 (JSD) 面向數(shù)據(jù)結(jié)構(gòu)的結(jié)構(gòu)化數(shù)據(jù)系統(tǒng)開發(fā)方法 (DSSD) 面向?qū)ο蟮姆治龇椒?(OOA) 等,編制需求分析階段的文檔 軟件需求說明書； 初步的用戶手冊； 確認測試計劃； 修改和完善軟件開發(fā)計劃。 需求分析評審 作為需求分析階段工作的復(fù)查手段，應(yīng)該對功能的正確性、文檔的一致性、完備性、準確性和清晰性，以及其它需求給予評價。 評審：小組：非設(shè)計人員、用戶（簽字確認）,需要能夠表達和理解問題的信息域和功

7、能域 信息流：數(shù)據(jù)和控制通過一個系統(tǒng)時的變化方式。兩個功能之間的數(shù)據(jù)/控制傳遞就確定了功能間的接口。 信息內(nèi)容：單個數(shù)據(jù)或控制對象，它們構(gòu)成了某個更大的由軟件變換生成的信息的集合。 信息結(jié)構(gòu)：各種數(shù)據(jù)和控制項的內(nèi)部組織。,需求分析的原則,以層次化的方式對問題進行分解和不斷細化,縱 向 分 解,橫向分解,給出系統(tǒng)的邏輯視圖和物理視圖 軟件需求的邏輯視圖給出的是軟件要達到的功能和要處理的數(shù)據(jù)之間的關(guān)系，而不是實現(xiàn)的細節(jié)。 軟件需求的邏輯描述是軟件設(shè)計的基礎(chǔ)。 軟件需求的物理視圖給出的是處理功能和數(shù)據(jù)結(jié)構(gòu)的實際表現(xiàn)形式，這往往是由設(shè)備本身決定的。,軟件需求的層次,業(yè)務(wù)需求 反映了組織或客戶對系統(tǒng)、產(chǎn)

8、品高層次的目標要求，它們一般在項目視圖和范圍文檔中給予說明。 用戶需求 描述用戶使用軟件需要完成哪些任務(wù)，它們可通過使用實例圖或腳本說明加以闡明。,功能非功能需求 定義了開發(fā)者必須實現(xiàn)的軟件功能，而非功能需求如表所示:,需求獲取技術(shù),需求獲取技術(shù)包括兩方面的工作： 建立獲取用戶要求的方法的框架； 支持和監(jiān)控需求獲取的過程的機制。 獲取用戶需求的主要方法是調(diào)查研究。 了解系統(tǒng)的需求 軟件開發(fā)是系統(tǒng)開發(fā)的一部分,仔細分析研究系統(tǒng)的需求規(guī)格說明,對軟件的需求獲取是很有必要的。,市場調(diào)查 了解市場對待開發(fā)軟件有什么要求；了解市場上有無與待開發(fā)軟件類似的系統(tǒng)。 訪問用戶和用戶領(lǐng)域的專家 把從用戶得到的信

9、息作為重要的原始資料進行分析；訪問用戶領(lǐng)域的專家所得到的信息將有助于對用戶需求的理解。 考察現(xiàn)場 了解用戶實際操作環(huán)境、操作過程和操作要求。對照用戶提交的問題陳述，對用戶需求可以有更全面、更細致的認識。,調(diào)查研究的方法,發(fā)調(diào)查表； 召開調(diào)查會； 向用戶領(lǐng)域的專家個別咨詢； 實地考察， 跟蹤現(xiàn)場業(yè)務(wù)流程； 查閱與待開發(fā)系統(tǒng)有關(guān)的資料； 使用各種調(diào)查工具等。,需求分析方法,原型法（P45-49）:概念、三種模型、兩種策略、優(yōu)點、生存期、可使用的階段。 軟件復(fù)用：五個層次、兩種技術(shù)P53 面向數(shù)據(jù)流的分析方法 P53結(jié)構(gòu)化分析) ）基于數(shù)據(jù)流的分析原則： 基本符號P53 分層細化 從輸出回溯。（舉例

10、：圖書管理、銀行、超市等） 檢查原則：P55 編號 ）數(shù)據(jù)字典：詳細補充說明數(shù)據(jù)流、存儲文件P53 3)加工邏輯說明：詳細補充說明復(fù)雜的處理框的功能。 ）系統(tǒng)動態(tài)圖：主要用在面向?qū)ο?需求分析方法,）數(shù)據(jù)及數(shù)據(jù)庫設(shè)計：數(shù)據(jù)庫之間的關(guān)系。 P71ER模型、規(guī)范化、分析過程、考慮因素 ）輔助工具 面向數(shù)據(jù)結(jié)構(gòu)的分析方法(略，第五章) Jackson系統(tǒng)開發(fā)方法、Warnier-Orr方法 、需求規(guī)格說明與評審,結(jié)構(gòu)化分析方法最初只是著眼于數(shù)據(jù)流，自頂向下，逐層分解，建立系統(tǒng)的處理流程，以數(shù)據(jù)流圖和數(shù)據(jù)詞典為主要工具，建立系統(tǒng)的邏輯模型。 擴充后，將建模技術(shù)擴展到數(shù)據(jù)建模、功能建模和行為建模，以實體

11、-關(guān)系圖、數(shù)據(jù)流圖和控制流圖、狀態(tài)-遷移圖為工具，數(shù)據(jù)詞典為核心，從不同視點建立系統(tǒng)的分析模型。,結(jié)構(gòu)化分析方法,結(jié)構(gòu)化分析的分析模型,實體 關(guān)系圖,狀態(tài)遷移圖,數(shù)據(jù)流圖,數(shù)據(jù)對象描述,加工規(guī)格說明,數(shù)據(jù) 字典,控制規(guī)格說明,數(shù)據(jù)建模,數(shù)據(jù)模型包括三種互相關(guān)聯(lián)的信息：數(shù)據(jù)對象，描述對象的屬性，描述對象間相互連接的關(guān)系。 在需求分析階段描述數(shù)據(jù)對象和它們之間的關(guān)系，使用了E-R圖。 例如，在教學(xué)管理中，一個教師可以教授零門、一門或多門課程，每位學(xué)生也需要學(xué)習(xí)幾門課程。因此，教學(xué)管理中涉及的對象（實體型）有學(xué)生、教師和課程。,教學(xué)數(shù)據(jù)模型,學(xué)號 姓名 專業(yè) 性別 ,學(xué)生,職工號 姓名 專業(yè) 職稱

12、年齡,教師,課程號 課程名 學(xué)分 學(xué)時 ,課程,學(xué)號 課程號 成績,選課,實例的關(guān)聯(lián)有三種：一對一 (1:1)； 一對多(1:m)；多對多(n:m)。 這種實例的關(guān)聯(lián)稱為“基數(shù)”。基數(shù)表明了“重復(fù)性”。,E-R圖中表示實體關(guān)聯(lián)的符號如下：,一個X與一個Y相關(guān)聯(lián),一個X與一個或多個Y相關(guān)聯(lián),一個X與零個或一個Y相關(guān)聯(lián),一個X與零個, 一個或多個Y相關(guān)聯(lián),一個X與一個Y或Z相關(guān)聯(lián),一個X與一個Y與Z相關(guān)聯(lián),功能建模和數(shù)據(jù)流,最初, 結(jié)構(gòu)化分析方法僅討論數(shù)據(jù)流建模。目標系統(tǒng)被表示成如圖所示的數(shù)據(jù)變換流程圖。系統(tǒng)的功能體現(xiàn)在核心的數(shù)據(jù)變換中。,外部實體,外部實體,外部實體,外部實體,目標 系統(tǒng),輸入信

13、息,輸入信息,輸出信息,輸出信息,功能建模的思想,功能建模就是用抽象模型的概念，按照軟件內(nèi)部數(shù)據(jù)傳遞、變換的關(guān)系，自頂向下逐層分解，直到找到滿足功能要求的所有可實現(xiàn)的軟件為止。 根據(jù)DeMarco的論述，功能模型使用了數(shù)據(jù)流圖來表達系統(tǒng)內(nèi)數(shù)據(jù)的運動情況，而數(shù)據(jù)流的變換則用結(jié)構(gòu)化英語、判定表與判定樹來描述。,分層的數(shù)據(jù)流圖,結(jié)構(gòu)化分析方法功能建模的步驟 商店業(yè)務(wù)處理系統(tǒng),這個數(shù)據(jù)流圖只是一個高層的系統(tǒng)邏輯模型，它反映了目標系統(tǒng)要實現(xiàn)的功能以及系統(tǒng)與外界的關(guān)系。 該圖亦稱為上下文圖或語境圖（Context Diagram） 數(shù)據(jù)流圖繪制步驟 首先確定系統(tǒng)的輸入和輸出 根據(jù)商店業(yè)務(wù)，畫出頂層數(shù)據(jù)流圖

14、，以反映最主要業(yè)務(wù)處理流程,經(jīng)過分析，商店業(yè)務(wù)處理的主要功能應(yīng)當(dāng)有銷售、采購、會計三大項。主要數(shù)據(jù)流輸入的源點和輸出終點是顧客和供應(yīng)商。 然后從輸入端開始，根據(jù)商店業(yè)務(wù)工作流，畫出數(shù)據(jù)流流經(jīng)的各加工框，逐步畫到輸出端，得到第一層數(shù)據(jù)流圖。,第一層數(shù)據(jù)流圖,加細每一個加工框銷售細化,采購細化,財務(wù)細化,繪制數(shù)據(jù)流圖的原則,數(shù)據(jù)流圖上所有圖形符號只限于前述四種基本圖形元素； 數(shù)據(jù)流圖的頂層圖上的數(shù)據(jù)流必須封閉在外部實體之間； 每個加工至少有一個輸入數(shù)據(jù)流和一個輸出數(shù)據(jù)流； 在數(shù)據(jù)流圖中，需按層給加工框編號。編號表明該加工所處層次及上下層的親子關(guān)系；,規(guī)定任何一個數(shù)據(jù)流子圖必須與它上一層的一個加工對

15、應(yīng)，兩者的輸入數(shù)據(jù)流和輸出數(shù)據(jù)流必須一致。此即父圖與子圖的平衡； 如果一個數(shù)據(jù)文件僅在展開的數(shù)據(jù)流子圖中使用，可以在父圖中不畫出； 可以在數(shù)據(jù)流圖中加入物質(zhì)流，幫助用戶理解數(shù)據(jù)流圖； 圖上每個元素都必須有名字； 數(shù)據(jù)流圖中不可夾帶控制流。,行為建模,行為建模給出需求分析方法的所有操作原則，但只有結(jié)構(gòu)化分析方法的擴充版本才提供這種建模的符號。 狀態(tài)遷移圖 Petri網(wǎng),狀態(tài)遷移圖,例如, 有關(guān)CPU分配的進程的狀態(tài)遷移。,t2,t3,t4,t1,運行,就緒,等待,Petri網(wǎng),Petri網(wǎng)已廣泛地應(yīng)用于硬件與軟件系統(tǒng)的開發(fā)中，它適用于描述與分析相互獨立、協(xié)同操作的處理系統(tǒng)，也就是并發(fā)執(zhí)行的處理系

16、統(tǒng)。 Petri網(wǎng)簡稱PNG (Petri Net Graph)，它有兩種結(jié)點： 位置：符號“”，表示系統(tǒng)狀態(tài)。 轉(zhuǎn)移：符號 “”, 表示系統(tǒng)中的事件。 有向邊表示轉(zhuǎn)移的輸入，或轉(zhuǎn)移的輸出,標記，或稱令牌(token)，是表明系統(tǒng)當(dāng)前處于什么狀態(tài)的標志。 Petri網(wǎng)可能的變化有：,進程 得到資源 占用資源運行 釋放資源 不用資源運行,例如，處理兩個進程的同步問題：,數(shù)據(jù)詞典,數(shù)據(jù)詞典是結(jié)構(gòu)化分析方法的賀信。與各模型的圖形表示配合，能清楚地表達數(shù)據(jù)處理的要求 詞條描述 對于在模型中每一個被命名的圖形元素，均加以定義，其內(nèi)容有: 名字，別名或編號，分類，描述，定義，位置，其它，等,數(shù)據(jù)結(jié)構(gòu)的描述

17、,符 號 含 義 舉 例 被定義為 與 x = ab .,. 或 .|. 或 x = a , b，x = a | b . 或 m.n 重復(fù) x = a， x = 3a8 (.) 可選 x = (a) “.” 基本數(shù)據(jù)元素 x = “a” . 連結(jié)符 x = 1.9,存折格式,存折戶名所號帳號開戶日性質(zhì)(印密)1存取行50 戶名2字母24 所號“001”.“999” 帳號“00000001”.“99999999” 開戶日年月日 性質(zhì)“1”.“6” 注：“1”表示普通戶，“5”表示工資戶等 印密“0” 注：印密在存折上不顯示 存取行日期（摘要）支出存入余額操作復(fù)核,基本加工邏輯說明,對數(shù)據(jù)流圖的每

18、一個基本加工，必須有一個基本加工邏輯說明。 基本加工邏輯說明必須描述基本加工如何把輸入數(shù)據(jù)流變換為輸出數(shù)據(jù)流的加工規(guī)則。 加工邏輯說明必須描述實現(xiàn)加工的策略而不是實現(xiàn)加工的細節(jié)。 加工邏輯說明中包含的信息應(yīng)是充足的，完備的，有用的，無冗余的。,用于寫加工邏輯說明的工具,結(jié)構(gòu)化英語 判定表 判定樹,(1) 結(jié)構(gòu)化英語,結(jié)構(gòu)化英語的詞匯表由 英語命令動詞 數(shù)據(jù)詞典中定義的名字 有限的自定義詞 邏輯關(guān)系詞 IF_THEN_ELSE、 SWITCH、WHILE_DO、FOR、 DO_WHILE等組成。,是一種介于自然語言和形式化語言之間的語言。 語言的正文用基本控制結(jié)構(gòu)進行分割，加工中的操作用自然語言

19、短語來表示。 其基本控制結(jié)構(gòu)有三種： 簡單陳述句結(jié)構(gòu)：避免復(fù)合語句； 重復(fù)結(jié)構(gòu)：while_do、for_do 或 do_while結(jié)構(gòu)。 判定結(jié)構(gòu)：if_then_else 或switch_do 結(jié)構(gòu)；,商店業(yè)務(wù)處理系統(tǒng)中“檢查發(fā)貨單”,if 發(fā)貨單金額超過$500 then if 欠款超過了60天 then 在償還欠款前不予批準 else （欠款未超期） 發(fā)批準書，發(fā)貨單 else （發(fā)貨單金額未超過$500） if 欠款超過60天 then 發(fā)批準書，發(fā)貨單及賒欠報告 else （欠款未超期） 發(fā)批準書，發(fā)貨單,(2) 判定表,如果數(shù)據(jù)流圖的加工需要依賴于多個邏輯條件的取值，使用判定表來

20、描述比較合適。,以“檢查發(fā)貨單”為例,(3) 判定樹,判定樹也是用來表達加工邏輯的一種工具。有時侯它比判定表更直觀。,這是一種有效駕馭風(fēng)險的技術(shù)。 在軟件開發(fā)中，原型是軟件的一個早期可運行的版本，它反映最終系統(tǒng)的部分重要特性。 探索型：目的是要弄清對目標系統(tǒng)的要求，確定所希望的特性，并探討多種方案的可行性。 實驗型：這種原型用于大規(guī)模開發(fā)和實現(xiàn)之前，考核方案是否合適，規(guī)格說明是否可靠。,快速原型化方法,進化型：這種原型的目的不在于改進規(guī)格說明，而是將系統(tǒng)建造得易于變化，在改進原型的過程中，逐步將原型進化成最終系統(tǒng)。,原型使用策略,廢棄策略 追加策略,建立快速原型的好處,增進軟件者和用戶對系統(tǒng)服

21、務(wù)需求的理解，使比較含糊的具有不確定性的軟件需求（主要是功能）明確化。 原型化方法提供了一種有力的學(xué)習(xí)手段。 可以容易地確定系統(tǒng)的性能，確認各項主要系統(tǒng)服務(wù)的可應(yīng)用性，確認系統(tǒng)設(shè)計的可行性，確認系統(tǒng)作為產(chǎn)品的結(jié)果。 有的原型可以直接成為產(chǎn)品，有的略加修改就可成為最終系統(tǒng)的一個組成部分。,原型開發(fā)技術(shù),可執(zhí)行規(guī)格說明 基于腳本(scenario)的設(shè)計 自動程序設(shè)計 專用語言 可復(fù)用(reusable)的軟件 簡化假設(shè),可執(zhí)行規(guī)格說明,可執(zhí)行規(guī)格說明是用于需求規(guī)格說明的一種自動化技術(shù)。使用這種方法，人們可以直接觀察他們用語言規(guī)定的任何系統(tǒng)性行為。包括 代數(shù)規(guī)格說明 有限狀態(tài)模型 可執(zhí)行的數(shù)據(jù)流圖

22、,(1) 代數(shù)規(guī)格說明,使用集合、定義于這些集合上的函數(shù)和定義于這些函數(shù)上的方程來描述對象。規(guī)格說明的操作語義用這些方程表示。 舉例：定義一個無界的棧及其操作,NEW_STACK： Stack PUSH：Stack，Element Stack POP： Stack (Element | Undefined) POP (NEW_STACK ( ) ) Undefined POP (PUSH ( stk，elem ) ) elem,(2) 有限狀態(tài)模型,parnas提出的使用最廣泛的一種可執(zhí)行規(guī)格說明形式。從一個初始狀態(tài)開始接收輸入，到產(chǎn)生輸出，狀態(tài)在推移變化。施加在狀態(tài)元素上的約束確定了有效狀態(tài)

23、的推移。 舉例：建立用戶程序?qū)υ?(3) 可執(zhí)行的數(shù)據(jù)流圖,數(shù)據(jù)流圖是基于結(jié)構(gòu)化開發(fā)方法的結(jié)構(gòu)化規(guī)格說明 用一種可執(zhí)行的語言程序代替定義處理邏輯的結(jié)構(gòu)化英語，數(shù)據(jù)流圖就成為由可執(zhí)行語言程序模塊組成的網(wǎng)絡(luò)，在一定環(huán)境或工具的支持下就可成為一個可以執(zhí)行的原型系統(tǒng)。,基于腳本的設(shè)計,腳本是指用戶界面的原型。 一個腳本用以模擬在系統(tǒng)運行期間用戶經(jīng)歷的事件。它提供了輸入處理輸出的屏幕格式和有關(guān)對話的模型。因此，軟件開發(fā)者能夠給用戶顯示系統(tǒng)的逼真的視圖，使用戶得以判斷是否符合他的意圖。 可在任一腳本中使用一套可復(fù)用的軟件模塊，以表達某一方面的要求。,可使用一種原型語言來描述原型系統(tǒng)。 原型開發(fā)過程中用這種語言來定義 屏幕 數(shù)據(jù)項 相關(guān)的操作 從系統(tǒng)的外部描述開始，開發(fā)與數(shù)據(jù)庫的接口 錯誤處理和恢復(fù)過程 等系統(tǒng)的與外部視圖一致的細節(jié)。,自動程序設(shè)計,在程序自動生成環(huán)境的支持下，利用計算機實現(xiàn)軟件的開發(fā)。 可以自動或半自動地把用戶的非過程式問題規(guī)格說明轉(zhuǎn)換為某種高級語言程序： 演繹綜合手段： 基于數(shù)學(xué)推理的構(gòu)造式證明。 程序變換手段： 將一程序轉(zhuǎn)換成另一功能等價的程序，并保持其正確性不變。,實例推廣手