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

1、.华东交通大学软件学院上机实验报告课程名称：软件工程指导老师：唐怀琴专业班级： 12 软件+ 交通设备信息工程2 班姓名：徐锦陶学号： 20122110120214word 专业资料.学期：大二下学期实验一：数据流图实验一、实验目的通过绘制数据流图掌握数据流图的基本原理，并能对简单问题进行数据流图的分析，独立地完成数据流图的分析与设计。此外，学会使用 Case 工具完成数据流图和系统流程图的分析与实现。二、实验容实验容如下：a) 用 visio 绘制出如下定货系统的SFD（系统流程图）的模型。word 专业资料.图 1 某定货系统 SFDb) 用 visio 绘制教材中分别绘制出定货系统的DF

2、D 的顶层模型、第一层模型和第二层模型。 （具体参考课本上P69P70的图3.4，图 3.5 和图 3.6 ）c) 用 visio 绘制如下图所示的取款手续的数据流图。图 2 取款手续d) 请结合目前的银行柜台取款手续 ，对图 2 的取款数据流图进行改进，绘制 当前银行柜台取款过程 的顶层和第一层数据流图。三、实验结果word 专业资料.（ a ）、 定货系统的 SFD（系统流程图）的模型事务库存清单库存清单程序主文件订货信息报告生成程序订货报告（ b ）、图 3.4 DFD 的顶层模型事务订货订货报表管理员系统采购员（ b）、图 3.5DFD 的第一层模型word 专业资料.库存信息库存清单

3、事务处理产生管理员事务报表订货信息订货报表订货信息采购员订货信息（b ）、DFD 的第二层模型word 专业资料.库存清单库存清单事务接受事务更新库管理员事务存信息库存处理产生 订货采购员信息事务报表报表订货信息订货信息订货信息（ c）、 取款手续的数据流图帐卡检验出的问题检验取款单存折取款存折信息储户现款付款信息登录付款年月日日历word 专业资料.（ d ）、 当前银行柜台取款过程的顶层数据流图账户信息信息处理结果客户处理客户当前银行柜台取款过程的第一层数据流图帐户余额余额信息存折现款客户检查登录客户取款信息取款信息储户文件word 专业资料.实验二、软件设计实验一、实验目的学会使用Cas

4、e 工具完成描述软件结构的软件结构图和软件层次图的设计，并熟练地掌握几种常用的软件详细设计的工具，如程序流程图、盒图、 PAD 图和判定表，并能把给定的软件问题描述转化为过程设计结果。二、实验容1、软件结构设计：(1) 采用 visio 绘制教材的图 4.26 中的软件结构图；(2) 采用 visio 绘制教材的图 4.41 的软件层次图。(3) 分析如下所示的数据流图，并把它转换成软件结构图，然后用 visio 把结果画出来。（注意，请用结构图 ）word 专业资料.图 1 某系统的数据流图2、软件的详细设计：某航空公司规定，乘客可以免费托运重量不超过 20 公斤的行，当行重量超过20 公斤

5、，对头等舱的国乘客超重部分每公斤收费6 元，对其他舱的国乘客超重部分每公斤收费 8 元，对外国顾客超重部分每公斤收费比国乘客多1.5 倍，对残疾乘客超重部分每公斤收费比正常乘客少一半。实验包含三部分的容：e) 用 word 设计描述其详细设计结果的 PAD 图、判定表。f)用 viso 画出它的程序流程图，并计算它的Mccabe程序复杂度。 (要求把计算过程写到实验报告中)三、实验结果1、(1).采用 visio 绘制教材的图4.26 中的软件结构图；word 专业资料.产生最佳解好输入解好输解入得到好输入计算最佳解输出结果原始输入编辑结果解格式化的解原始输入格式化的解读输入编辑输入结果格式化

6、显示结果(2). 采用 visio 绘制教材的图4.41 的软件层次图。word 专业资料.数字仪表板控制接收传感器数据转换驱动仪表板信号控制转换成计算计算计算计算显示显示显示发出警报铃声读旋转读燃料确定加速/减发光二极管加速/减速信号流量显示速显示(3).分析如下所示的数据流图，并把它转换成软件结构图，然后用 visio 把结果画出来。word 专业资料.主程序IPOf1f3f10f7BCHFf4f5f8f2ADEG2、PAD 图开始word 专业资料.输入行李重量XY=0TX20Y=9* （ X-20 ）F头T国外乘客等Y=12* （ X-20 ）舱FY=6* （X-20 ）头T普通乘客等

