软件工程专业硕士培养方案

软件工程专业硕士培养方案

一、学科、专业及研究方向简介

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.学位论文

学位论文在导