南郵軟件工程-Unit-01-軟件與軟件工程

UNIT1軟件與軟件工程教材英文精編版第7版（第1章）本科教學(xué)版第7版（第1章）原書(shū)第7版（第1章）2軟件是意外效應(yīng)法則的最好體現(xiàn)沒(méi)有人曾預(yù)料到軟件科學(xué)會(huì)成為商業(yè)、科學(xué)和工程所必需的技術(shù)軟件促進(jìn)了新科技創(chuàng)新（基因工程、納米技術(shù)）、現(xiàn)代科技發(fā)展（通信）、傳統(tǒng)技術(shù)的根本轉(zhuǎn)變（印刷業(yè)）軟件技術(shù)已經(jīng)成為個(gè)人電腦革命的推動(dòng)力量消費(fèi)者可以很容易地在附近的商店購(gòu)買(mǎi)到包裝好的軟件產(chǎn)品軟件由產(chǎn)品逐漸演化為服務(wù)，軟件公司隨需應(yīng)變，通過(guò)Web瀏覽器發(fā)布即時(shí)更新功能軟件公司比幾乎任何傳統(tǒng)工業(yè)時(shí)代的公司更大、更有影響力在大量應(yīng)用軟件的驅(qū)動(dòng)下，互聯(lián)網(wǎng)將迅速發(fā)展，對(duì)人們生活的諸多方面—從圖書(shū)館搜索、消費(fèi)購(gòu)物、政治演說(shuō)到年輕人（或者不那么年輕的人）的約會(huì)習(xí)慣—引起革命性的變化沒(méi)有人曾想到軟件可嵌入到各種系統(tǒng)中：交通運(yùn)輸、醫(yī)療、通信、軍事、工業(yè)、娛樂(lè)以及辦公設(shè)備等不勝枚舉3軟件角色的演化Before1960’s：軟件=程序Before1980’s：軟件=工具（程序+數(shù)據(jù)+文檔）程序：指令的集合（計(jì)算機(jī)程序），通過(guò)執(zhí)行這些指令可以滿(mǎn)足預(yù)期的特征、功能和性能需求數(shù)據(jù)：數(shù)據(jù)結(jié)構(gòu)，使得程序可以合理利用信息文檔：軟件描述信息，它以硬拷貝和虛擬形式存在，用來(lái)描述程序操作和使用Now：軟件=服務(wù)軟件中承載知識(shí)

