本页目录 · 13 节
- 一、分值定位
- 二、软件过程模型
- 三、CMMI
- 四、需求工程
- 4.1 五个活动
- 4.2 需求管理（不是"管理需求内容"，而是"管理需求变化"）
- 五、软件测试（每年 4—6 题，重点中的重点）
- 5.1 测试的目的与原则
- 5.2 测试阶段（V 模型对应）
- 5.3 黑盒测试方法
- 5.4 白盒测试与覆盖强度
- 5.5 McCabe 环形复杂度（每年必考）
- 5.6 其它测试类型
- 5.7 缺陷度量
- 六、配置管理
- 6.1 五个核心活动
- 6.2 变更管理顺序（2023 下 57）
- 七、项目管理与运筹计算
- 7.1 进度管理
- 7.2 数学与运筹（每年 2—3 题）
- 7.3 系统工程：霍尔三维结构
- 八、专业英语（每年 5 题，必拿 3—5 分）
- 8.1 历年主题
- 8.2 高频词汇表
- 九、跨年真题定位索引
- 十、典型陷阱
- 十一、答题模板
- 模板 A：测试方法选择（15 秒）
- 模板 B：关键路径计算（4 步）
- 模板 C：线性规划（2 分钟）
- 模板 D：专业英语 5 空（3 分钟）
- 十二、自测清单
- 十三、来源与可信度
知识域 09 · 软件工程过程、测试、项目管理与专业英语#
题号指向 ../01-年份索引/<年份>-套卷.md。标记：〔核〕/〔推〕/〔存疑〕。
一、分值定位#
| 科目 | 频率 | 形态 |
|---|
| 综合知识 | 每套 12—18 题（20—29 分），题量最大的域 | 过程模型、CMMI、需求管理、测试方法、配置管理、项目管理计算、数学运筹、专业英语 5 题 |
| 案例分析 | 低频直接考，但方法论贯穿所有案例 | — |
| 论文 | 间接（写作结构本身即过程管理） | — |
这个域题多但不难，是"稳分盘"。其中：测试方法（每年 4—6 题）+ 专业英语（每年 5 题）+ 数学计算（每年 2—3 题）合计约 12—14 题，必须做到只错 1—2 个。
二、软件过程模型#
| 模型 | 核心思想 | 适用 | 缺点 |
|---|
| 瀑布 | 阶段顺序推进、文档驱动 | 需求明确稳定 | 不能适应变化、后期才见产品 |
| 原型 | 快速构建原型澄清需求 | 需求不清 | 原型可能被误当产品、难维护 |
| 螺旋 | 风险驱动，每圈四活动：目标设定、风险分析、开发与验证、评审 | 大型高风险项目 | 成本高、需风险评估能力 |
| 增量 | 分批交付可用版本 | 可分期上线 | 需良好的架构规划 |
| 迭代 | 多轮细化，每轮都过全流程 | 需求演进 | 管理复杂 |
| V 模型 | 开发阶段与测试阶段一一对应 | 强调验证 | 灵活性差 |
| W 模型 | 开发与测试同步进行（双 V） | 强调测试左移 | 组织要求高 |
| 喷泉 | 面向对象，各阶段无缝、迭代、重叠 | OO 项目 | 管理难度大 |
| RUP | 用例驱动、以架构为中心、迭代增量；四阶段：初始/细化/构建/交付 | 中大型 | 重量级 |
| 净室 | 基于数学正确性验证，统计质量控制，无缺陷开发 | 高可靠软件 | 过于理想、成本高、难落地 |
| 敏捷/Scrum | 迭代短、拥抱变化；Sprint、Product Backlog、Daily Scrum、评审、回顾 | 需求快速变化 | 文档少、规模化难 |
| MDA | 平台无关模型（PIM）→ 平台相关模型（PSM）→ 代码，模型驱动 | 跨平台、可移植 | 工具链依赖强 |
母题（2018 下 27—28，〔推〕答案 C、C）：把流程分成多个阶段、每阶段由"目标设定、风险分析、开发与有效性验证、评审"构成 → 螺旋模型。
三、CMMI#
| 成熟度等级 | 名称 | 特征 |
|---|
| 1 | 初始级 | 过程无序，靠个人英雄 |
| 2 | 已管理级 | 项目级过程管理，有计划与跟踪 |
| 3 | 已定义级 | 组织级标准过程，项目裁剪使用 |
| 4 | 量化管理级 | 用统计方法量化管理过程性能 |
| 5 | 优化级 | 持续过程改进、防缺陷 |
- 两种表示法：阶段式（成熟度等级）、连续式（过程域能力等级 0—5）。
- 真题：2025 下 44、2025 上 7、2021 下 22、2022 下 23。
四、需求工程#
4.1 五个活动#
需求获取 → 需求分析 → 需求定义（规格说明）→ 需求验证 → 需求管理
4.2 需求管理（不是"管理需求内容"，而是"管理需求变化"）#
| 活动 | 内容 |
|---|
| 需求基线 | 通过评审的需求形成基线，后续变更走流程 |
| 需求跟踪 | 正向/逆向跟踪：需求↔设计↔代码↔测试用例 |
| 变更控制 | 提出→CCB（变更控制委员会）评估→批准/拒绝→实施→验证→更新基线 |
| 版本控制 | 需求文档的版本管理 |
| 需求状态跟踪 | 每个需求的状态（待定/实现/验证） |
不属于需求管理的典型干扰项：文档排版、界面设计、编码规范。
母题（2018 下 24，〔推〕答案 A）："文档管理"不属于需求管理的主要活动。
母题（2018 下 25，〔推〕答案 A）："变更控制委员会只可以由一个小组担任"是错误说法（CCB 可由多方人员组成，也可设多层 CCB）。
五、软件测试（每年 4—6 题，重点中的重点）#
5.1 测试的目的与原则#
- 目的是发现缺陷，不是证明"没有错误"；
- 测试用例应包含合理输入与不合理输入；
- 尽早测试（测试左移）、缺陷集群性（Pareto 80/20）、杀虫剂悖论（用例需更新）；
- 测试 ≠ 调试：测试是发现问题的过程，调试是定位并修复（2025 上 41）。
5.2 测试阶段（V 模型对应）#
| 阶段 | 依据 | 方法 |
|---|
| 单元测试 | 详细设计 | 白盒为主，测模块内部 |
| 集成测试 | 概要设计 | 自顶向下（桩）、自底向上（驱动）、三明治、大爆炸 |
| 系统测试 | 需求规格 | 黑盒，含功能/性能/安全/兼容 |
| 验收测试 | 用户需求 | α（开发方现场）/β（用户现场） |
| 回归测试 | 变更后 | 验证修改未引入新问题 |
| 冒烟测试 | 版本准入 | 快速验证核心功能是否可用 |
真题：2025 下 22/75、2025 上 9/24、2024 下 51、2026 上 51。
5.3 黑盒测试方法#
| 方法 | 要点 |
|---|
| 等价类划分 | 有效/无效等价类，每类取一个代表 |
| 边界值分析 | 取边界及边界±1；健壮性边界值还取越界值 |
| 判定表 | 条件桩 + 动作桩，覆盖规则组合 |
| 因果图 | 输入输出因果关系的组合 |
| 正交试验 | 多因素多水平，用正交表降组合 |
| 错误推测 | 凭经验猜易错点 |
| 场景法 | 基本流 + 备选流 |
母题（2026 下 21—23）：给定范围 [a,b] 的等价类 = 有效 [a,b] + 无效 (<a) + 无效 (>b)；健壮边界值取 a−1、a、a+1、b−1、b、b+1。
5.4 白盒测试与覆盖强度#
覆盖强度由弱到强：
语句覆盖 < 判定覆盖（分支） < 条件覆盖 < 判定/条件覆盖 < 条件组合覆盖 < 路径覆盖
| 覆盖 | 要求 |
|---|
| 语句覆盖 | 每条可执行语句至少执行一次 |
| 判定覆盖 | 每个判定的真/假分支各至少一次 |
| 条件覆盖 | 每个判定中每个条件的真/假各至少一次 |
| 判定/条件覆盖 | 同时满足判定与条件覆盖 |
| 条件组合覆盖 | 每个判定中条件的所有组合至少一次 |
| 路径覆盖 | 所有可能路径至少一次（最强，成本最高） |
真题：2025 上 36、2024 下 7/29、2023 下 40（白盒强度）、2022 下 40。
5.5 McCabe 环形复杂度（每年必考）#
V(G) = E − N + 2
= 判定节点数 + 1
= 闭合区域数 + 1
- E=边数、N=节点数；复合条件（AND/OR）按独立判定分别计数。
- 真题：2023 下 1—2、2021 下 34、2022 下 39。
5.6 其它测试类型#
| 类型 | 说明 |
|---|
| 静态测试 | 桌面检查、代码审查、代码走查（不运行程序） |
| 动态测试 | 运行程序：黑盒/白盒 |
| 灰盒测试 | 结合白盒与黑盒，关注输入输出与内部结构的折中（2023 下 7、2024 上 54） |
| 性能测试 | 负载测试、压力测试（找极限）、并发测试、稳定性测试、容量测试 |
| 安全性测试 | 渗透测试、漏洞扫描 |
| A/B 测试 | 线上分流对比两种方案效果（2023 下 9） |
| 自动化测试 | 适合稳定、重复、回归场景；不适合界面频繁变动、一次性、需人工判断的场景（2023 下 45） |
5.7 缺陷度量#
| 指标 | 公式 |
|---|
| 缺陷排除效率 DRE | DRE = 发现缺陷数 / (发现缺陷数 + 遗漏到下一阶段缺陷数) |
| 缺陷密度 | 缺陷数 / KLOC 或功能点 |
| 缺陷发现率 | 单位时间发现缺陷数 |
真题：2026 下 19。
六、配置管理#
6.1 五个核心活动#
| 活动 | 内容 |
|---|
| 配置项识别 | 确定哪些工作产品纳入配置管理（需求文档、设计、代码、测试用例、工具） |
| 版本控制 | 管理配置项的多个版本（Git/SVN） |
| 变更控制 | 变更申请 → CCB 审批 → 实施 → 验证 |
| 配置状态报告 | 记录与报告配置项状态 |
| 配置审计 | 功能配置审计（FCA）验证"做对了"（功能一致）；物理配置审计（PCA）验证"交付物齐全"（物理一致） |
真题：2026 下 20（配置审计）、2024 下 44、2023 下 15（配置项）、2021 下 23/29、2020 下 24—25（基线）。
6.2 变更管理顺序（2023 下 57）#
提出变更申请 → 变更影响分析 → CCB 审批 → 实施变更 → 验证 → 更新基线/文档 → 通知相关方
七、项目管理与运筹计算#
7.1 进度管理#
| 概念 | 要点 |
|---|
| 关键路径 | 网络图中最长的路径，决定项目最短工期 |
| 总时差（浮动时间） | 最迟开始 − 最早开始；关键路径上总时差 = 0 |
| 自由时差 | 不影响紧后工作最早开始的可延迟时间 |
| 三点估算 | 期望 = (乐观 + 4×最可能 + 悲观) / 6；σ = (悲观 − 乐观)/6 |
| 甘特图 | 直观展示进度，不显示依赖关系 |
| 网络图（PERT/CPM） | 显示依赖与关键路径 |
真题：2025 下 14、2025 上 8、2024 下 14、2024 上 14、2021 下 70、2019 下 70。
7.2 数学与运筹（每年 2—3 题）#
| 题型 | 解法 |
|---|
| 线性规划 | 画约束可行域 → 顶点代入目标函数 → 取最大/最小（顶点必为最优） |
| 指派问题 | 匈牙利法：行减最小、列减最小、试指派、画最少覆盖线调整 |
| 最大流 | 增广路径法 |
| 概率 | 独立事件乘法、对立事件 1−P |
| 容斥原理 | | A∪B | = | A | + | B | − | A∩B | |
| 图论 | 最小生成树（Prim/Kruskal）、着色（贪心）、最短路 |
| 排序/查找 | 比较次数、时间复杂度 |
母题（2018 下 70，〔推〕答案 B）：2x+3y≤30、x+2y≥10、x≥y、x≥5、y≥0，求 2x+3y 最小值 → 顶点代入，最小 17.5。
母题（2018 下 69，〔推〕答案 B）：四人四岗指派，最短总工时 14（匈牙利法）。
7.3 系统工程：霍尔三维结构#
| 维度 | 内容 |
|---|
| 时间维 | 7 阶段：规划、拟定方案、研制、生产、安装、运行、更新 |
| 逻辑维 | 7 步骤：问题定义、目标确定、方案综合、系统分析、优化、决策、实施 |
| 知识维 | 各阶段所需的专业知识 |
母题（2018 下 18—21）："对系统的结构、元素、信息和反馈进行分析"；"以时间维、逻辑维、知识维组成"。
"在（ ）阶段做出研制方案及生产计划"——按教材七阶段，"拟定方案"阶段产出研制方案与生产计划（该题在公开源中存在选项争议，已标〔存疑〕，详见套卷）。
八、专业英语（每年 5 题，必拿 3—5 分）#
8.1 历年主题#
| 年份 | 主题 |
|---|
| 2026 下 | 数据存储架构（文件 vs 数据库、主文件/查找文件/遗留库/网络库、参照完整性） |
| 2025 下 | 层次式体系结构（layered architecture） |
| 2021 下 | C/S 计算模式 |
| 2020 下 | 系统设计 |
| 2019 下 | 系统分析阶段的数据组织 |
| 2018 下 | 数据存储架构（Master/Look-up files、Legacy/Network database、referential integrity） |
8.2 高频词汇表#
| 英文 | 中文 |
|---|
| architecture / architectural style | 架构 / 架构风格 |
| layer / tier | 层 / 层（物理） |
| component / connector | 构件 / 连接件 |
| quality attribute / tradeoff | 质量属性 / 权衡 |
| availability / reliability / performance | 可用性 / 可靠性 / 性能 |
| scalability / maintainability / portability | 可伸缩性 / 可维护性 / 可移植性 |
| requirement / stakeholder | 需求 / 干系人 |
| deployment / redundancy / failover | 部署 / 冗余 / 故障转移 |
| encryption / authentication / authorization | 加密 / 认证 / 授权 |
| referential integrity / primary key / foreign key | 参照完整性 / 主键 / 外键 |
| normalization / denormalization | 规范化 / 反规范化 |
| transaction / commit / rollback | 事务 / 提交 / 回滚 |
| concurrency / throughput / latency | 并发 / 吞吐量 / 时延 |
| virtual machine / container / orchestration | 虚拟机 / 容器 / 编排 |
答题技巧：5 个空通常是同一篇短文，先通读把握主题，再按词性 + 上下文搭配选择；专有名词（如 referential integrity）常作为"固定搭配"出现。
九、跨年真题定位索引#
| 年份 | 题号 | 考点 |
|---|
| 2026 下 | 19—23 / 27 | 缺陷排除效率、配置审计、等价类划分、健壮边界值、软件动态性 |
| 2026 上 | 17 / 26 / 32 / 35—36 / 51 / 69—70 | 黑盒方法、开发模型、测试左移、边界值、敏捷测试时机、冒烟测试、编译原理 |
| 2025 下 | 19—22 / 44 / 49 / 65 / 67 / 73 / 75 | 测试用例、测试阶段、CMMI、Scrum、生命周期、压力测试、性能设计、测试目的 |
| 2025 上 | 3 / 7—10 / 17 / 23—24 / 30 / 36 / 41 | 净室、CMMI、关键路径、回归测试、RUP、黑盒、需求跟踪、单元测试、组合覆盖、白盒覆盖、测试与调试 |
| 2024 下 | 7 / 14 / 29 / 41 / 43—44 / 51 | 白盒、工期费用、覆盖强度、信息化需求、螺旋模型、配置管理、系统测试 |
| 2024 上 | 14—15 / 19 / 50 / 52—55 | 关键路径、线性规划、敏捷、需求分析、净室、测试三连 |
| 2023 下 | 1—2 / 7 / 9 / 13—16 / 31—32 / 45 / 57 / 70 | McCabe、灰盒、A/B 测试、喷泉/W 模型、配置项、敏捷、需求分析模型、PDCA、自动化测试、变更管理顺序、排序 |
| 2022 下 | 22—23 / 25—26 / 29 / 39—42 | 过程模型、CMMI、需求工程、MDA、配置工具、复杂性度量、测试四连 |
| 2021 下 | 21—30 / 34 | 软件产品管理办法、CMMI、产品配置、需求管理、需求跟踪、生命周期、敏捷、RUP、版本控制、结构化设计、McCabe |
| 2020 下 | 22—30 / 39—43 | 软件文档、需求基线、软件过程、开发工具、开发模型、敏捷、自动化测试 |
| 2019 下 | 18—19 / 22—30 / 42—43 / 69—70 | CSF、生命周期、需求变更、方法学、工具、性能测试、灵敏性分析、网络计划 |
| 2018 下 | 18—30 / 42—43 / 69—70 | 霍尔三维、项目时间管理、用户文档、需求管理、变更控制、原型/RAD/螺旋、开发环境、动静测试、指派问题、线性规划 |
| 各年 | 71—75 | 专业英语 5 空 |
十、典型陷阱#
- 测试的目的是"发现缺陷"，不是"证明无错"；选项说"证明软件正确"必错。
- McCabe 的复合条件要拆：
if (a && b) 算 2 个判定，不是 1 个。 - 覆盖强度顺序：条件覆盖不一定包含判定覆盖（可能所有条件都取过真假，但某些判定分支未走到），所以"判定/条件覆盖"才同时满足。
- 单元测试依据详细设计，集成测试依据概要设计——两者常被对调。
- 自顶向下集成需要"桩（stub）"，自底向上需要"驱动（driver）"——方向别反。
- α 测试在开发方，β 测试在用户方。
- 需求基线是"通过评审"之后才形成，不是"写完"就形成。
- CCB 不是只能有一个，可以分层设置；"只能由一个小组担任"是错误表述。
- 功能配置审计（FCA）看功能一致性，物理配置审计（PCA）看交付物完整性。
- 关键路径是最长路径，不是最短路径；关键路径上总时差为 0。
- 霍尔三维是"时间维、逻辑维、知识维"，不是"空间维/结构维"。
- 净室工程强调"数学验证 + 统计质量控制"，不是"无测试"。
- 螺旋模型的核心是风险分析，不是"快速出原型"。
- 线性规划最优解在顶点（可行域为凸集时），不用求导。
十一、答题模板#
模板 A：测试方法选择（15 秒）#
题目给"输入范围/条件组合" → 等价类 + 边界值
题目给"业务规则/条件动作表" → 判定表/因果图
题目给"多因素多水平" → 正交试验
题目给"代码结构/覆盖率/复杂度" → 白盒（指出覆盖级别）
题目给"系统极限/高并发" → 压力测试/负载测试
题目给"线上两版对比" → A/B 测试
题目给"修改后验证旧功能" → 回归测试
模板 B：关键路径计算（4 步）#
① 正推：最早开始 ES = max(紧前 EF)，EF = ES + 工期
② 逆推：最迟完成 LF = min(紧后 LS)，LS = LF − 工期
③ 总时差 TF = LS − ES；TF=0 的工序构成关键路径
④ 工期 = 关键路径长度；压缩工期只能压缩关键路径上的工序
模板 C：线性规划（2 分钟）#
① 把约束画成直线，确定可行域（注意 ≥ / ≤ 的方向）
② 求所有顶点（两两直线交点，且在可行域内）
③ 顶点代入目标函数，取最大/最小
④ 若是整数规划，检查顶点是否整数，必要时在邻近整数点比较
模板 D：专业英语 5 空（3 分钟）#
① 通读全文，判断主题（架构/数据/网络/安全/嵌入式）
② 看空格词性：名词？动词？形容词？介词短语？
③ 找上下文搭配：如 "referential ______" → integrity；"______ architecture" → layered
④ 排除法：同一篇 5 空通常对应 5 个不同概念，不会重复
十二、自测清单#
- [ ] 说出 6 种过程模型的核心思想与适用场景
- [ ] 说出 RUP 四阶段与三特征
- [ ] 说出 CMMI 五级名称与特征
- [ ] 说出需求管理五个活动，并指出哪些不属于需求管理
- [ ] 说出测试四阶段及各自依据，桩与驱动的使用方向
- [ ] 默写覆盖强度顺序（6 级）
- [ ] 3 分钟内算出 McCabe 复杂度（含复合条件）
- [ ] 说出配置管理五活动，区分 FCA 与 PCA
- [ ] 3 分钟内算出关键路径与总时差
- [ ] 用图解法解一道线性规划
- [ ] 说出霍尔三维及时间维 7 阶段
- [ ] 背诵专业英语高频词汇 30 个
十三、来源与可信度#
- 过程模型、CMMI、测试方法、配置管理为教材标准内容，可信度高。
- 2018 下 18—21、24—25、27—28、69—70 为〔推〕；其中霍尔三维第（19）（21）空在公开源中存在选项争议，已标〔存疑〕，本文件只提供教材口径的时间维七阶段，不强行给答案。
- 专业英语各年主题以套卷收录的原文为准；2024 上、2023 下部分年份英文题未完整公开，已注明。