【正文】 工作流程 用戶和開(kāi)發(fā)人員共同組成聯(lián)合小組需求調(diào)查主要包括四部分內(nèi)容： 組織概況 組織的業(yè)務(wù)活動(dòng)：1） 組織的業(yè)務(wù)狀態(tài)2） 業(yè)務(wù)的詳細(xì)內(nèi)容3） 輸入輸出信息從六個(gè)方面著手：*信息流向*信息種類*利用的目的*信息的使用者和制造者*輸入和輸出地點(diǎn)*輸入和輸出信息量 存在問(wèn)題、約束條件 未來(lái)要求結(jié)構(gòu)化分析方法（SA方法）就是面向數(shù)據(jù)流自頂向下逐步求精進(jìn)行需求分析的方法。用逐步求解的方法控制系統(tǒng)的復(fù)雜度，使得復(fù)雜系統(tǒng)簡(jiǎn)單化、抽象系統(tǒng)具體化?；鞠到y(tǒng)模型數(shù)據(jù)流分析將系統(tǒng)模型視作一種數(shù)據(jù)變換，它接受各種形式的輸入，通過(guò)變換產(chǎn)生各種形式的輸出?？梢钥闯?，數(shù)據(jù)流圖是由以下四個(gè)基本成分組成的： 數(shù)據(jù)流（用箭頭表示） 加工（用圓圈表示） 文件（用單線或雙線表示） 數(shù)據(jù)源點(diǎn)和終點(diǎn)（用方框表示）幾點(diǎn)說(shuō)明： 一個(gè)加工并不一定是一個(gè)程序。 數(shù)據(jù)存儲(chǔ)和數(shù)據(jù)流都是數(shù)據(jù)，但所處狀態(tài)不同。2） 畫出各層DFD，逐層畫DFD的過(guò)程也就是逐層分解的過(guò)程。A、 子圖的圖號(hào)就是分解的父圖中相應(yīng)加工的編號(hào)。3） 畫出總的DFD。DFD只描述“做什么”，不描述“怎么做”和做的順序。 父圖和子圖的平衡。 局部文件。 分解的深度與層次。所謂基本加工就是加工的意義明確、操作單一。一般來(lái)說(shuō)，可參考以下準(zhǔn)則：1） 一個(gè)加工的分解，最多不要超過(guò)7個(gè)子加工。2） 分解在邏輯上應(yīng)合理、自然，不能硬性分割。這樣可以減少層次的界面。即在一張DFD中，不要有些加工已是基本加工，另一些加工還要分解好幾層。數(shù)據(jù)字典（DD）數(shù)據(jù)字典是關(guān)于數(shù)據(jù)的信息的集合，也就是對(duì)數(shù)據(jù)流圖中包含的系統(tǒng)元素（所有數(shù)據(jù)流、加工、文件）的定義的集合。 數(shù)據(jù)流條目數(shù)據(jù)流條目是定義數(shù)據(jù)流的。在定義數(shù)據(jù)流時(shí)，通常借助于一些簡(jiǎn)單的符號(hào)。所謂加工邏輯是指用戶對(duì)這個(gè)加工的邏輯要求，即這個(gè)加工的輸出數(shù)據(jù)流和輸入數(shù)據(jù)流的邏輯關(guān)系。結(jié)構(gòu)化英語(yǔ)下面是商店業(yè)務(wù)處理系統(tǒng)中“檢查發(fā)貨單”的例子IF the invoice exceeds $500 THEN (發(fā)貨單金額超過(guò)$500) IF the account has any invoice more than 60 days overdue THEN （欠款超過(guò)60天） the confirmation pending resolution of the debt (在償還欠款前不予批準(zhǔn)) ELSE (account is in good standing) (欠款未超期) issue confirmation and invoice (發(fā)批準(zhǔn)書及發(fā)貨單) ENDIFELSE (invoice $500 or less) (發(fā)貨單金額未超過(guò)$500) IF the account has any invoice more than 60 days overdue THEN (欠款超過(guò)60天) issue confirmation, invoice and write message on credit action report (發(fā)批準(zhǔn)書，發(fā)貨單及賒欠報(bào)告) ELSE (account is in good standing) （欠款未超期） Issue confirmation and invoice (發(fā)批準(zhǔn)書及發(fā)貨單)ENDIF判定表在某些數(shù)據(jù)處理問(wèn)題中，某數(shù)據(jù)流圖的加工需要依賴于多個(gè)邏輯條件的取值，就是說(shuō)完成這一加工的一組動(dòng)作是由于某一組條件取值的組合引發(fā)的。下面以“檢查發(fā)貨單”為例，說(shuō)明判定表的構(gòu)成。若采用固定價(jià)格方式收費(fèi)，對(duì)每月耗電100KW?h以下的用戶只征收最低標(biāo)準(zhǔn)費(fèi)，超過(guò)100KW?h的用戶按價(jià)格表A收費(fèi)；若采用浮動(dòng)價(jià)格方式收費(fèi)，則每月耗電100KW?h以下的用戶按價(jià)格表A收費(fèi)，超過(guò)100KW?h的用戶按價(jià)格表B收費(fèi)。下面把前面的“檢查發(fā)貨單”的例子用判定樹表示。任何一個(gè)軟件系統(tǒng)都可能有成千上萬(wàn)個(gè)數(shù)據(jù)項(xiàng)，僅僅描述它們是不夠的，更重要的是如何把它們以最優(yōu)的方式組織起來(lái)，以滿足系統(tǒng)對(duì)數(shù)據(jù)的要求。聯(lián)系客觀世界中的事物彼此間往往是有聯(lián)系的。聯(lián)系可分為三類：1） 一對(duì)一聯(lián)系（1：1）2） 一對(duì)多聯(lián)系（1：N）3） 多對(duì)多聯(lián)系（M：N）屬性屬性是實(shí)體或聯(lián)系所具有的性質(zhì)軟件需求規(guī)格說(shuō)明1. 引言。目標(biāo)，運(yùn)行環(huán)境等3. 數(shù)據(jù)描述。5. 性能需求。7. 其他需求。進(jìn)行需求分析可使用多種工具，但（B）是不適用的。需求規(guī)格說(shuō)明書的內(nèi)容不應(yīng)當(dāng)包括（D）。供選答案：A： ①問(wèn)題分析 ②信息域分析③結(jié)構(gòu)化程序設(shè)計(jì) ④確定邏輯模型B： ①數(shù)據(jù)流圖 ②判定表③PAD圖 ④數(shù)據(jù)詞典C： ①要讓軟件做那么 ②要給軟件提供哪些信息③要求軟件工作效率如何 ④要讓軟件具有什么樣的結(jié)構(gòu)D： ①對(duì)重要功能的描述 ②對(duì)算法的詳細(xì)過(guò)程性描述③軟件確認(rèn)準(zhǔn)則 ④軟件的性能E： ①軟件設(shè)計(jì)的依據(jù) ②用戶和開(kāi)發(fā)人員對(duì)軟件要“做什么”的共同理解③軟件驗(yàn)收的依據(jù) ④軟件可行性分析的依據(jù)答案：A. ③ B. ③ C. ① D.② E.④2．在結(jié)構(gòu)化分析方法中，用以表達(dá)系統(tǒng)內(nèi)數(shù)據(jù)的運(yùn)動(dòng)情況的工具有（）。開(kāi)發(fā)階段由3個(gè)互相關(guān)聯(lián)的步驟組成，即設(shè)計(jì)、實(shí)現(xiàn)（編碼）和測(cè)試。從技術(shù)角度來(lái)看，軟件設(shè)計(jì)可分為數(shù)據(jù)設(shè)計(jì)、系統(tǒng)結(jié)構(gòu)設(shè)計(jì)和過(guò)程設(shè)計(jì)。概要設(shè)計(jì)基本目的是用比較抽象概括的方式確定系統(tǒng)如何完成預(yù)定的任務(wù)，即確定軟件系統(tǒng)的總體結(jié)構(gòu)，給出系統(tǒng)中各個(gè)組成模塊的功能和模塊間的接口。采用模塊化原理的優(yōu)點(diǎn)：1） 可以使軟件結(jié)構(gòu)清晰，容易設(shè)計(jì)、容易閱讀和理解、容易測(cè)試和調(diào)試。3） 易于軟件開(kāi)發(fā)工程的組織管理。模塊獨(dú)立性可用兩個(gè)定量準(zhǔn)則來(lái)度量耦合（coupling）：各個(gè)模塊之間相互關(guān)聯(lián)的度量?jī)?nèi)聚（cohesion）：模塊內(nèi)部各元素之間相互關(guān)聯(lián)的度量耦合共分七級(jí)非直接耦合、數(shù)據(jù)耦合、特征耦合/標(biāo)記耦合、控制耦合、外部耦合、公共耦合、內(nèi)容耦合按上述順序，耦合性逐漸升高，模塊獨(dú)立性逐漸降低。軟件概要設(shè)計(jì)的目標(biāo)是力求增加模塊的內(nèi)聚，盡量減少模塊間的耦合。系統(tǒng)結(jié)構(gòu)設(shè)計(jì)的七條啟發(fā)式原則：1） 改進(jìn)軟件結(jié)構(gòu)提高模塊獨(dú)立性2） 模塊規(guī)模應(yīng)該適中3） 深度、寬度、扇出和扇入都應(yīng)適當(dāng)4） 模塊的作用范圍應(yīng)在控制范圍之內(nèi)5） 力爭(zhēng)降低模塊接口的復(fù)雜程度6） 設(shè)計(jì)單入口單出口的模塊7） 模塊功能應(yīng)該可以預(yù)測(cè)概要設(shè)計(jì)常用圖形工具有：層次圖、HIPO圖、結(jié)構(gòu)圖（SC圖）。結(jié)構(gòu)化設(shè)計(jì)方法（Structured Design，SD）是基于模塊化、自頂向下細(xì)化、結(jié)構(gòu)化程序設(shè)計(jì)等程序設(shè)計(jì)技術(shù)基礎(chǔ)而發(fā)展起來(lái)的。編寫目的，項(xiàng)目背景等2. 任務(wù)概述。處理流程，系統(tǒng)總體結(jié)構(gòu)等4. 接口設(shè)計(jì)。SD方法的最終目標(biāo)是（C），用于表示模塊間調(diào)用關(guān)系的圖叫（D）。供選擇的答案：AB：①Jackson ②SA ③SC ④Parnas ⑤SPC： ①塊間聯(lián)系大，塊內(nèi)聯(lián)系小 ②塊間聯(lián)系大，塊內(nèi)聯(lián)系小 ③塊間聯(lián)系小，塊內(nèi)聯(lián)系大 ④塊間聯(lián)系小，塊內(nèi)聯(lián)系小D： ①PAD ②HCP ③SC ④SADT ⑤HIPO ⑥NSE： ①Jackson ②Parnas ③Turing ④Wirth ⑤Dijkstra答案：A.② B.⑤ C.③ D.③ E.②2．塊間聯(lián)系和塊內(nèi)聯(lián)系是評(píng)價(jià)程序模塊結(jié)構(gòu)質(zhì)量的重要標(biāo)準(zhǔn)。在塊內(nèi)聯(lián)系中，（B）的塊內(nèi)聯(lián)系最強(qiáng)。此外，SD方法還提出了判定的作用范圍和模塊的控制范圍等概念。供選擇的答案：A：①友好性 ②健壯性 ③簡(jiǎn)單性 ④安全性B：①巧合內(nèi)聚 ②功能內(nèi)聚 ③通信內(nèi)聚 ④信息內(nèi)聚C：①一個(gè) ②多個(gè)D：①數(shù)據(jù)型 ②控制型 ③混合型E：①直接引用 ②標(biāo)準(zhǔn)調(diào)用 ③中斷 ④宏調(diào)用F：①少 ②多GH：①作用范圍 ②控制范圍答案：A.③ B.② C.① D.① E.② F.① G.① H.②3．從下列有關(guān)系統(tǒng)結(jié)構(gòu)圖的敘述中選出正確的敘述A．系統(tǒng)結(jié)構(gòu)圖中反映的是程序中數(shù)據(jù)流的情況。因此，有時(shí)可將系統(tǒng)結(jié)構(gòu)圖當(dāng)作程序流程圖使用。D． 系統(tǒng)結(jié)構(gòu)圖中，上級(jí)模塊與其下屬模塊之間的調(diào)用關(guān)系用有向線段表示。答案：D5．在完成軟件概要設(shè)計(jì)，并編寫出相關(guān)文檔之后，應(yīng)當(dāng)組織對(duì)概要設(shè)計(jì)工作的評(píng)審。分析軟件各部分之間的聯(lián)系，確認(rèn)該軟件的內(nèi)部接口與外部接口是否已經(jīng)明確定義。模塊（D）是否在其（E）之內(nèi)。結(jié)構(gòu)化程序設(shè)計(jì)技術(shù)是進(jìn)行詳細(xì)設(shè)計(jì)的邏輯基礎(chǔ)。結(jié)構(gòu)化程序設(shè)計(jì)的三種基本控制結(jié)構(gòu)是順序、選擇、循環(huán)。程序復(fù)雜性度量 程序復(fù)雜性主要指模塊內(nèi)程序的復(fù)雜性。 1） 代碼行度量法度量程序的復(fù)雜性，最簡(jiǎn)單的方法就是統(tǒng)計(jì)程序的源代碼行數(shù)。Lipow及其他研究者得出一個(gè)結(jié)論：對(duì)于少于100個(gè)語(yǔ)句的小程序，源代碼行數(shù)與出錯(cuò)率是線性相關(guān)的。2） McCabe度量法McCabe度量法是一種基于程序控制流的復(fù)雜性度量方法。如果把程序流程圖中每個(gè)處理符號(hào)都退化成一個(gè)結(jié)點(diǎn)，原來(lái)聯(lián)結(jié)不同處理符號(hào)的流線變成連接不同結(jié)點(diǎn)的有向弧，這樣得到的有向圖就叫做程序圖。詳細(xì)設(shè)計(jì)說(shuō)明書1. 引言2. 總體設(shè)計(jì)。逐個(gè)模塊描述其功能、性能、輸入、輸出、算法等例題軟件詳細(xì)設(shè)計(jì)工具可分為3類，即圖形工具、設(shè)計(jì)語(yǔ)言和表格工具。（B）表示法中，每個(gè)處理過(guò)程用一個(gè)盒子表示，盒子可以嵌套。（D）是一種設(shè)計(jì)和描述程序的語(yǔ)言，它是一種面向（E）的語(yǔ)言。答案：PAD圖略McCabe復(fù)雜性度量都為3。其中出現(xiàn)了6個(gè)GOTO語(yǔ)句，1個(gè)向前，5個(gè)向后，程序可讀性很差。if (BC) goto 110。goto 140。goto 140。goto 100。140試?yán)没究刂平Y(jié)構(gòu)，將程序中的GOTO語(yǔ)句消去。按照軟件工程的方法論，程序的質(zhì)量基本上由設(shè)計(jì)的質(zhì)量決定。程序設(shè)計(jì)語(yǔ)言的分類、選擇大量實(shí)踐表明，高級(jí)程序設(shè)計(jì)語(yǔ)言較匯編語(yǔ)言有很多優(yōu)點(diǎn)。①嵌套的重?cái)?shù)應(yīng)加以限制②盡量多使用臨時(shí)變量③不濫用語(yǔ)言特色④不用可以省略的括號(hào)⑤使用有意義的變量名⑥應(yīng)盡可能把程序編得短些⑦把常見(jiàn)的局部?jī)?yōu)化工作留給編譯程序去做⑧注解越少越好⑨程序的格式應(yīng)有助于讀者理解程序⑩應(yīng)盡可能多用GOTO語(yǔ)句答案：①、③、⑤、⑦、⑨是正確的從下列關(guān)于模塊化程序設(shè)計(jì)的敘述中選出5條正確的敘述。一般來(lái)說(shuō)，模塊的大小都在10行以下答案：②、③、④、⑦、⑧是正確的測(cè)試軟件測(cè)試的目的就是軟件投入生產(chǎn)性運(yùn)行之前，盡可能多地發(fā)現(xiàn)軟件中的錯(cuò)誤。軟件測(cè)試在軟件生命周期中橫跨兩個(gè)階段：編碼和測(cè)試。2） 一個(gè)好的測(cè)試用例在于能發(fā)現(xiàn)至今未發(fā)現(xiàn)的錯(cuò)誤3） 一個(gè)成功的測(cè)試是發(fā)現(xiàn)了至今未發(fā)現(xiàn)的錯(cuò)誤的測(cè)試軟件測(cè)試的原則1） 應(yīng)當(dāng)盡早地不斷地進(jìn)行軟件測(cè)試2） 測(cè)試用例應(yīng)由測(cè)試輸入數(shù)據(jù)和與之相對(duì)應(yīng)的預(yù)期輸出結(jié)果這兩部分組成3） 程序員應(yīng)避免檢查自己的程序4） 在設(shè)計(jì)測(cè)試用例時(shí)，應(yīng)當(dāng)包括合理的輸入條件和不合理的輸入條件5） 充分注意測(cè)試中的群集現(xiàn)象6） 嚴(yán)格執(zhí)行測(cè)試計(jì)劃，排除測(cè)試的隨意性7） 應(yīng)當(dāng)對(duì)每個(gè)測(cè)試結(jié)果做全面檢查8） 妥善保存測(cè)試計(jì)劃、測(cè)試用例、出錯(cuò)統(tǒng)計(jì)和最終分析報(bào)告，為維護(hù)提供方便常分單元測(cè)試/模塊測(cè)試，集成測(cè)試，確認(rèn)測(cè)試和系統(tǒng)測(cè)試。設(shè)計(jì)測(cè)試方案是測(cè)試階段的關(guān)鍵技術(shù)問(wèn)題，基本目標(biāo)是選用最少量的高效測(cè)試數(shù)據(jù)，做到盡可能完善的測(cè)試，從而盡可能多地發(fā)現(xiàn)軟件中的問(wèn)題。應(yīng)該認(rèn)識(shí)到，軟件測(cè)試不僅僅指利用計(jì)算機(jī)進(jìn)行的測(cè)試，還包括人工進(jìn)行的測(cè)試（例如，代碼審查）。因果圖方法最終生成的就是判定表。a.例題[2000年統(tǒng)考]設(shè)要對(duì)一個(gè)自動(dòng)飲料售貨機(jī)軟件進(jìn)行黑盒測(cè)試。若投入1元5角硬幣，按下“橙汁”、“啤酒”或“紅茶”按鈕，相應(yīng)的飲料就送出來(lái)。1）（5分）試?yán)靡蚬麍D法，建立該軟件的因果圖；2）（5分）設(shè)計(jì)測(cè)試該軟件的