以知識(shí)為中心SoftwareProgramsDocumentsDataKnowledge4軟件的本質(zhì)軟件既是產(chǎn)品也是交付產(chǎn)品的載體作為一個(gè)產(chǎn)品，扮演著信息轉(zhuǎn)換的角色：產(chǎn)生、管理、獲取、修改、顯示或者傳輸各種不同的信息，簡(jiǎn)單如幾個(gè)比特的傳遞或復(fù)雜如從多個(gè)獨(dú)立的數(shù)據(jù)源獲取的多媒體演示作為產(chǎn)品生產(chǎn)的載體，軟件提供了計(jì)算機(jī)控制（操作系統(tǒng)）、信息通信（網(wǎng)絡(luò)）以及應(yīng)用程序開(kāi)發(fā)和控制（軟件工具和環(huán)境）的基礎(chǔ)平臺(tái)5軟件軟件是設(shè)計(jì)開(kāi)發(fā)的，而不是傳統(tǒng)意義上生產(chǎn)制造的軟件不會(huì)磨損，但是會(huì)退化雖然整個(gè)工業(yè)向著基于構(gòu)件的構(gòu)造模式發(fā)展，然而大多數(shù)軟件仍然是根據(jù)實(shí)際的顧客需求定制的6磨損與退化如果希望降低軟件退化，需要改進(jìn)軟件的設(shè)計(jì)軟件工程方法的目的：降低變更突變的幅度，及其實(shí)際失效曲線的斜率7軟件的應(yīng)用領(lǐng)域系統(tǒng)軟件應(yīng)用軟件工程/科學(xué)軟件嵌入式軟件產(chǎn)品線軟件(包括娛樂(lè)軟件)Web應(yīng)用軟件人工智能軟件8應(yīng)用軟件1.文字處理軟件WPSOffice、MicrosoftOffice、LibreOffice、GoogleDocs2.信息管理軟件OracleDatabase數(shù)據(jù)庫(kù)、SQLServer數(shù)據(jù)庫(kù)3.輔助設(shè)計(jì)軟件：如CATIA、NX、AutoCAD4.實(shí)時(shí)控制軟件5.教育與娛樂(lè)軟件6.圖形圖像軟件AdobePhotoshop、GIMP、MAYA、Softimage、3DS7.后期合成軟件aftereffects、combustion、digitalfusion、shake、flame8.網(wǎng)頁(yè)瀏覽軟件InternetExplorer、Firefox、Chrome、Safari9應(yīng)用軟件9.網(wǎng)絡(luò)通信軟件WindowsLiveMessenger、Skype、QQ10.影音播放軟件：WMP、暴風(fēng)影音、風(fēng)雷影音11.音樂(lè)播放軟件：Winamp、千千靜聽(tīng)12.下載管理軟件Orbit、迅雷、快車(chē)、QQ旋風(fēng)13.電子郵件客戶(hù)端WindowsLiveMail、OutlookExpress、Foxmail、KMail14.信息安全軟件360、卡巴斯基、諾頓、瑞星、金山毒霸、PSA密碼管理軟件15.虛擬機(jī)軟件VMware、VirtualBox、MicrosoftVirtualPC16.輸入法軟件：谷歌拼音輸入法10軟件—新種類(lèi)開(kāi)放計(jì)算（Open-worldcomputing）普適計(jì)算、分布式計(jì)算開(kāi)發(fā)系統(tǒng)和應(yīng)用軟件，以使得移動(dòng)設(shè)備、個(gè)人電腦和企業(yè)應(yīng)用，通過(guò)網(wǎng)絡(luò)設(shè)施進(jìn)行通信網(wǎng)絡(luò)資源（Netsourcing）Web作為計(jì)算引擎和內(nèi)容提供平臺(tái)構(gòu)建一個(gè)結(jié)構(gòu)簡(jiǎn)單而智能的應(yīng)用程序，為全世界的最終用戶(hù)市場(chǎng)提供服務(wù)開(kāi)源軟件（OpenSource）free源碼（一個(gè)祝福，或一個(gè)潛在的詛咒）開(kāi)放的系統(tǒng)應(yīng)用程序的源代碼，使得用戶(hù)可以輕松、可靠地進(jìn)行局部的修改11軟件—新種類(lèi)普適計(jì)算12軟件—新種類(lèi)數(shù)據(jù)挖掘&網(wǎng)格計(jì)算13遺留軟件在幾十年前開(kāi)發(fā)，不斷被修改以滿(mǎn)足商業(yè)需要和計(jì)算平臺(tái)的變化質(zhì)量差：維護(hù)代價(jià)高昂、系統(tǒng)演化風(fēng)險(xiǎn)較高設(shè)計(jì)難以擴(kuò)展，代碼令人費(fèi)解，文檔混亂甚至根本沒(méi)有，測(cè)試用例和結(jié)果從未歸檔，變更歷史管理混亂等，有著數(shù)不清的問(wèn)題具有生命周期長(zhǎng)以及業(yè)務(wù)關(guān)鍵性的特點(diǎn)許多遺留軟件系統(tǒng)仍然支持核心的商業(yè)功能，是業(yè)務(wù)‘必不可少’的支撐14遺留軟件演化的原因軟件需要進(jìn)行適應(yīng)性調(diào)整，從而可以滿(mǎn)足新的計(jì)算環(huán)境或者技術(shù)的需求軟件必須升級(jí)以實(shí)現(xiàn)新的商業(yè)需求軟件必須擴(kuò)展使之具有與更多新的系統(tǒng)和數(shù)據(jù)庫(kù)的互操作能力軟件架構(gòu)必須進(jìn)行改建使之能適應(yīng)多樣化的網(wǎng)絡(luò)環(huán)境所有軟件工程師都必須認(rèn)識(shí)到：變化是不可避免的，不要反對(duì)變化15軟件工程師面臨的問(wèn)題為什么軟件需要如此長(zhǎng)的開(kāi)發(fā)時(shí)間?為什么開(kāi)發(fā)成本居高不下?為什么在將軟件交付給顧客使用之前，我們無(wú)法找到所有的錯(cuò)誤?為什么維護(hù)已有的程序要花費(fèi)高昂的時(shí)間和人力代價(jià)?為什么軟件開(kāi)發(fā)和維護(hù)的過(guò)程仍舊難以度量?軟件危機(jī)軟件危機(jī)(SoftwareCrisis)：計(jì)算機(jī)軟件的開(kāi)發(fā)和維護(hù)過(guò)程所遇到的一系列嚴(yán)重問(wèn)題；軟件危機(jī)的表現(xiàn)：對(duì)軟件開(kāi)發(fā)成本和進(jìn)度的估算很不準(zhǔn)確，甚至嚴(yán)重拖期和超出預(yù)算；無(wú)法滿(mǎn)足用戶(hù)需求，導(dǎo)致用戶(hù)很不滿(mǎn)意；質(zhì)量很不可靠，經(jīng)常失效；難以更改、調(diào)試和增強(qiáng)；沒(méi)有適當(dāng)?shù)奈臋n；軟件成本比重上升；軟件開(kāi)發(fā)生產(chǎn)率跟不上計(jì)算機(jī)應(yīng)用迅速深入的趨勢(shì)。軟件復(fù)雜性的增長(zhǎng)實(shí)例：1963年水星計(jì)劃系統(tǒng)200萬(wàn)條指令1967年雙子星座計(jì)劃系統(tǒng)400萬(wàn)條指令1973年阿波羅計(jì)劃系統(tǒng)1000萬(wàn)條指令1979年哥倫比亞航天飛機(jī)系統(tǒng)4000萬(wàn)條指令WindowsVista：3000開(kāi)發(fā)人員，59個(gè)開(kāi)發(fā)節(jié)點(diǎn)，愈6千萬(wàn)行代碼每個(gè)汽車(chē)系統(tǒng)代碼量：10萬(wàn)行(1970s)-1億行（2010s)波音飛機(jī)：總代碼量超過(guò)400萬(wàn)行；宇宙飛船：軟件代碼2000萬(wàn)行；空間站：軟件代碼10億行問(wèn)題：假設(shè)1個(gè)人一年生產(chǎn)一萬(wàn)條有效指令，那么是否4000人生產(chǎn)一年，或400人生產(chǎn)10年就能完成任務(wù)呢？答案是否定的一萬(wàn)條指令的復(fù)雜度決不僅僅是100條指令復(fù)雜度的100倍軟件復(fù)雜性：指數(shù)級(jí)軟件危機(jī)典型案例在1963年至1966年開(kāi)發(fā)的IBM360機(jī)的操作系統(tǒng)共有4000多個(gè)模塊，約100萬(wàn)條指令，投入5000人年，耗資數(shù)億美元，結(jié)果還是延期交付。在交付使用后的系統(tǒng)中仍發(fā)現(xiàn)大量（2000個(gè)以上）的錯(cuò)誤。這個(gè)項(xiàng)目的負(fù)責(zé)人F.D.Brooks事后總結(jié)了他在組織開(kāi)發(fā)過(guò)程中的沉痛教訓(xùn)時(shí)說(shuō)：……正像一只逃亡的野獸落到泥潭中做垂死的掙扎，越是掙扎，陷得越深。最后無(wú)法逃脫滅頂?shù)臑?zāi)難，……程序設(shè)計(jì)工作正像這樣一個(gè)泥潭，……一批批程序員被迫在泥潭中拼命掙扎，……誰(shuí)也沒(méi)有料到竟會(huì)陷入這樣的困境……1963年美國(guó)飛往火星的火箭爆炸，造成1000萬(wàn)美元的損失原因是FORTRAN程序：DO5I=1，3誤寫(xiě)為：DO5I=1.31967年蘇聯(lián)“聯(lián)盟一號(hào)”載人宇宙飛船返航時(shí)，由于軟件忽略一個(gè)小數(shù)點(diǎn)，在進(jìn)入大氣層時(shí)因打不開(kāi)降落傘而燒毀軟件危機(jī)典型案例丹佛新國(guó)際機(jī)場(chǎng)：機(jī)場(chǎng)規(guī)模是曼哈頓機(jī)場(chǎng)的兩倍，寬為希思機(jī)場(chǎng)的10倍，可以全天侯同時(shí)起降三架?chē)姎馐娇蜋C(jī)；投資1.93億美元建立了一個(gè)地下行李傳送系統(tǒng)，總長(zhǎng)21英里，有4000臺(tái)遙控車(chē)，可按不同線路在20家不同的航空公司柜臺(tái)、登機(jī)門(mén)和行李領(lǐng)取處之間發(fā)送和傳遞行李；支持該系統(tǒng)的是5000個(gè)電子眼、400臺(tái)無(wú)線電接受機(jī)、56臺(tái)條形碼掃描儀和100臺(tái)計(jì)算機(jī)按原定計(jì)劃要在1993年萬(wàn)圣節(jié)前啟用，但直到1994年6月，機(jī)場(chǎng)計(jì)劃者還無(wú)法預(yù)測(cè)“行李系統(tǒng)”何時(shí)能達(dá)到機(jī)場(chǎng)開(kāi)放的穩(wěn)定程度如何理解軟件工程在軟件開(kāi)發(fā)中的作用？開(kāi)發(fā)一段程序，輸入班級(jí)所有人的成績(jī)，按成績(jī)由高到低的次序進(jìn)行排序你會(huì)如何去做？方法1：直接寫(xiě)程序方法2：先設(shè)計(jì)算法，然后再用程序語(yǔ)言實(shí)現(xiàn)方法3：先建立數(shù)學(xué)模型，然后轉(zhuǎn)換為算法，然后編程實(shí)現(xiàn)映射與轉(zhuǎn)換任何軟件系統(tǒng)開(kāi)發(fā)的共同本質(zhì)在于：從現(xiàn)實(shí)空間的需求到計(jì)算機(jī)空間的軟件代碼之間的映射與轉(zhuǎn)換軟件工程的作用軟件工程的本質(zhì)：用嚴(yán)格的規(guī)范和管理手段來(lái)縮小偏差，通過(guò)犧牲“時(shí)間”來(lái)提高“質(zhì)量”軟件工程映射之1：概念映射概念映射：?jiǎn)栴}空間的概念與解空間的模型化概念之間的映射例如：“學(xué)生”ClassStudent(No,Name,Dept,Grade)“計(jì)算機(jī)學(xué)院大三學(xué)生張三” ObjectStudent(1050310401,張三,計(jì)算機(jī),大三)“學(xué)生成績(jī)” StructStudentScore(StudentNo,CourseNo,Score)“張三的軟件工程課成績(jī)?yōu)?5分” ZS_SE_SCORE(1050310401,軟件工程,85)軟件工程映射之2：業(yè)務(wù)邏輯映射業(yè)務(wù)邏輯映射：?jiǎn)栴}空間的處理邏輯與解空間處理邏輯之間的映射例如：計(jì)算某班學(xué)生的平均分?jǐn)?shù)

