18年北京交通大学软件工程专业考研介绍

一、招生信息

招生院系：计算机与信息技术学院

招生专业：083500软件工程

招生人数：全日制拟招生人数（不含推免生）：4

复试分数线：300分

注：不招收同等学力；

二、研究方向及考试科目

01轨道交通软件工程

02软件服务技术

①101思想政治理论

② 201英语一

③301数学一

④926软件工程理论与技术 或925数据结构

复试科目

02102离散数学

三、专业课参考书目

925数据结构：《数据结构》（C语言版），清华大学出版社，严蔚敏、吴伟民、《天勤数据结构高分笔记》、《数据结构联考指南》、

926软件工程理论与技术：《软件工程导论第六版》张海潘

02102离散数学：《离散数学(修订版)》，高等教育出报社，耿素云 屈婉玲

专业课考试大纲

925数据结构

1、绪论。（1）掌握相关的基本概念，如数据结构、逻辑结构、存储结构、数据类型、抽象数据类型等；（2）掌握算法设计的原则，掌握计算语句频度和估算算法时间复杂度和空间复杂度的方法；（3）了解使用类C语言描述算法的方法。

2、线性表。（1）掌握线性表的逻辑结构和存储结构；（2）掌握线性表在顺序结构和链式结构上实现基本操作的方法； （3）理解线性表两种存储结构的不同特点及其适用场合，会针对需求选用合适的存储结构解决实际问题；（4）了解一元多项式的表示方法和基本运算的实现方法。

3、栈和队列。（1）了解栈和队列的特点；（2）掌握在两种存储结构上栈的基本操作的实现；（3）掌握栈的各种应用，理解递归算法执行过程中栈状态的变化过程；（4）掌握循环队列和链队列的基本运算；（5）会应用队列结构解决实际问题。

4、串。（1）掌握串的基本运算的定义，了解利用基本运算来实现串的其它运算的方法；（2）了解在顺序存储结构和在堆存储结构以及块链存储结构上实现串的各种操作的方法；（3）理解KMP算法，掌握NEXT函数和改进NEXT函数的定义和计算。

5、数组和广义表。（1）掌握数组在以行为主和以列为主的存储结构中的地址计算方法；（2）掌握矩阵压缩存储时的下标变换方法，了解以三元组表示稀疏矩阵的方法；（3）理解广义表的定义及其存储结构，理解广义表的头尾和子表两种分析方法。

6、树和二叉树。（1）熟练掌握二叉树的结构特点和性质，掌握二叉树各种存储结构及构建方法；（2）掌握按先序、中序、后序和层次次序遍历二叉树的算法，理解二叉树的线索化实质和方法；（3）利用二叉树的遍历求解实际问题；（3）掌握树的各种存储结构及其特点，掌握树的各种运算的实现算法；（4）掌握建立最优二叉树和哈夫曼编码的方法。

7、图。（1）熟练掌握图的基本概念，会构建各种图的存储结构；（2）掌握深度优先搜索遍历图和广度优先搜索遍历图的算法；（3）灵活运用图的遍历算法求解各种路径问题，包括最小生成树﹑最短路径﹑拓扑排序﹑关键路径等。

8、查找。（1）熟练掌握各种静态查找和动态查找算法，会计算查找成功时和失败时的平均查找长度；（2）掌握二叉排序树的建立、插入和删除过程，掌握二叉平衡树的建立和旋转平衡方法；（3）掌握B-树的建立、插入和删除结点的过程；（4）熟练掌握哈希表的构造方法和处理冲突的方法。

9、排序。（1）掌握各种排序算法，包括插入类、交换类、选择类、归并类排序及基数排序；（2）能够对各种排序方法进行比较分析，如稳定性、时间和空间性能等，了解各种排序方法的特点和不同并灵活应用；（3）理解外部排序的主要思想和过程。

926软件工程理论与技术

1、软件工程学概述。（1）了解软件开发技术的发展历史及特点；（2）了解软件危机及产生的原因、解决办法；（3）了解软件的特点、传统的生命周期模型 熟悉软件工程的基本原理和方法；（4）重点掌握软件工程的概念和基本原理；（5）掌握生命周期方法学内容以及各阶段的划分和基本任务。

2、可行性研究 深刻理解可行性研究的必要性。（1）掌握可行性研究的任务及可行性研究的具体步骤；（2）了解系统流程图的作用及符号表示；（3）重点掌握数据流图的画法及数据字典的编写。

3、需求分析。（1）深刻理解需求分析阶段的概念及任务；（2）熟练掌握数据流图的细化及ER图、IPO图的画法；（3）掌握需求分析过程及各种图形工具的应用。

