軟件工程專業碩士培養方案

一、學科、專業及研究方向簡介

1、學科、專業簡介

學科代碼：0835

軟件是客觀世界中問題空間與解空間的具體描述，它追求的是表達能力強、符合人類思

維模式、具有構造性和易演化性的計算模型。工程是綜合應用科學理論和技術手段，改造改

造客觀世界的具體實踐活動及其成果。軟件工程是以計算機科學理論和技術以及工程管理原

則和方法等為基礎，研究軟件開發、運行和維護的系統性、規范化的方法和技術，或以之為

研究對?象的學科。

軟件工程的研究對象是軟件系統，本學科涵蓋科學與工程兩個方面。其中，科學研究的

重點在于如何發現軟件可信性、度量和演化的基本規律，以應對當今軟件所面臨的復雜性、

開放性和演化性等一系列重要挑戰；而工程的重點在于綜合應用各種科學方法和知識，深刻

理解設計合格軟件產品所涉及的多方面因素，經濟、高效地構建可靠、易用的軟件產品。軟

件工程知識體系主要包括軟件需求、軟件設計、軟件構造、軟件測試、軟件維護、軟件配置

管理、軟件工程過程、軟件工程工具和方法、軟件質量等知識域。

軟件工程的理論基礎主要是計算機科學中的程序理論和計算理論，以及求解問題的數學

理論與方法。既關注構造軟件的理論、模型與算法及其在軟件開發與維護中的應用，也關注

求解問題的數學理論與方法及其在軟件建模、分析、設計和驗證中的應用。

軟件工程學科的方法論基礎主要是系統工程、管理學和經濟學等，重點關注軟件系統的

復雜性問題，涉及大型復雜軟件系統開發、運行與維護的原則和方法。由于軟件的特殊性，

軟件工程與傳統的工程學有所不同。軟件工程更關注抽象、建模、信息組織和表示、變更管

理等，在軟件的設計階段必須考慮實現和質量控制，而且持續進化是軟件的重要特征。同時,

過程管理、質量保證、成本進度計劃與控制等也是軟件工程方法論的重要組成部分。軟件工

程是軟件產業和信息產業的支撐學科，科學研究、工程實踐和交叉應用是軟件工程的學科特

性。

2、研究方向

(1)軟件需求工程

主要研究軟件系統的功能性需求與非功能性需求的抽取、建模、驗證等技術。

(2)軟件體系結構

主要研究軟件體系結構描述、軟件體系結構風格、軟件體系結構評價和軟件體系結構的

形式化方法等。

(3)軟件測試與質量工程

主要研究軟件測試用例設計與應用、自動化測試的技術和工具、以及質量保證的

概念、過程與工具等。

(4)軟件項目管理

主要研究大型軟件項目的計劃、跟蹤、管理、監理和控制的技術、方法和工具。

(5)高可信軟件系統開發技術

主要研究高可信軟件系統的需求建模、形式化分析、架構設計、測試與質量保證的方法

與技術。

二、培養目標

具備本學科理論基礎、掌握基本的知識體系和較高深的專業技能，具有較好的創新意識

和綜合性的學術修養，具務獨立進行學術研究的能力。可從事軟件工程的基礎研究、應用基

礎研究和關鍵技術創新等工作，也可進一步攻讀相關學科的博士學位。

本專業的基本要求是：

1、樹立正確的人生觀、是非觀和價值觀，思想端正、熱愛科學、努力進取，具有較強

的事業心和責任感，具有良好的道德品質和學術修養，具有團隊合作精神。

2、掌握、運用科學的方法論觀察客觀世界、發現問題并尋找解決問題的方法；掌握堅

實的專業基礎理論和系統的專業知識，具有較高的獨立從事科研工作、教學工作或擔任專門

技術工作的能力，了解軟件工程基本理論和發展動向。

3、較深刻理解軟件工程方法論，掌握項目管理的基本技能。具有較強的算法設計、分

析能力和程序設計能力，掌握一種流行的程序開發工具；掌握一門外國語，能運用該外語比

