华东交通大学软件工程实验报告

实验内容如下： a) 用 visio 绘制出如下定货系统的 SFD（系统流程图）的模型。
图 1 某定货系统 SFD b) 用 visio 绘制教材中分别绘制出定货系统的 DFD 的顶层模型、
第一层模型和第二层模型。（具体参考课本上 P69~P70 的图 3.4，图 3.5 和图 3.6） c) 用 visio 绘制如下图所示的取款手续的数据流图。
程序代码：
#include<stdio.h> void main() {
int A,B; float X,Y; printf("请输入 A，B,X:\n"); scanf("%d%d%f",&A,&B,&X); printf("请输入期望值 Y："); scanf("%f",&Y); if(A>1&&B==0) {
（3）语句覆盖和判定覆盖
第一组测试数据不能发现错误，因为第一组数据可以满足第一个判定的 and 判定，肯定 可以通过 or 判定条件。而第二组测试数据可以发现错误，因为 A=2，B=1，只有 A 满 足条件而 B 不能满足条件，痛多 AND 返回 0。又由于把 and 错写成了 or，返回值为 1， 影响了 X 的值，所以能发现错误。
1.5 倍，对残疾乘客超重部分每公斤收费比正常乘客少一半。 实验包含三部分的内容： e) 用 word 设计描述其详细设计结果的 PAD 图、判定表。 f) 用 viso 画出它的程序流程图，并计算它的 Mccabe 程序复杂度。 (要求把计算过程写到实验报告中)
三、实验结果 1、(1). 采用 visio 绘制教材的图 4.26 中的软件结构图；
请分别用等价类划分方法和边界值分析方法设计测试用例，然后
编写测试程序完成测试。并把测试结论写入到实验报告中。
三、实验结果 1、（1）语句覆盖
不能发现错误，因为 and 比 or 要求的要严格一些，故 and 可以满足的数据 or 也一定可 以满足。
（2）
不能发现错误，第二个判定 or 只要满足一个条件即可，因为 A=2 必然成立，故第二个条件 一定为真，所以不能发现错误。
2、循环结构测试
现有一个简单循环，需要对其进行测试，其程序伪代码如下：
Int i,a; Input(i,a); While(i<=10) {
a += 2; if(a>4) {
a *= 2； a += 3; } Else { If(a>1)
a -= 4; else
a += 5; } i++; } a *=4; Output(a);
(2).采用 visio 绘制教材的图 4.41 的软件层次图。
(3).分析如下所示的数据流图，并把它转换成软件结构图， 然后用 visio 把结果画出来。
2、PAD 图
开始
输入行李重量 X
T X>20
F
Y=0
头T 国外乘客 等
舱F
头T 普通乘客 等
舱F
头T 残疾乘客 等
舱F
输出托运费 Y
Y=9*（X-20） Y=12*（X-20） Y=6*（X-20） Y=8*（X-20） Y=3*（X-20） Y=4*（X-20）
（6）
第一组测试数据不能发现错误，因为原本执行路径是 abe。出错后执行路径仍为 abe， 所以不能发现错误。
第二组测试数据也不能发现错误，因为原本执行路径是 abe。出错后执行路径仍为 abe， 所以也不能发现错误。
（7）
第一组测试数据不能发现错误，因为原本执行路径是 abe。出错后执行路径仍为 abe， 所以不能发现错误。
{[2,0,3],[2.5]}（首先，该组数据满足何种逻辑覆盖）对程序 进行测试，可否发现错误？为什么？请先测试，然后把结论 记录到实验报告中。 (2). 如果将第 2 个判定中的“x>1”错写成了“x<=1”，则用数 据{[2,0,3],[2.5]}对程序进行测试，可否发现错误？为什么？ 请先测试，然后把结论记录到实验报告中。 (3). 如果将第 1 个判定中的“AND”错写成了“OR”，则用数
结束
判定表
行李重量 X
X<20 Y Y Y Y -- -- -- --
X>20 -- -- -- -- Y Y Y Y
判
外国人 Y N N Y Y N Y N
定
乘客类别
普通人 N Y Y N N N N Y 状
条
残疾人 N N N N N Y N N 态
件
乘坐规格
头等舱 Y N Y Y N Y N N
（4）
第一组测试数据能发现错误。经过第一个阿婆那段，执行 c 操作结果得到 X=1/3，第二个判 定条件是 X<=1，判定成功返回值为 1，进行 e 操作，最后得到结果 X=4/3。与期望结果不 同，系统想、提示错误，故能发现错误。
第二组测试数据不能发现错误。他、因为第一个判定条件是 B=0，而 B 实际值为 1 判定 不成功，将进行操作 b，进行第二个判定时，因为判定条件为 A=2，此时 X=2，故判定 成功返回 1，进行 e 操作，最后得结果 X=3 与期望结果相同，不能发现“x>1”错写成 了“x<=1”。故不能发现错误。
第二组测试数据可以发现错误，因为原本执行路径是 ace。出错后执行路径仍为 abe， 所以能发现错误。
第三组测试数据不能发现错误，因为原本执行路径是 abd。出错后执行路径仍为 acd， 所以不能发现错误。
第四组测试数据不能发现错误，因为原本执行路径是 abe。出错后执行路径仍为 abe，所以也不能发现错误。
实验三、软件测试实验
一、实验目的 学会使用 CASE 工具完成软件测试用例的设计以及初步完成对单
元测试，深刻理解单元测试的基本原理及 CASE 工具的基本使用。 二、 实验内容 1、单元测试的逻辑覆盖测试验证实验：运用工具完成对如下例 子的单元测试，要求分别完成语句覆盖、判定覆盖、条件覆盖、 判定条件覆盖、条件组合覆盖和路径覆盖测试的测试用例编写以 及测试。要求首先按格式编写出该测试所需要的测试用例，然后 编写测试程序，对其进行测试，最后把你写的测试用例按格式记 录到实验报告中。
(1) 采用 visio 绘制教材的图 4.26 中的软件结构图； (2) 采用 visio 绘制教材的图 4.41 的软件层次图。 (3) 分析如下所示的数据流图，并把它转换成软件结构图，然
后用 visio 把结果画出来。（注意，请用结构图）
图 1 某系统的数据流图 2、软件的详细设计：某航空公司规定，乘客可以免费托运重量 不超过 20 公斤的行李，当行李重量超过 20 公斤，对头等舱的国 内乘客超重部分每公斤收费 6 元，对其他舱的国内乘客超重部分 每公斤收费 8 元，对外国顾客超重部分每公斤收费比国内乘客多
普通舱 N Y N N Y N Y Y
Y=0
托 Y=12*（X-20）
判
运（X-20）
规
用
Y=6*（X-20）
则
Y=4*（X-20）
Y=3*（X-20）
程序流程图
求 McCabe 程序复杂度步骤： 步骤 1:将程序流程图退化成有向图，将程序流程图的每个处理框退 化成一个节点，将控制流箭头退化成连接各节点的有向弧。 步骤 2：在有向图中，由程序出口到入口连接一条虚有向弧，使有向 图达到强连通。 步骤 3：计算 V(G)=m-n+1 V(G)是有向图的 G 中的环数，m 是有向图 G 中的弧数，n 是有向图 G 中的节点数因此环形复杂度为：V(G)=17-13+5=9，所以 McCabe 程 序复杂度为 9。
（5）判定覆盖条件、语句覆盖、判定覆盖和条件覆盖
第一组测试数据不能发现错误，在第 2 个判定时，因为 A = = 2 正确，满足条件，进行 e 操作。最后 x = 2.5，与期望结果相同。所以不能发现“x>1”错写成了“x<=1”。
对于第二组测试数据，因为对于第二个判定 A=2，而 A 的实际值为 1，此时后面的判定 X>1 或者 X<=1 对结果就有影响了，错写之后由于 X=1，对于 X<=1 判定成立，返回 1，影响 X 的值，故能发现错误。
要求为该程序设计满足简单循环的所有测试用例，记录到实
验报告中。
3、等价类划分及边界值测试的验证实验：有如下算法 A 和 B 均
是非负整型变量(注：int 型)，如果 10<A<100，则 B=A*20-5，如
果 0<A<=10,则 B=A*15+20，如果 A>=100，则 B=A*100-200，
图 2 取款手续 d) 请结合目前的银行柜台取款手续，对图 2 的取款数据流图进行
改进，绘制当前银行柜台取款过程的顶层和第一层数据流图。 三、实验结果 （a）、定货系统的 SFD（系统流程图）的模型
（b）、图 3.4 DFD 的顶层模型 （b）、图 3.5 DFD 的第一层模型
（b）、 DFD 的第二层模型 （c）、取款手续的数据流图
X=X/A; if(A==2||X>1) X=X+1; } else { if(A=2||X>1) X=X+1; else
{printf("输出 X 的值："); printf("%f",X); } } printf("输出 X 的值："); printf("%f\n",X); }
2、循环结构
程序：
（d）、当前银行柜台取款过程的顶层数据流图 当前银行柜台取款过程的第一层数据流图
实验二、软件设计实验
一、实验目的 学会使用 Case 工具完成描述软件结构的软件结构图和软件层次