[p]60年代中期開(kāi)始爆發(fā)了眾所周知的軟件危機(jī)。為了克服這一危機(jī)，在1968、1969年連續(xù)召開(kāi)的兩次著名的nato會(huì)議上提出了軟件工程這一術(shù)語(yǔ)，并在以后不斷發(fā)展、完善。與此同時(shí)，軟件研究人員也在不斷探索新的軟件開(kāi)發(fā)方法。至今已形成八類軟件開(kāi)發(fā)方法。[br][br]一、parnas方法[br][br] 最早的軟件開(kāi)發(fā)方法是由ｄ．parnas在1972年提出的。由于當(dāng)時(shí)軟件在可維護(hù)性和可靠性方面存在著嚴(yán)重問(wèn)題，因此parnas提出的方法是針對(duì)這兩個(gè)問(wèn)題的。首先，parnas提出了信息隱蔽原則：在概要設(shè)計(jì)時(shí)列出將來(lái)可能發(fā)生變化的因素，并在模塊劃分時(shí)將這些因素放到個(gè)別模塊的內(nèi)部。這樣，在將來(lái)由于這些因素變化而需修改軟件時(shí)，只需修改這些個(gè)別的模塊，其它模塊不受影響。信息隱蔽技術(shù)不僅提高了軟件的可維護(hù)性，而且也避免了錯(cuò)誤的蔓延，改善了軟件的可靠性。現(xiàn)在信息隱蔽原則已成為軟件工程學(xué)中的一條重要原則。[br][br] parnas提出的第二條原則是在軟件設(shè)計(jì)時(shí)應(yīng)對(duì)可能發(fā)生的種種意外故障采取措施。軟件是很脆弱的，很可能因?yàn)橐粋€(gè)微小的錯(cuò)誤而引發(fā)嚴(yán)重的事故，所以必須加強(qiáng)防范。如在分配使用[br]設(shè)備前，應(yīng)該取設(shè)備狀態(tài)字，檢查設(shè)備是否正常。此外，模塊之間也要加強(qiáng)檢查，防止錯(cuò)誤蔓延。[br][br] parnas對(duì)軟件開(kāi)發(fā)提出了深刻的見(jiàn)解。遺憾的是，他沒(méi)有給出明確的工作流程。所以這一方法不能獨(dú)立使用，只能作為其它方法的補(bǔ)充。[br][br]二、sasa方法[br][br] 1978年，e．yourdon和l．l．constantine提出了結(jié)構(gòu)化方法，即sasd方法，也可稱為面向功能的軟件開(kāi)發(fā)方法或面向數(shù)據(jù)流的軟件開(kāi)發(fā)方法。1979年tomdemarco對(duì)此方法作了進(jìn)一步的完善。[br][br] yourdon方法是80年代使用最廣泛的軟件開(kāi)發(fā)方法。它首先用結(jié)構(gòu)化分析（sa）對(duì)軟件進(jìn)行需求分析，然后用結(jié)構(gòu)化設(shè)計(jì)（sd）方法進(jìn)行總體設(shè)計(jì)，最后是結(jié)構(gòu)化編程（sp）。這一方法不僅開(kāi)發(fā)步驟明確，sa、sd、sp相輔相成，一氣呵成，而且給出了兩類典型的軟件結(jié)構(gòu)（變換型和事務(wù)型），便于參照，使軟件開(kāi)發(fā)的成功率大大提高，從而深受軟件開(kāi)發(fā)人員的青睞。[br][br]三、面向數(shù)據(jù)結(jié)構(gòu)的軟件開(kāi)發(fā)方法[br][br]jackson方法[br][br] 1975年，m．a(chǎn)．jackson提出了一類至今仍廣泛使用的軟件開(kāi)發(fā)方法。這一方法從目標(biāo)系統(tǒng)的輸入、輸出數(shù)據(jù)結(jié)構(gòu)入手，導(dǎo)出程序框架結(jié)構(gòu)，再補(bǔ)充其它細(xì)節(jié)，就可得到完整的程序結(jié)構(gòu)圖。這一方法對(duì)輸入、輸出數(shù)據(jù)結(jié)構(gòu)明確的中小型系統(tǒng)特別有效，如商業(yè)應(yīng)用中的文件表格處理。該方法也可與其它方法結(jié)合，用于模塊的詳細(xì)設(shè)計(jì)。[br][br] jackson方法有時(shí)也稱為面向數(shù)據(jù)結(jié)構(gòu)的軟件設(shè)計(jì)方法。[br][br]warnier方法[br][br] 1974年，j．d．warnier提出的軟件開(kāi)發(fā)方法與jackson方法類似。[br]差別有三點(diǎn)：一是它們使用的圖形工具不同，分別使用warnier圖和jackson圖；另一個(gè)差別是使用的偽碼不同；最主要的差別是在構(gòu)造程序框架時(shí)，warnier方法僅考慮輸入數(shù)據(jù)結(jié)構(gòu)，而jackson方法不僅考慮輸入數(shù)據(jù)結(jié)構(gòu)，而且還考慮輸出數(shù)據(jù)結(jié)構(gòu)。[br][br]四、問(wèn)題分析法[br][br] pam問(wèn)題分析法。pam（problemanalysismethod）是80年代末由日立公司提出的一種軟件開(kāi)發(fā)方法。[br][br] pam方法希望能兼顧yourdon方法、jackson方法和自底向上的軟件開(kāi)發(fā)方法的優(yōu)點(diǎn)，而避免它們的缺陷。它的基本思想是：考慮到輸入、輸出數(shù)據(jù)結(jié)構(gòu)，指導(dǎo)系統(tǒng)的分解，在系統(tǒng)分析指導(dǎo)下逐步綜合。這一方法的具體步驟是：從輸入、輸出數(shù)據(jù)結(jié)構(gòu)導(dǎo)出基本處理框；分析這些處理框之間的先后關(guān)系；按先后關(guān)系逐步綜合處理框，直到畫出整個(gè)系統(tǒng)的pad圖。從上述步驟中可以看出，這一方法本質(zhì)上是綜合的自底向上的方法，但在逐步綜合之前已進(jìn)行了有目的的分解，這個(gè)目的就是充分考慮系統(tǒng)的輸入、輸出數(shù)據(jù)結(jié)構(gòu)。[br][br] pam方法的另一個(gè)優(yōu)點(diǎn)是使用pad圖。這是一種二維樹(shù)形結(jié)構(gòu)圖，是到目前為止最好的詳細(xì)設(shè)計(jì)表示方法之一，遠(yuǎn)遠(yuǎn)優(yōu)于ns圖和pdl語(yǔ)言。[br][br] 這一方法在日本較為流行，軟件開(kāi)發(fā)的成功率也很高。由于在輸入、輸出數(shù)據(jù)結(jié)構(gòu)與整個(gè)系統(tǒng)之間同樣存在著鴻溝，這一方法仍只適用于中小型問(wèn)題。[br][br]五、面向?qū)ο蟮能浖_(kāi)發(fā)方法[br][br] 面向?qū)ο蠹夹g(shù)是軟件技術(shù)的一次革命，在軟件開(kāi)發(fā)史上具有里程碑的意義。[br][br] 隨著oop（面向?qū)ο缶幊蹋┫騩od（面向?qū)ο笤O(shè)計(jì)）和ooa（面向?qū)ο蠓治觯┑陌l(fā)展，最終形成面向?qū)ο蟮能浖_(kāi)發(fā)方法omt(lbjectmodellingtechnique）。這是一種自底向上和自頂向下相結(jié)合的方法，而且它以對(duì)象建模為基礎(chǔ)，從而不僅考慮了輸入、輸出數(shù)據(jù)結(jié)構(gòu)，實(shí)際上也包含了所有對(duì)象的數(shù)據(jù)結(jié)構(gòu)。所以omt徹底實(shí)現(xiàn)了pam沒(méi)有完全實(shí)現(xiàn)的目標(biāo)。不僅如此，oo技術(shù)在需求分析、可維護(hù)性和可靠性這三個(gè)軟件開(kāi)發(fā)的關(guān)鍵環(huán)節(jié)和質(zhì)量[br]指標(biāo)上有了實(shí)質(zhì)性的突破，徹底地解決了在這些方面存在的嚴(yán)重問(wèn)題，從而宣告了軟件危機(jī)末日的來(lái)臨。[br][br]自底向上的歸納[br][br] omt的第一步是從問(wèn)題的陳述入手，構(gòu)造系統(tǒng)模型。從真實(shí)系統(tǒng)導(dǎo)出類的體系，即對(duì)象模型包括類的屬性，與子類、父類的繼承關(guān)系，以及類之間的關(guān)聯(lián)。類是具有相似屬性和行為的一組具體實(shí)例（客觀對(duì)象）的抽象，父類是若干子類的歸納。因此這是一種自底向上的歸納過(guò)程。在自底向上的歸納過(guò)程中，為使子類能更合理地繼承父類的屬性和行為，可能需要自頂向下的修改，從而使整個(gè)類體系更加合理。由于這種類體系的構(gòu)造是從具體到抽象，再?gòu)某橄蟮骄唧w，符合人類的思維規(guī)律，因此能更快、更方便地完成任務(wù)。這與自頂向下的yourdon方法構(gòu)成鮮明的對(duì)照。在yourdon方法中構(gòu)造系統(tǒng)模型是最困難的一步，因?yàn)樽皂斚蛳碌摹绊敗笔且粋€(gè)空中樓閣，缺乏堅(jiān)實(shí)的基礎(chǔ)，而且功能分解有相當(dāng)大的任意性，因此需要開(kāi)發(fā)人員有豐富的軟件開(kāi)發(fā)經(jīng)驗(yàn)。而在ｏｍｔ中這一工作可由一般開(kāi)發(fā)人員較快地完成。在對(duì)象模型建立后，很容易在這一基礎(chǔ)上再導(dǎo)出動(dòng)態(tài)模型和功能模型。這三個(gè)模型一起構(gòu)成要求解的系統(tǒng)模型。[br][br]自頂向下的分解[br][br] 系統(tǒng)模型建立后的工作就是分解。與yourdon方法按功能分解不同，在omt中通常按服務(wù)（service）來(lái)分解。服務(wù)是具有共同目標(biāo)的相關(guān)功能的集合，如i／o處理、圖形處理等。這一步的分解通常很明確，而這些子系統(tǒng)的進(jìn)一步分解因有較具體的系統(tǒng)模型為依據(jù)，也相對(duì)容易。所以omt也具有自頂向下方法的優(yōu)點(diǎn)，即能有效地控制模塊的復(fù)雜性，同時(shí)避免了yourdon方法中功能分解的困難和不確定性。[br][br]omt的基礎(chǔ)是對(duì)象模型[br][br] 每個(gè)對(duì)象類由數(shù)據(jù)結(jié)構(gòu)（屬性）和操作（行為）組成，有關(guān)的所有數(shù)據(jù)結(jié)構(gòu)（包括輸入、輸出數(shù)據(jù)結(jié)構(gòu)）都成了軟件開(kāi)發(fā)的依據(jù)。因此jackson方法和pam中輸入、輸出數(shù)據(jù)結(jié)構(gòu)與整個(gè)系統(tǒng)之間的鴻溝在omt中不再存在。omt不僅具有jackson方法和pam的優(yōu)點(diǎn)，而且可以應(yīng)用于大型系統(tǒng)。更重要的是，在jackson方法和pam方法中，當(dāng)它們的出發(fā)點(diǎn)——輸入、輸出數(shù)據(jù)結(jié)構(gòu)（即系統(tǒng)的邊界）發(fā)生變化時(shí)，整個(gè)軟件必須推倒重來(lái)。但在omt中系統(tǒng)邊界的改變只是增加或減少一些對(duì)象而已，整個(gè)系統(tǒng)改動(dòng)極小。[br][br]需求分析徹底[br][br] 需求分析不徹底是軟件失敗的主要原因之一。即使在目前，這一危險(xiǎn)依然存在。傳統(tǒng)的軟件開(kāi)發(fā)方法不允許在開(kāi)發(fā)過(guò)程中用戶的需求發(fā)生變化，從而導(dǎo)致種種問(wèn)題。正是由于這一原[br]因，人們提出了原型化方法，推出探索原型、實(shí)驗(yàn)原型和進(jìn)化原型，積極鼓勵(lì)用戶改進(jìn)需求。在每次改進(jìn)需求后又形成新的進(jìn)化原型供用戶試用，直到用戶基本滿意，大大提高了軟件的[br]成功率。但是它要求軟件開(kāi)發(fā)人員能迅速生成這些原型，這就要求有自動(dòng)生成代碼的工具的支持。[br][br] omt徹底解決了這一問(wèn)題。因?yàn)樾枨蠓治鲞^(guò)程已與系統(tǒng)模型的形成過(guò)程一致，開(kāi)發(fā)人員與用戶的討論是從用戶熟悉的具體實(shí)例（實(shí)體）開(kāi)始的。開(kāi)發(fā)人員必須搞清現(xiàn)實(shí)系統(tǒng)才能導(dǎo)出系統(tǒng)模型，這就使用戶與開(kāi)發(fā)人員之間有了共同的語(yǔ)言，避免了傳統(tǒng)需求分析中可能產(chǎn)生的種種問(wèn)題。[br][br]可維護(hù)性大大改善[br][br] 在omt之前的軟件開(kāi)發(fā)方法都是基于功能分解的。盡管軟件工程學(xué)在可維護(hù)方面作出了極大的努力，使軟件的可維護(hù)性有較大的改進(jìn)。但從本質(zhì)上講，基于功能分解的軟件是不易[br]維護(hù)的。因?yàn)楣δ芤坏┯凶兓紩?huì)使開(kāi)發(fā)的軟件系統(tǒng)產(chǎn)生較大的變化，甚至推倒重來(lái)。更嚴(yán)重的是，在這種軟件系統(tǒng)中，修改是困難的。由于種種原因，即使是微小的修改也可能引入[br]新的錯(cuò)誤。所以傳統(tǒng)開(kāi)發(fā)方法很可能會(huì)引起軟件成本增長(zhǎng)失控、軟件質(zhì)量得不到保證等一系列嚴(yán)重問(wèn)題。正是omt才使軟件的可維護(hù)性有了質(zhì)的改善。[br][br] omt的基礎(chǔ)是目標(biāo)系統(tǒng)的對(duì)象模型，而不是功能的分解。功能是對(duì)象的使用，它依賴于應(yīng)用的細(xì)節(jié)，并在開(kāi)發(fā)過(guò)程中不斷變化。由于對(duì)象是客觀存在的，因此當(dāng)需求變化時(shí)對(duì)象的性質(zhì)要比對(duì)象的使用更為穩(wěn)定，從而使建立在對(duì)象結(jié)構(gòu)上的軟件系統(tǒng)也更為穩(wěn)定。[br][br] 更重要的是omt徹底解決了軟件的可維護(hù)性。在oo語(yǔ)言中，子類不僅可以繼承父類的屬性和行為，而且也可以重載父類的某個(gè)行為（虛函數(shù)）。利用這一特點(diǎn)，我們可以方便地進(jìn)行功能修改：引入某類的一個(gè)子類，對(duì)要修改的一些行為（即虛函數(shù)或虛方法）進(jìn)行重載，也就是對(duì)它們重新定義。由于不再在原來(lái)的程序模塊中引入修改，所以徹底解決了軟件的可修改性，從而也徹底解決了軟件的可維護(hù)性。oo技術(shù)還提高了軟件的可靠性和健壯性。[br][br]六、可視化開(kāi)發(fā)方法[br][br] 可視化開(kāi)發(fā)是90年代軟件界最大的兩個(gè)熱點(diǎn)之一。隨著圖形用戶界面的興起，用戶界面在軟件系統(tǒng)中所占的比例也越來(lái)越大，有的甚至高達(dá)60～70％。產(chǎn)生這一問(wèn)題的原因是圖形[br]界面元素的生成很不方便。為此windows提供了應(yīng)用程序設(shè)計(jì)接口api（application programming interface），它包含了600多個(gè)函數(shù)，極大地方便了圖形用戶界面的開(kāi)發(fā)。但是在這批函數(shù)中，大量的函數(shù)參數(shù)和使用數(shù)量更多的有關(guān)常量，使基于windows api的開(kāi)發(fā)變得相當(dāng)困難。為此borland c++推出了object　windows編程。它將api的各部分用對(duì)象類進(jìn)行封裝，提供了大量預(yù)定義的類，并為這些定義了許多成員函數(shù)。利用子類對(duì)父類的繼承性，以及實(shí)例對(duì)類的函數(shù)的引用，應(yīng)用程序的開(kāi)發(fā)可以省卻大量類的定義，省卻大量成員函數(shù)的定義或只需作少量修改以定義子類。[br][br] object windows還提供了許多標(biāo)準(zhǔn)的缺省處理，大大減少了應(yīng)用程序開(kāi)發(fā)的工作量。但要掌握它們，對(duì)非專業(yè)人員來(lái)說(shuō)仍是一個(gè)沉重的負(fù)擔(dān)。為此人們利用windows api或borland c++的object windows開(kāi)發(fā)了一批可視開(kāi)發(fā)工具。[br][br] 可視化開(kāi)發(fā)就是在可視開(kāi)發(fā)工具提供的圖形用戶界面上，通過(guò)操作界面元素，諸如菜單、按鈕、對(duì)話框、編輯框、單選框、復(fù)選框、列表框和滾動(dòng)條等，由可視開(kāi)發(fā)工具自動(dòng)生成應(yīng)[br]用軟件。[br][br] 這類應(yīng)用軟件的工作方式是事件驅(qū)動(dòng)。對(duì)每一事件，由系統(tǒng)產(chǎn)生相應(yīng)的消息，再傳遞給相應(yīng)的消息響應(yīng)函數(shù)。這些消息響應(yīng)函數(shù)是由可視開(kāi)發(fā)工具在生成軟件時(shí)自動(dòng)裝入的。[/p]