較熟練地閱讀本專業的文獻資料。

4、擁有健康體魄，精力充沛。

三、基本學制和申請學位最長年限

學術型碩士生學制為3年，碩士生在校年限最長不超過5年。每年2個學期。1-2學期

完成碩士學位課程。3-4學期查閱文獻、完成開題，5-6學期完成學位論文，通過學位論文

評審者，可參加碩士學位論文答辯。

對提前完成培養計劃，學位論文符合申請答辯要求的研究生，經過規定的審批程序可以

提前答辯、畢業并申請學位。

四、培養方式與方法

實行以科學研究為主導的導師負責制和以科研經費為引導的導師資助制。導師負有對研

究生進行學科前沿引導、科研方法指導和學術規范教導的責任。

本專業采用靈活多樣的培養方式。在教學中，可采取老師主講、學生自學、專題討論相

結合的方式。在科研方面學生以參加導師（組）的科研課題為主，獨立完成導師指定的開發、

設計、實驗等任務。

指導上采用導師負責和導師組相結合的方式。碩士生入學三個月內，在導師指導下，根

據培養方案，結合本人實際，制訂出個人學習和培養計劃。個人學習和培養計劃經導師和指

導組組長審定后，報院、系、所和研究生處備案。個人學習和培養計劃完成與否，是審定碩

士生能否畢業和授予碩士學位的基本依據。

五、課程體系設置

1.課程設置

專業課程（不包括公共課）共分為四類：專業基礎課、專業必修課、專業選修課和補修

課。前兩類為必修課：補修課要求同等學力研究生在導師指導下完成，不計學分。

類考核開課學授課

課程名稱學時教師

別方式學期分

軟件工程形式化方法

FormalMethodologyonSoftware考試3613鄭逢斌

Engineering

專

業軟件工程專題研究：算法設計與分析

基陳志國

考試363

礎SpecialIssuesonSoftwareEngineering:1

劉輝

課AlgorithmsDesignandAnalysis

軟件工程研究方法與學術規范

SoftwareEngineeringResearch考試3613沈夏炯

MethodologyandAcademicNorms

組合數學

考試3623姜保慶

專Combinatorialmathematics

業

必軟件過程技術

修考試3623馬驗

SoftwareProcessTechnology

課

高級軟件工程劉春

考試3623

AdvancedSoftwareEngineering李征

軟件測試方法和技術

考查3222謝謙

SoftwareTestMethodandTechnology

流行開發技術

考查3222馬駿

PopularDevelopmentTechnology

云計算與大數據流行技術

CloudComputingandPopularTechnology考查3222張重生

forBigData

專

業數據挖掘與知識發現

選考查3222姜保慶

修DataMiningandKnowledgeDiscovery

課數字圖像處理技術

考查3222張帆

DigitalImageProcessingTechnology

分布/并行計算

考查3222沈夏炯

Distributed/ParallelComputing

軟件配置管理

考查3222劉春

SoftwareConfigurationManagement

計算機網絡與通信

考查3222郭拯危

ComputerNetworksandCommunication

補離散數學———

修

編譯原理一一—

課

———

2.專業實踐

專業實踐為科學研究實踐和工程技術研發，側重學術、學理層面，包括一般性學術論文、

著作、項目、實驗、發明創造、成果研發等。必選，3學分。

學術型碩士研究生在讀期間，必須獨撰或第一作者，或導師為第一作者、學生為第二作

者，并以我校為第一署名單位公開發表論文，才能申請碩士學位論文答辯。

3.學分要求

碩士生所修總學分不少于34學分，其中

（1）公共課：共6學分。

（2）專業基礎課：3門共9學分。

（3）專業必修課：3門共9學分。

（4）專業選修課：至少3門，6學分。

（5）學術活動：1學分。

（6）專業實踐：3學分。

六、學位論文與學位授予

學位論文是研究生培養過程中的重要環節，通過學位論文工作培養研究生從事科學研究

的獨立工作作風和嚴建踏實的治學態度。學位論文工作應在導師指導下盡早開始。

1.學位論文

學位論文在導