軟件工程
軟件工程(英語:software engineering[1]),是軟件開發領域裡對工程方法的系統應用。
1968年秋季,NATO(北約)的科技委員會召集了近50名一流的編程人員、計算機科學家和工業界巨頭,討論和制定擺脫「軟體危機」的對策。在那次會議上第一次提出了軟體工程(software engineering)這個概念,研究和應用如何以系統性的、規範化的、可定量的過程化方法去開發和維護軟件,以及如何把經過時間考驗而證明正確的管理技術和當前能夠得到的最好的技術方法結合起來的學科。它涉及到程序設計語言、數據庫、軟件開發工具、系統平台、標準、設計模式等方面。其後的幾十年裡,各種有關軟件工程的技術、思想、方法和概念不斷被提出,軟件工程逐步發展為一門獨立的科學。
1993年,電氣電子工程師學會(IEEE)給出了一個更加綜合的定義:"將系統化的、規範的、可度量的方法用於軟件的開發、運行和維護的過程,即將工程化應用於軟件開發中"。此後,IEEE多次給出軟件工程的定義。
在現代社會中,軟件應用於多個方面。典型的軟件比如有電子郵件、嵌入式系統、人機界面、辦公套件、操作系統、網頁、編譯器、數據庫、遊戲等。同時,各個行業幾乎都有計算機軟件的應用,比如工業、農業、銀行、航空、政府部門等。這些應用促進了經濟和社會的發展,提高人們的工作效率,同時提升了生活質量。
軟件工程師是對應用軟件創造軟件的人們的統稱,軟件工程師按照所處的領域不同可以分為系統分析師、系統架構師、前端和後端工程師、程序員、測試工程師、用戶界面設計師等等。各種軟件工程師人們俗稱程序員。
名稱由來與定義
軟體危機
1970年代和1980年代的軟體危機。在那個時代,許多軟體最後都得到了一個悲慘的結局,軟件項目開發時間大大超出了規劃的時間表。一些項目導致了財產的流失,甚至某些軟件導致了人員傷亡。同時軟件開發人員也發現軟體開發的難度越來越大。在軟體工程界被大量引用的案例是Therac-25的意外:在1985年六月到1987年一月之間,六個已知的醫療事故來自於Therac-25錯誤地超過劑量,導致患者死亡或嚴重輻射灼傷[2]。
由來
鑒於軟體開發時所遭遇困境,北大西洋公約組織(NATO)在1968年舉辦了首次軟體工程學術會議[3],並於會中提出「軟體工程」來界定軟體開發所需相關知識,並建議「軟體開發應該是類似工程的活動」。軟體工程自1968年正式提出至今,這段時間累積了大量的研究成果,廣泛地進行大量的技術實踐,藉由學術界和產業界的共同努力,軟體工程正逐漸發展成為一門專業學科。
定義
關於軟件工程的定義,在GB/T11457-2006《訊息技術 軟件工程術語》中將其定義為"應用計算機科學理論和技術以及工程管理原則和方法,按預算和進度,實現滿足用戶要求的軟件產品的定義、開發、和維護的工程或進行研究的學科"。
包括:
- 創立與使用健全的工程原則,以便經濟地獲得可靠且高效率的軟體。[4]
- 應用系統化,遵從原則,可被計量的方法來發展、操作及維護軟體;也就是把工程應用到軟體上。[5]
- 與開發、管理及更新軟體產品有關的理論、方法及工具。[6]
- 一種知識或學科,目標是生產品質良好、準時交貨、符合預算,並滿足用戶所需的軟體。[7]
- 實際應用科學知識在設計、建構電腦程式,與相伴而來所產生的文件,以及後續的操作和維護上。[8]
- 使用與系統化生產和維護軟體產品有關之技術與管理的知識,使軟體開發與修改可在有限的時間與費用下進行。[9]
- 建造由工程師團隊所開發之大型軟體系統有關的知識學科。[10]
- 對軟體分析、設計、實施及維護的一種系統化方法。[11]
- 系統化地應用工具和技術於開發以計算機為主的應用。[12]
- 軟體工程是關於設計和開發優質軟體。[13]
軟體工程的核心知識(SWEBOK)
ACM與IEEE Computer Society聯合修定的SWEBOK[14](Software Engineering Body of Knowledge)提到,軟體工程領域中的核心知識包括:
- 軟體需求(Software requirements)
- 軟體設計(Software design)
- 軟體建構(Software construction)
- 軟體測試(Software test)
- 軟體維護與更新(Software maintenance)
- 軟體構型管理(Software Configuration Management, SCM)
- 軟體工程管理(Software Engineering Management)
- 軟體開發過程(Software Development Process)
- 軟體工程工具與方法(Software Engineering Tools and methods)
- 軟體品質(Software Quality)
軟件工程與計算機科學
軟件的開發到底是一門科學還是一門工程,這是一個被爭論了很久的問題。實際上,軟件開發兼有兩者的特點。但是這並不意味着它們可以被互相混淆。很多人認為軟件工程基於計算機科學和信息科學就如傳統意義上的工程學之於物理和化學一樣。在美國,大約40%的軟件工程師具有計算機科學的學位。在世界其他地方,這個比例也差不多。他們並不一定會每天使用計算機科學方面的知識,但是他們每天都會使用軟件工程方面的知識。
軟體工程 | 電腦科學 | |
---|---|---|
目標 | 在時間、資源、人員這3個主要限制條件下構建滿足用戶需求的軟體系統。 | 探索正確的計算和建模方法,從而改進計算方法本身。 |
產品 | 軟體(比如辦公套件和編譯器)。 | 演算法(比如希爾排序法)和抽象的問題(比如哲學家進餐問題)。 |
進度與時間表 | 軟體專案都有特定的進度與時間表 | 研究專案一般不具有設定的進度與時間表 |
關注點 | 軟體工程關注如何為用戶實現價值。 | 軟體理論關注的是軟體本身運行的原理,比如時間複雜度,空間複雜度,和演算法的正確性。 |
變化程度 | 隨著技術和用戶需求的不斷變化,軟體開發人員必須時刻調整自己的開發以適應當前的需求。同時軟體工程本身也處於不斷的發展中。 | 對於某一種特定問題的正確解決方法將永遠不會改變。 |
需要的其他知識 | 相關領域的知識。 | 數學。 |
著名的探索者和教育家 | 巴里·勃姆,戴維·帕納斯,佛瑞德·布魯克斯。 | 艾茲赫爾·戴克斯特拉,高德納,羅伯特·塔揚,彼得·斯萊特,艾倫·圖靈,姚期智。 |
著名的實踐者 | 約翰·巴科斯,丹·布里克林,蒂姆·伯納斯-李,林納斯·托瓦茲,理查德·馬修·斯托曼。 | 無。 |
例如彼得·麥克布林(Peter McBreen)認為,軟體工程意味著更高程度的嚴謹性與經過驗證的流程,並不適合現階段各類型的軟體開發。麥克布林在著作《Software Craftsmanship: The New Imperative》提出了所謂「craftsmanship」的說法,認為現階段軟體開發成功的關鍵因素,是開發者的技能,而不是「manufacturing」軟體的流程。
軟體工程的現況
Capers Jones曾對美國軟體組織的績效做過評估,所得到結論是:軟體工程的專業分工不足,是造成品質低落、時程延誤、預算超支的最關鍵因素。[16]
2003年,The Standish Group年度報告指出,在他們調查的13522個專案中,有66%的軟體專案失敗、82%超出時程、48%推出時缺乏必需的功能,總計約550億美元浪費在不良的計畫、預算或軟體估算上。[17]
沒有銀彈與人月神話
在1986年,IBM大型電腦之父佛瑞德·布魯克斯發表了他的著名論文《沒有銀彈》,在這篇著名的論文中他斷言:「在10年內無法找到解決軟件危機的靈丹妙藥」。從軟件危機被提出以來。人們一直在尋找解決它的方法。於是一系列的方法被提出並且加以應用。比如結構化程式設計,面向對象的開發,CMM,UML等等。佛瑞德·布魯克斯著名作品還有《人月神話》。
布魯克斯在《人月神話:軟體專案管理之道(The Mythical Man-Month)》提到,將沒有靈丹妙藥(silver bullet)可以一蹴而就,開發軟體的困難是內生的,只能漸進式的改善。整體環境沒有改變以前,唯一可能的解,是依靠人的素質,培養優秀的工程師。[18]
軟件工程與計算機程序設計
軟件工程存在於各種應用中,存在於軟件開發的各個方面。而程序設計通常包含了程序設計和編碼的反覆迭代的過程,它是軟件開發的一個階段。
軟件工程力圖對軟件項目的各個方面作出指導,從軟件的可行性分析直到軟件完成以後的維護工作。軟件工程認為軟件開發與各種市場活動密切相關。比如軟件的銷售,用戶培訓,與之相關的軟件和硬件安裝等。軟件工程的方法學認為一個獨立的程序員不應當脫離團隊而進行開發,同時程序的編寫不能夠脫離軟件的需求,設計,以及客戶的利益。
軟件工程的發展是計算機程序設計工業化的體現。
軟件開發過程
軟件開發過程是隨着開發技術的演化而隨之改進的。從早期的瀑布式(Waterfall)的開發模型到後來出現的螺旋式的迭代(Spiral)開發,以致最近開始興起的敏捷軟體開發(Agile),他們展示出了在不同的時代軟件產業對於開發過程的不同的認識,以及對於不同類型項目的理解方法。
注意區分軟件開發過程和軟件過程改進之間的重要區別。諸如像ISO 15504, ISO 9000, CMM, CMMI這樣的名詞闡述的是一些軟件過程改進框架,他們提供了一系列的標準和策略來指導軟件組織如何提升軟件開發過程的質量、軟件組織的能力,而不是給出具體的開發過程的定義。
方法學
軟件工程的方法有很多方面的意義。包括項目管理,分析,設計,程序的編寫,測試和質量控制。
軟件設計方法可以區別為重量級的方法和輕量級的方法。重量級的方法中產生大量的正式文檔。
著名的重量級開發方法包括ISO 9000,CMM,和統一軟件開發過程(RUP)。
輕量級的開發過程沒有對大量正式文檔的要求。著名的輕量級開發方法包括極限編程(XP)和敏捷過程(Agile Processes)。
根據《新方法學》這篇文章的說法,重量級方法呈現的是一種「防禦型」的姿態。在應用「重量級方法」的軟件組織中,由於軟件項目經理不參與或者很少參與程序設計,無法從細節上把握項目進度,因而會對項目產生「恐懼感」,不得不要求程序員不斷撰寫很多「軟件開發文檔」。而輕量級方法則呈現「進攻型」的姿態,這一點從XP方法特別強調的四個準則—「溝通、簡單、反饋和勇氣」上有所體現。目前有一些人認為,「重量級方法」適合於大型的軟件團隊(數十人以上)使用,而「輕量級方法」適合小型的軟件團隊(幾人、十幾人)使用。當然,關於重量級方法和輕量級方法的優劣存在很多爭論,而各種方法也在不斷進化中。
一些方法論者認為人們在開發中應當嚴格遵循並且實施這些方法。但是一些人並不具有實施這些方法的條件。實際上,採用何種方法開發軟件取決於很多因素,同時受到環境的制約。
軟件工程的發展方向
「敏捷開發」(Agile Development)被認為是軟件工程的一個重要的發展。它強調軟件開發應當是能夠對未來可能出現的變化和不確定性作出全面反應的。
敏捷開發被認為是一種「輕量級」的方法。在輕量級方法中最負盛名的應該是「極限編程」(Extreme Programming,簡稱為XP)。而與輕量級方法相對應的是「重量級方法」的存在。重量級方法強調以開發過程為中心,而不是以人為中心。重量級方法的例子比如CMM/PSP/TSP。
面向方面的程序設計(Aspect Oriented Programming,簡稱AOP)被認為是近年來軟件工程的另外一個重要發展。這裡的方面指的是完成一個功能的對象和函數的集合。在這一方面相關的內容有泛型編程(Generic Programming)和模板。
分支學科
相關學科
系統工程
系統工程師主要處理系統的整體需求和設計,包括硬體與人力問題。
參考文獻
- ^ 1.0 1.1 1.2 1.3 軟體工程(Software Engineering;SE). 勤益科技大學. [2015-02-24]. (原始內容存檔於2021-01-23) (中文(臺灣)).
寫程式的難度愈來愈低,因為程式語言越來越高階,API 越來越多,開發工具越來越好用,寫程式的門檻自然就大大地降低了。想要開發出有價值的中大型系統,軟體工程就很重要了,以蓋房子來說,你可以隨便找一兩個工人用磚或木材來蓋一棟矮房,但是如果想蓋一百多層樓的101大樓,你非得有良好的工程規劃不可,軟體不也是如此?程式設計師名片上的頭銜都是工程師,雖然和建築工程師、機械工程師... 一樣都被稱為工程師,但比較起來,軟體產業的工程師卻是最不工程導向的。
- ^ An Investigation of the Therac-25 Accidents. [2005-06-05]. (原始內容存檔於2011-06-11).
- ^ 存档副本. [2011-02-25]. (原始內容存檔於2021-04-18).
- ^ F. L. Bauer, NATO Software Engineering Conference, 1968.
- ^ IEEE標準電腦字典,610.12,1990
- ^ I. Sommerville, Software Engineering, 7th ed.:Addison-Wesley Longman Publishing Co., Inc. Boston, MA, USA, 2004.
- ^ S. R. Schach, Software Engineering: Asken Associates Pacific Palisades, CA, USA, 1990.
- ^ B. W. Boehm, Software Engineering Economics: Prentice Hall PTR Upper Saddle River, NJ, USA, 1981.
- ^ R. Fairley, Software Engineering Concepts: McGraw-Hill, Inc. New York, NY, USA, 1985.
- ^ C. Ghezzi, M. Jazayeri, and D. Mandrioli, Fundamentals of Software Engineering, 2nd ed.: Prentice Hall, 2002.
- ^ The Free On-Line Dictionary of Computing, http://foldoc.org/ (頁面存檔備份,存於網際網路檔案館)
- ^ S. A. Conger, The New Software Engineering: Course Technology Press United States, 1993.
- ^ S. L. Pfleeger, Software Engineering: the Production of Quality , 2nd.: Macmillan Publishing Co., Inc. Indianapolis, IN, USA, 1991.
- ^ index • IEEE Computer Society. Computer.org. 2004-02-06 [2016-04-28]. (原始內容存檔於2016-05-09).
- ^ P. McBreen, Software Craftmanship: The New Imperative: Addsion-Wesley Professional, 2001.
- ^ C. Jones Programmer Productivity: McGraw-Hill, Inc. New York, NY, USA, 1985
- ^ Chaos Report, The Standish Group, 2003.
- ^ 布魯克斯原文:「我認為軟體困難的部份是在建立規格、設計,並驗證其構思,而不是在表達和測試其實作」
參見
外部連結
(中文)
(英文)
- https://web.archive.org/web/20091022052322/http://www.computer.org/portal/web/swebok
- http://www.abet.org/ (頁面存檔備份,存於網際網路檔案館)
- http://www.computer.org/certification/ (頁面存檔備份,存於網際網路檔案館)
- http://systemsguide.com/GuildSite/TDM/certification.html