软件工程 13005 · 背诵手册

① 程序流程图 + N-S 图（2025-04 第 32 题考过）

• 流程图符号：圆角框＝开始/结束；矩形＝处理；菱形＝判断；箭头＝流向。5 种控制结构：顺序、选择、先判定循环（WHILE）、后判定循环（UNTIL）、多情况选择（CASE）。
• N-S 图：用 5 种构件表示 4 种基本控制结构，没有箭头，整个程序是一个大矩形，结构一层层嵌套。
  顺序＝上下叠放；选择＝顶部倒三角写条件，左 T 右 F 分两栏；WHILE 循环＝上方写「WHILE 条件」，循环体缩进在右下；UNTIL 循环＝循环体在上，条件写在下方；CASE＝顶部按取值分多栏。
• 做题步骤：先把伪代码按「顺序块」切开（每个 WHILE、IF 是一块）→ 从上到下逐块画 → 最后检查每个判断都有 T/F 两个出口、循环有回边。

示例（2025-04 第 32 题）：START → WHILE P DO S1 END DO → IF Q THEN S2 ELSE S3 END IF → STOP

② 数据流图（DFD）+ 数据字典

• 4 种符号：箭头＝数据流（要写名字）；圆圈＝加工（要编号、写动词短语）；双横线（或开口框）＝数据存储/文件；方框＝数据源/终点（外部实体）。
• 画法：先画顶层（整个系统看成一个加工 + 外部实体）→ 逐层分解加工，直到足够简单 → 只画数据怎么流，不画控制流和判断。
• 读题技巧：题目里的「人/外部系统」→ 外部实体；「填写、计算、打印、核对」等动作 → 加工；「单、表、记录」→ 数据流或文件。
• 数据字典符号：= 定义为；+ 与；[ | ] 选择其一；{ } 重复；( ) 可选；* * 注释；花括号前后的数字表示重复次数上下限。
  例：发票 = (学号) + 姓名 + {书号 + 单价 + 数量 + 总价} + 书费合计

③ 判定表 / 判定树（2024-10 考过分房判定树）

• 步骤：列出所有条件及取值 → 列出所有动作 → 按条件组合写出每条规则对应的动作 → 合并结果相同的规则。
• 判定树：从左往右画，根是第一个条件，每个分支写条件取值，叶子写动作。

④ SC 图（软件结构图）

• 符号：矩形＝模块；带箭头的连线＝调用（箭头指向被调用模块）；连线旁标传入/传出的数据；菱形＝选择调用；调用线起始端的环形箭头＝循环调用。
• 变换分析（变换型结构）：在 DFD 上区分传入、变换中心、传出 3 部分 → 第一级分解（主控模块下挂传入、变换、传出 3 个模块）→ 第二级分解。
• 事务分析（事务型结构）：在 DFD 上确定事务中心、接收部分、发送部分 → 映射为事务控制模块、接收模块、发送模块 → 分解细化各分支。

⑤ UML 图

• 用例图（2025-04 考过读图）：棒状小人＝执行者；椭圆＝用例；直线＝关联（执行者启动用例）；<<include>> 虚线箭头＝包含关系（执行基本用例时必须执行被包含用例）；矩形框＝系统边界。读图题按「谁（执行者）能做哪些事（用例），哪些用例包含哪些子用例」逐条写。
• 类图：类画成三栏（类名 / 属性 / 操作）。关系：关联＝实线；泛化＝空心三角箭头指向父类；聚合＝空心菱形在整体一端；组合＝实心菱形在整体一端；依赖＝虚线箭头；多重性写 1、0..*、1..* 等。
• 时序图：对象排在顶部，向下画虚线生命线；生命线上的窄矩形是活动棒；消息用带箭头的横线，按时间从上往下排。
• 状态图：实心圆＝起始状态（只能一个）；圆角矩形＝状态；带事件名的箭头＝迁移；牛眼（圆圈套实心圆）＝结束状态（可多个）。

⑥ 设计测试用例

• 白盒逻辑覆盖做题步骤：先画出程序流程图，标出每个判定和每个条件 → 按要求列出需要满足的取值 → 用表格写用例：输入 | 预期输出 | 覆盖了哪些分支/条件/路径。
• 语句覆盖：每条语句至少执行一次（用例最少）；判定覆盖：每个判断真假各一次；条件覆盖：每个条件真假各一次；判定-条件：前两者同时满足；条件组合：每个判断里条件的所有组合；路径覆盖：所有路径（最强）。
• 等价类划分：列等价类表（有效 / 无效，各编号）→ 一个用例尽量覆盖多个有效类 → 一个用例只覆盖一个无效类。
• 边界值：范围 [a,b] 取 a、b、比 a 略小、比 b 略大；个数 1～n 取 1、n、0、n+1。
• 环域复杂度：V(G) = 边数 − 结点数 + 2，也等于判定结点数 + 1；也是基本路径测试需要的独立路径数。