4、总体设计。（1）深刻理解软件总体设计的基本任务；（2）理解软件设计的基本原理 理解模块化、抽象、信息隐蔽、模块独立性等概念；（3）明确度量模块独立性的校准---偶和性及内聚性；（4）熟练掌握结构化设计方法(要求能划分数据流的类型，将其能换成软件结构图，并能根据优化准则将其优化)。

5、详细设计。（1）能熟练的使用详细设计描述工具来设计模块中的算法及程序的逻辑结构；（2）理解Jackson方法的概念及程序复杂度的度量方法；（3）学会使用Jackson方法设计输入输出数据结构和程序结构。

6、实现。（1）了解几种常见的程序设计语言的特点；（2）领会程序设计中应注意的问题，注意培养良好的编程风格；（3）掌握测试阶段的内容、测试方法及测试步骤；（4）深刻理解白盒、黑盒测试技术；（5）深刻理解测试过程中单元测试、集成测试、验收测试的任务及使用的方法；（6）掌握调试程序的方法；（7）熟练掌握针对某一问题采用白盒法或黑盒法进行测试用例的设计。

7、维护。（1）掌握软件维护的内容、特点、方法、技术、文档；（2）了解软件维护的各种困难、软件维护的特点及软件维护的文档；（3）理解软件维护的内容及维护任务的实施；（4）深刻理解如何提高软件的维护性。

8、面向对象方法学引论。（1）深刻理解对象、类、类的层次结构、方法和消息的实质；（2）深刻理解对象模型、动态模型、功能模型的元素、结构和构造方法；（3）掌握画对象图、画状态图、画数据流程图；（4）确定对象类、确定关联、确定属性、识别继承。

9、面向对象分析。（1）了解需求陈述，掌握面相对象分析过程；（2）掌握面向对象分析的概念和基本任务；（3）掌握对象模型、动态模型、功能模型的建模方法。

10、面向对象设计。（1）掌握面向对象设计的概念和准则；（2）掌握软件重用概念及提高重用的方法。

11、面向对象实现。（1）掌握面向对象对象的测试，保证良好的程序设计风格须遵守的原则。

12、软件项目管理。（1）了解软件管理的特点和软件管理的基本过程；（2）掌握文档管理的重要性与方法。

02102离散数学

1、命题逻辑的基本概念。掌握命题、联结词、命题公式、真值表。

2、命题逻辑等值演算。掌握等价公式、重言式、蕴含式、等值演算，合取范式、析取范式、主合取范式及主析取范式。

3、命题逻辑的推理理论。掌握命题推理理论。

4、一阶逻辑基本概念。掌握谓词、量词、谓词公式。

5、一阶逻辑等值演算与推理。掌握谓词演算公式的前束范式，谓词演算公式真值的求解方法，谓词推理理论。

6、集合代数理解集合运算和集合等式证明。掌握集合的概念和表示，集合元素计数。

7、二元关系。（1）理解关系的定义，表示和性质，等价关系与划分；（2）掌握关系的定义，表示和性质，偏序关系，哈斯图与极值。

8、函数。了解函数的定义与性质，函数复合运算与逆函数。

9、代数系统。掌握代数系统概念，代数系统同态，同构映射。

10、群与环。掌握半群，独异点，单位元，零元，群，子群，交换群，循环群，有限群，置换群，商群，陪集，环，整环，无零因子环的定义；（2）群，子群，循环群，有限群，环，整环的性质和判别方法。

11、格与布尔代数。（1）理解格的同态的概念；（2）掌握格、子格、分配格和有补格的定义和基本性质；（3）子格、分配格和有补格的判定方法；（4）有限布尔代数的结构和性质。

12、 图的基本概念。（1）了解图的运算。理解有向图、无向图、通路、回路；（2）掌握握手定理及推论，图的矩阵表示及应用。

13、欧拉图与哈密顿图。（1）理解欧拉图，欧拉通路和回路，哈密尔顿图，哈密尔顿通路和回路；（2）掌握欧拉图的性质和判定方法，哈密尔顿图的性质和某些哈密尔顿图的判定方法，Dijkstra标号法求最短路径；（3）了解中国邮递员问题，货郎担问题。

14、树。（1）掌握求最小生成树的多种算法，根树的行遍方法，最优二叉树和Huffman算法；（2）熟练无向树及其性质，根树的相关概念。

15、平面图。（1）理解平面图的概念，平面图的对偶图及其应用；（2）掌握欧拉公式及相关定理，平面图或极大平面图的性质和判定条件。

16、理解支配集、点独立集、点覆盖集、边覆盖集、匹配，Hall定理。掌握边覆盖与匹配之间的关系、最大匹配或完美匹配存在的条件；了解点着色，点色数，边色数，色多项式，平面图4色猜想。