doublecalculateAvgScore(Struct[]scores){

冒泡排序法; }軟件工程的作用為了實(shí)現(xiàn)以上兩個(gè)映射，軟件工程需要解決以下問(wèn)題：需要設(shè)置哪些抽象層次——單步映射？多步映射？幾步？每一抽象層次的概念、術(shù)語(yǔ)與表達(dá)方式——公式？圖形？文字？相鄰的兩個(gè)抽象層次之間如何進(jìn)行映射——需要遵循哪些途徑和原則？軟件工程的作用需求分析：現(xiàn)實(shí)空間的需求需求規(guī)約在一個(gè)抽象層上建立需求模型的活動(dòng)，產(chǎn)生需求規(guī)約，作為開(kāi)發(fā)人員和客戶(hù)間合作的基礎(chǔ)，并作為以后開(kāi)發(fā)階段的輸入設(shè)計(jì)：需求規(guī)約設(shè)計(jì)規(guī)約定義了實(shí)現(xiàn)需求規(guī)約所需的系統(tǒng)內(nèi)部結(jié)構(gòu)與行為，包括軟件體系結(jié)構(gòu)、數(shù)據(jù)結(jié)構(gòu)、詳細(xì)的處理算法、用戶(hù)界面等，即所謂設(shè)計(jì)規(guī)約，給出了實(shí)現(xiàn)軟件需求的軟件解決方案實(shí)現(xiàn)：設(shè)計(jì)規(guī)約代碼由設(shè)計(jì)規(guī)約到代碼的轉(zhuǎn)換，以某種特定的編程語(yǔ)言，對(duì)設(shè)計(jì)規(guī)約中的每一個(gè)軟件功能進(jìn)行編碼驗(yàn)證/確認(rèn)一種評(píng)估性活動(dòng)，確定一個(gè)階段的產(chǎn)品是否達(dá)到前階段確立的需求，或者確認(rèn)開(kāi)發(fā)的軟件與需求是否一致27軟件工程范疇28軟件工程的幾個(gè)簡(jiǎn)單事實(shí)在制定軟件的解決方案之前，必須盡力理解問(wèn)題設(shè)計(jì)已經(jīng)成為一項(xiàng)關(guān)鍵的軟件工程活動(dòng)軟件必須保證高質(zhì)量軟件需具備可維護(hù)性質(zhì)量和可維護(hù)性都來(lái)自于好的設(shè)計(jì)29軟件工程弗里茨·鮑爾建立和使用一套合理的工程原則，以便經(jīng)濟(jì)地獲得可靠的、可以在實(shí)際機(jī)器上高效運(yùn)行的軟件IEEE將系統(tǒng)化的、規(guī)范的、可量化的方法應(yīng)用于軟件的開(kāi)發(fā)、運(yùn)行和維護(hù)，即將工程化方法應(yīng)用于軟件。在（1）中所述方法的研究。《CrossTalk》軟件工程是一種層次化的技術(shù)，包括過(guò)程、方法和工具30軟件工程是一種層次化的技術(shù)質(zhì)量關(guān)注點(diǎn)是支持軟件工程的根基任何工程方法（包括軟件工程）必須構(gòu)建在質(zhì)量承諾的基礎(chǔ)之上過(guò)程是軟件工程的基礎(chǔ)過(guò)程是一個(gè)框架結(jié)構(gòu)，將各個(gè)技術(shù)層次結(jié)合在一起，使得合理、及時(shí)地開(kāi)發(fā)計(jì)算機(jī)軟件、有效實(shí)施軟件工程成為可能過(guò)程構(gòu)成了軟件項(xiàng)目管理控制的基礎(chǔ)，建立了工作環(huán)境以便于應(yīng)用技術(shù)方法、提交工作產(chǎn)品（模型、文檔、數(shù)據(jù)、報(bào)告、表格等）、建立里程碑、保證質(zhì)量及正確管理變更方法為構(gòu)建軟件提供技術(shù)上的解決方法（“如何做”）方法包括溝通、需求分析、設(shè)計(jì)建模、編程、測(cè)試和技術(shù)支持方法依賴(lài)于一組基本原則，這些原則涵蓋了軟件工程所有技術(shù)領(lǐng)域，包括建模和其他描述性技術(shù)等。工具為過(guò)程和方法提供自動(dòng)化或半自動(dòng)化的支持工具建立軟件開(kāi)發(fā)的支撐系統(tǒng)，稱(chēng)為計(jì)算機(jī)輔助軟件工程31軟件工程是一種層次化的技術(shù)例如：去南京紅山森林動(dòng)物園質(zhì)量關(guān)注點(diǎn)：安全、時(shí)間、舒適、費(fèi)用過(guò)程：制定計(jì)劃和費(fèi)用，確定路線和方法方法：騎車(chē)、開(kāi)車(chē)、報(bào)旅行社工具：自行車(chē)、汽車(chē)、獲取信息實(shí)踐：具體的操作，如：哪里轉(zhuǎn)彎，哪里有路障軟件實(shí)現(xiàn)的三個(gè)基礎(chǔ)33通用的軟件過(guò)程框架不同案例，過(guò)程細(xì)節(jié)差別很大，但框架活動(dòng)都是一致的框架活動(dòng)的順序可能是線性、迭代、演化或并行的每一個(gè)框架活動(dòng)由很多普適性活動(dòng)來(lái)補(bǔ)充實(shí)現(xiàn)普適性活動(dòng)貫穿整個(gè)軟件過(guò)程，關(guān)注于項(xiàng)目管理、跟蹤和控制（項(xiàng)目進(jìn)度、質(zhì)量、變更和風(fēng)險(xiǎn)）對(duì)軟件過(guò)程的普適性調(diào)整是項(xiàng)目成功的關(guān)鍵34過(guò)程要素活動(dòng)（activity）主要實(shí)現(xiàn)寬泛的目標(biāo)（如與利益相關(guān)者進(jìn)行溝通）與應(yīng)用領(lǐng)域、項(xiàng)目大小、結(jié)果復(fù)雜性或者實(shí)施軟件工程的重要程度沒(méi)有直接關(guān)系動(dòng)作（action）：如體系結(jié)構(gòu)設(shè)計(jì)包含了主要工作產(chǎn)品（如體系結(jié)構(gòu)設(shè)計(jì)模型）生產(chǎn)過(guò)程中的一系列任務(wù)任務(wù)（task）關(guān)注小而明確的目標(biāo)，能夠產(chǎn)生實(shí)際產(chǎn)品（如構(gòu)建一個(gè)單元測(cè)試）工作任務(wù)、工作產(chǎn)品、質(zhì)量保證點(diǎn)、里程碑355個(gè)框架活動(dòng)溝通：客戶(hù)協(xié)作、理解利益相關(guān)者的目標(biāo)、收集需求，定義軟件的特性和功能策劃：制定軟件項(xiàng)目計(jì)劃，定義和描述了軟件工程工作，包括需要執(zhí)行的技術(shù)任務(wù)、可能的風(fēng)險(xiǎn)、資源需求、工作產(chǎn)品和工作進(jìn)度計(jì)劃建模：利用模型來(lái)更好地理解軟件需求，并完成符合這些需求的軟件設(shè)計(jì)構(gòu)建：編碼（手寫(xiě)的或者自動(dòng)生成的）和測(cè)試以發(fā)現(xiàn)編碼中的錯(cuò)誤部署：軟件（全部或者部分增量）交付到用戶(hù)，用戶(hù)對(duì)其進(jìn)行評(píng)測(cè)并給出反饋意見(jiàn)36普適性活動(dòng)軟件項(xiàng)目跟蹤和控制—評(píng)估進(jìn)展，采取糾正措施，維護(hù)計(jì)劃風(fēng)險(xiǎn)管理—評(píng)估影響項(xiàng)目成果、產(chǎn)品質(zhì)量的風(fēng)險(xiǎn)軟件質(zhì)量保證—確定和執(zhí)行軟件質(zhì)量保證的活動(dòng)技術(shù)評(píng)審—評(píng)估產(chǎn)品，在錯(cuò)誤傳播到下個(gè)活動(dòng)之前，發(fā)現(xiàn)并清除錯(cuò)誤測(cè)量—定義和收集過(guò)程、項(xiàng)目和產(chǎn)品的度量，以幫助團(tuán)隊(duì)在發(fā)布軟件的時(shí)候滿(mǎn)足利益相關(guān)者要求軟件配置管理—管理變更所帶來(lái)的影響可復(fù)用管理—定義產(chǎn)品復(fù)用的標(biāo)準(zhǔn)（包括軟件構(gòu)件），并且建立構(gòu)件復(fù)用機(jī)制工作產(chǎn)品的準(zhǔn)備和生產(chǎn)—包括了生成產(chǎn)品（諸如建模、文檔、日志、表格和列表等）所必需的活動(dòng)37過(guò)程模型普適性調(diào)整的關(guān)注點(diǎn)活動(dòng)、動(dòng)作和任務(wù)的總體流程，以及相互依賴(lài)關(guān)系在每一個(gè)框架活動(dòng)中，動(dòng)作和任務(wù)細(xì)化的程度工作產(chǎn)品的定義和要求的程度質(zhì)量保證活動(dòng)應(yīng)用的方式項(xiàng)目跟蹤和控制活動(dòng)應(yīng)用的方式過(guò)程描述的詳細(xì)程度和嚴(yán)謹(jǐn)程度客戶(hù)和利益相關(guān)者對(duì)項(xiàng)目參與的程度軟件團(tuán)隊(duì)所賦予的自主權(quán)隊(duì)伍組織和角色明確程度38實(shí)踐的精髓1.理解問(wèn)題（溝通和分析）2.計(jì)劃解決方案（建模和軟件設(shè)計(jì)）3.實(shí)施計(jì)劃（代碼生成）4.檢查結(jié)果的正確性（測(cè)試和質(zhì)量保證）39理解問(wèn)題誰(shuí)將從問(wèn)題的解決中獲益？也就是說(shuō)，誰(shuí)是利益相關(guān)者？有哪些是未知的？哪些數(shù)據(jù)、功能、特征和行為是解決問(wèn)題必需的？問(wèn)題可以劃分嗎？是否可以描述為更小、更容易理解的問(wèn)題？問(wèn)題可以圖形化描述嗎？可以建立分析模型嗎？40計(jì)劃解決方案以前曾經(jīng)見(jiàn)過(guò)類(lèi)似問(wèn)題嗎？在潛在的解決方案中，是否可以識(shí)別一些模式？是否已經(jīng)有軟件實(shí)現(xiàn)了所需要的數(shù)據(jù)、功能、特征和行為？類(lèi)似問(wèn)題是否解決過(guò)？如果是，解決方案所包含元素是否可以復(fù)用？可以定義子問(wèn)題嗎？如果可以，子問(wèn)題是否已有解決方案？能用一種可以很快實(shí)現(xiàn)的方式來(lái)描述解決方案嗎？能構(gòu)建出設(shè)計(jì)模型嗎？41實(shí)施計(jì)劃解決方案和計(jì)劃一致嗎？源碼是否可追溯到設(shè)計(jì)模型？解決方案的每個(gè)組成部分是否可以證明正確？設(shè)計(jì)和代碼是否經(jīng)過(guò)評(píng)審？或者更好的算法是否經(jīng)過(guò)正確性證明？42檢查結(jié)果能否測(cè)試解決方案的每個(gè)部分？是否