7、Y=8* （ X-20 ）舱FY=3* （ X-20 ）头T残疾乘客等Y=4* （ X-20 ）舱F输出托运费Y结束word 专业资料.判定表行重量 XX20-YYYY判外国人YNNYYNYN定乘客类别普通人NYYNNNNY状条残疾人NNNNNYNN态件乘坐规格头等舱YNYYNYNN普通舱NYNNYNYYY=0托Y=12* （ X-20）判运Y=9* （ X-20）定费Y=8* （ X-20）规用Y=6* （ X-20）则Y=4* （ X-20 ）Y=3* （ X-20）程序流程图word 专业资料.求 McCabe 程序复杂度步骤：步骤 1:将程序流程图退化成有向图， 将程序流程图的每个处理

8、框退化成一个节点，将控制流箭头退化成连接各节点的有向弧。步骤 2：在有向图中，由程序出口到入口连接一条虚有向弧，使有向图达到强连通。步骤 3：计算 V(G)=m-n+1V(G)是有向图的 G 中的环数， m 是有向图 G 中的弧数， n 是有向图G 中的节点数因此环形复杂度为： V(G)=17-13+5=9，所以 McCabe程序复杂度为 9。word 专业资料.实验三、软件测试实验一、实验目的学会使用 CASE 工具完成软件测试用例的设计以及初步完成对单元测试，深刻理解单元测试的基本原理及CASE 工具的基本使用。二、实验容1、单元测试的逻辑覆盖测试验证实验：运用工具完成对如下例子的单元测试

9、，要求分别完成语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、 条件组合覆盖和路径覆盖测试的测试用例编写以及测试。要求首先按格式编写出该测试所需要的测试用例，然后编写测试程序， 对其进行测试， 最后把你写的测试用例按格式记录到实验报告中。测试用例的格式如下： 输入 , 期望结果 ，对于本例请遵循如下格式：A,B,X,Xword 专业资料.abFTc(A1)and (B=0)X=X/AdeFT(A=2) or (X1)X=X+1图 1 单元测试逻辑覆盖的验证实验此外，请测试如下情况：(1).如果将第 1 个判定中的“ AND ”错写成了“ OR”，用数据2,0,3,2.5（首先，该组数据满足何种逻辑

10、覆盖）对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。(2).如果将第 2 个判定中的“ x1 ”错写成了“ x1 ”错写成了“ x1 ”错写成了“ x1 ”错写成了“ a=1 ”，且把“ b=0 ” 错 写 成 了 “ b0 ”， 则 用 数 据 2,1,1,2和1,0,2,3 对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。(7).如果将第 1 个判定中的“ a1 ”错写成了“ a=1 ”，且把“ b=0 ” 错 写 成 了 “ b0 ”， 则 用 数 据 2,1,1,2、2,0,2,2 、 1,1,1,1 和 1,0,2,3 对程序

11、进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。word 专业资料.2、循环结构测试现有一个简单循环，需要对其进行测试，其程序伪代码如下：Int i,a;Input(i,a);While(i4)a *= 2 ；a += 3;ElseIf(a1)a -= 4;elsea += 5;i+;word 专业资料.a *=4;Output(a);要求为该程序设计满足简单循环的所有测试用例，记录到实验报告中。3 、 等价类划分及边界值测试的验证实验：有如下算法A 和 B 均是非负整型变量 (注：int 型 )，如果 10A100，则 B=A*20-5，如 果0A=100， 则B=A*

12、100-200 ，请分别用等价类划分方法和边界值分析方法设计测试用例， 然后编写测试程序完成测试。 并把测试结论写入到实验报告中。三、实验结果1、（ 1）语句覆盖word 专业资料.不能发现错误，因为and 比 or 要求的要严格一些，故and 可以满足的数据or 也一定可以满足。（ 2）不能发现错误， 第二个判定or 只要满足一个条件即可，因为 A=2 必然成立， 故第二个条件一定为真，所以不能发现错误。（3）语句覆盖和判定覆盖第一组测试数据不能发现错误，因为第一组数据可以满足第一个判定的and判定，肯定可以通过or 判定条件。而第二组测试数据可以发现错误，因为A=2 ， B=1 ，只有 A

