1、 入口 C(1)=C(1)+1 Q=X R=Y C(2)=C(2)+1 C(6)=C(6)+1 QR C(4)=C(4)+1 C(3)=C(3)+1 QR 出口 C(5)=C(5)+1 Q=QR R=RQ 图3-3 插桩后求最大公约数程序的流程图 procedure D IV ID E(N U M,D EN,E,Q)*E is the accuracy required.E 0.Q is both*the result at exit and at any interim stage.*A.B and W are the other elem ents of the program vecto
2、r.*Q:=0 A:=0 B:=D EN/2 W:=1 until W E loop if(N U M A B)0 then Q:=Q+W/2 A:=A+B endif B:=B/2 W:=W/2 endloop end 图3-5 计算非负数之商的迭代程序 procedure DIVIDE(NUM,DEN,E,Q)*E is the accuracy required.E0.Q is both*the result at exit and at any interim stage.*A.B and W are the other elements of the program vector.*
3、Q:=0 A:=0 B:=DEN/2 W:=1 K:=0 until WE loop assert W=1/2*K assert A=DEN*Q assert B=DEN*W/2 assert NUM/DEN WQ and QNUM/DEN if(NUM A B)0 then Q:=Q+W/2 A:=A+B endif B:=B/2 W:=W/2 K:=K+1 endloop assert NUM/DEN WQ and QNUM/DEN end 图3-6 插入断言后的迭代程序 T 开始 x=0(a)AND(b OR c)x=1 结束 F WHILE 循环结构 顺序结构 UNTIL 循环结构 I
4、F 选择结构 CASE 多分支结构选择结构 图3-8 控制流图的图形符号 R3 R2 R1 区域（a）程序流程图)7 1 2 3 4 5 6 8 1（b）控制流图 1 2 6 4 7 8 9 10 11 边 结点 R4 图3-9 程序流程图和对应的控制流图 表 3-6 等价类表示例 输入条件 有效等价类 无效等价类 贩 贩 贩 贩 贩 贩 （a）恒等 E1 E1（b）非（c）或 E1 （d）与 E1 图3-12 因果图的基本符号 客户 银行系统 ATM操作员 提款 转账 存款 系统启动 图3-15 ATM流程示意图 表 3-8 场景设计 场景 1成功提款 基本流 场景 2ATM 内没有现金 基
5、本流 备选流 2 场景 3ATM 内现金不足 基本流 备选流 3 场景 4PIN 有误（还有输入机会）基本流 备选流 4 场景 5PIN 有误（不再有输入机会）基本流 备选流 4 场景 6账户不存在/账户类型有误 基本流 备选流 5 场景 7账户余额不足 基本流 备选流 6 注：为方便起见，备选流 3 和 6（场景 3 和 7）内的循环以及循环组合未纳入上表。表 3-9 测 试 用 例 表 TC（测 试 用例）ID 号 场 景/条 件 PIN 账 号 输 入（或 选择）的 金 额 账 面 金 额 ATM 内 的金 额 预 期 结 果 CW1 场 景 1：成 功 提 款 V V V V V 成
6、功 提 款 CW2 场 景 2：ATM 内没 有现 金 V V V V I 提 款 选 项 不 可 用，用例 结 束 CW3 场 景 3：ATM 内现 金不 足 V V V V I 警 告 消 息，返 回 基 本流 步 骤 6，输 入 金 额 CW4 场 景 4：PIN 有 误（还 有不 止 一 次 输 入 机 会）I V n/a V V 警 告 消 息，返 回 基 本流 步 骤 4，输入 PIN CW5 场 景 4：PIN 有 误（还 有一 次 输 入 机 会）I V n/a V V 警 告 消 息，返 回 基 本流 步 骤 4，输入 PIN CW6 场 景 4：PIN 有 误（不 再有 输
7、 入 机 会）I V n/a V V 警 告 消息，卡予 保留，用 例 结 束 表 3-10 测试用例表 TC（测试用例）ID 号 场景/条件 PIN 账号 输入（或选择）的金额（元）账面 金额（元）ATM内的金额（元）预期结果 CW1 场景 1：成功提款 4987 809-498 50.00 500.00 2 000 成功提款。账户余额被更新为 450.00 CW2 场景 2：ATM 内没有现金 4987 809-498 100.00 500.00 0.00 提款选项不可用，用例结束 CW3 场景 3：ATM 内现金不足 4987 809-498 100.00 500.00 70.00 警告
8、消息，返回基本流步骤 6，输入金额 CW4 场景 4：PIN 有误（还有不止一次输入机会）4978 809-498 n/a 500.00 2 000 警告消息，返回基本流步骤 4，输入 PIN CW5 场景 4：PIN 有误（还有一次输入机会）4978 809-498 n/a 500.00 2 000 警告消息，返回基本流步骤 4，输入 PIN CW6 场景 4：PIN 有误（不再有输入机会）4978 809-498 n/a 500.00 2 000 警告消息，卡予保留，用例结束 表 3-11 测试阶段与测试用例关系列表 测 试 阶 段 测 试 类 型 执 行 人 员 单元测试 模块功能测试，
9、包含部分接口测试、路径测试 开发人员 集成测试 接口测试、路径测试，含部分功能测试 开发人员，如果测试人员水平较高可以由测试人员执行 系统测试 功能测试、健壮性测试、性能测试、用户界面测试、安全性测试、压力测试、可靠性测试、安装/反安装测试 测试人员 验收测试 对于实际项目基本同上，并包含文档测试；对于软件产品主要测试相关技术文档 测试人员，可能包含用户 表3-1 2 测 试 用 例 编 写 的 时 间 安 排 开 发 阶 段 依 据 文 档 编 写 的 用 例 需 求 分 析 结 束 后 需 求 文 档 系 统 测 试 对 应 的 用 例 概 要 设 计 阶 段 结 束 后 概 要 设 计、
10、体 系 设 计 集 成 测 试 对 应 的 用 例 详 细 设 计 阶 段 详 细 设 计 文 档 单 元 测 试 对 应 的 用 例 编号：编制人 审定人 时间 软件名称 编号/版本 测试用例 用例编号 参考信息（参考的文档及章节号或功能项）：输入说明（列出选用的输入项，列出预期输出）：输出说明（逐条与输入项对应，列出预期输出）：环境要求（测试要求的软、硬件、网络要求）：特殊规程要求：用例间的依赖关系：用例产生的测试程序限制：测试用例的编写请参考表3-13。表3-13测试用例 标 识 符：计 算 器。目 的：本 程 序 说 明 描 述 执 行 加 法 测 试 用 例 的 步 骤。特 殊 要 求：本 次 测 试 不 需 要 特 殊 的 硬 件 和 软 件。程 序 步 骤：日 志：测 试 员 按 测 试 要 求 记 录 程 序 执 行 过 程，所 有 必 须填 写 的 项 都 必 须 填 写，包 括 问 题 的 记 录。设 置 图3-16 测试程序说明片断 编 写 用 例 用 例 评 审 修 改 用 例 进 入 版 本 控制 库 使 用 用 例&维 护&升 级 图3-19 用例管理示意图