13、word 专业资料.满足条件而B 不能满足条件，痛多AND返回 0。又由于把and 错写成了or ，返回值为 1 ，影响了 X 的值，所以能发现错误。（ 4）第一组测试数据能发现错误。经过第一个阿婆那段，执行c 操作结果得到X=1/3 ，第二个判定条件是X1 ”错word 专业资料.写成了“ x1 ”错写成了“ x1或者 X=1对结果就有影响了，错写之后由于X=1 ，对于 X=1判定成立，返回1，影响X 的值，故能发现错误。（ 6）word 专业资料.第一组测试数据不能发现错误，因为原本执行路径是abe 。出错后执行路径仍为abe ，所以不能发现错误。第二组测试数据也不能发现错误，因为原本执行

14、路径是abe 。出错后执行路径仍为abe ，所以也不能发现错误。（ 7）第一组测试数据不能发现错误，因为原本执行路径是abe 。出错后执行路径仍为word 专业资料.abe ，所以不能发现错误。第二组测试数据可以发现错误，因为原本执行路径是ace 。出错后执行路径仍为abe ，所以能发现错误。第三组测试数据不能发现错误，因为原本执行路径是abd 。出错后执行路径仍为acd ，所以不能发现错误。第四组测试数据不能发现错误，因为原本执行路径是abe 。出错后执行路径仍为word 专业资料.abe ，所以也不能发现错误。程序代码：#includevoid main()int A,B;float X,

15、Y;printf(请输入 A ， B,X:n);scanf(%d%d%f,&A,&B,&X);printf(请输入期望值Y：);scanf(%f,&Y);if(A1&B=0)X=X/A;if(A=2|X1) X=X+1;elseif(A=2|X1) X=X+1;elseprintf(输出 X 的值： );word 专业资料.printf(%f,X);printf(输出 X 的值： );printf(%fn,X);2、循环结构程序：#includevoid main()int i,a;cout请输入 i 和 a ：ia;while(i4)a=a*2;a=a+3;word 专业资料.elseif(

16、a1)a=a-4;else a=a+5;i+;a=a*4;coutaendl;测试用例：（i，a）为（ 11 ，2）（1，5 ）（1，1 ）（1 ，-3 ）3、验证实验实验程序：#includevoid main()int A,B;printf(请输入 A 的值 :);scanf(%d,&A);if(A10&A0&A=100) B=100*A-200;printf(请输出 B 的值 :);word 专业资料.printf(%dn,B);输入条件的等价类划分ID输入期望结果备注150输入有效覆盖有等价类 125输入有效覆盖有等价类 23150输入有效覆盖有等价类 3有效等价类测试用例ID输入期望

17、结果备注150输入有效覆盖有效等价类 125输入有效覆盖有效等价类 23150输入有效覆盖有效等价类 3无效等价类测试用例ID输入期望结果备注1-1输入无效覆盖无效等价类42Abc输入无效覆盖无效等价类5边界值分析：根据题意可以取：-1 ， 0， 1，9， 10 ， 11， 99 ， 100 ， 101 ，102word 专业资料.实验四：软件动态模型建模实验一、 实验目的运用 Visio 和 Powerdesigner等 Case 工具完成软件问题的时序图、状态图以及活动图的绘制，真正理解这些动态模型的含义，并能熟练的使用 Case 工具。二、 实验容1、Powerdesigner完成教材图 3.15 的状态图设计2、Powerdesigner完成如下软件问题的状态图设计。复印机的工作流程大致如下：未接到复印命令时处于闲置状态，一旦接到复印命令后则进入复印状态，完成一个复印命令规定的工作后又回到闲置状态，等待下一个复印命令；如果执行复印命令时发现没有纸，则进入缺纸状态，发出警告，等待装纸，装满纸后进入闲置状态，准备接受复印命令；如果复印时发生卡纸故障，则进入卡纸状态，发出警告，等待维修人员来排除故障，故障排除后回到闲置状态。3、Powerdesigner完成如下所示的时序图设计word 专业资料.图 1 某系统时序图4、完成如下用户身