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

华东交通大学软件学院上机实验报告课程名称：软件工程指导老师：唐怀琴专业班级：12软件+交通设备信息工程2班姓名：徐锦陶学号：20122110120214学期：大二下学期实验一：数据流图实验一、实验目的通过绘制数据流图掌握数据流图的基本原理，并能对简单问题进行数据流图的分析，独立地完成数据流图的分析与设计。此外，学会使用Case工具完成数据流图和系统流程图的分析与实现。二、实验内容实验内容如下：a)用visio绘制出如下定货系统的SFD（系统流程图）的模型。图1某定货系统SFDb)用visio绘制教材中分别绘制出定货系统的DFD的顶层模型、第一层模型和第二层模型。（具体参考课本上P69~P70的图3.4，图3.5和图3.6）c)用visio绘制如下图所示的取款手续的数据流图。图2取款手续d)请结合目前的银行柜台取款手续，对图2的取款数据流图进行改进，绘制当前银行柜台取款过程的顶层和第一层数据流图。三、实验结果（a）、定货系统的SFD（系统流程图）的模型事务库存清单程序订货信息报告生成程序订货报告库存清单主文件（b）、图3.4DFD的顶层模型管理员采购员订货系统事务订货报表（b）、图3.5DFD的第一层模型处理事务产生报表库存信息订货信息管理员采购员库存清单事务订货信息订货信息订货报表（b）、DFD的第二层模型管理员接受事务更新库存信息处理事务产生报表采购员库存清单订货信息事务事务库存信息订货信息订货信息订货报表库存清单（c）、取款手续的数据流图储户付款登录检验日历帐卡存折检验出的问题年月日取款单存折现款付款信息取款信息（d）、当前银行柜台取款过程的顶层数据流图客户客户信息处理账户信息处理结果当前银行柜台取款过程的第一层数据流图客户检查客户帐户余额储户文件登录存折现款取款信息取款信息余额信息实验二、软件设计实验一、实验目的学会使用Case工具完成描述软件结构的软件结构图和软件层次图的设计，并熟练地掌握几种常用的软件详细设计的工具，如程序流程图、盒图、PAD图和判定表，并能把给定的软件问题描述转化为过程设计结果。二、实验内容1、软件结构设计：(1)采用visio绘制教材的图4.26中的软件结构图；(2)采用visio绘制教材的图4.41的软件层次图。(3)分析如下所示的数据流图，并把它转换成软件结构图，然后用visio把结果画出来。（注意，请用结构图）图1某系统的数据流图2、软件的详细设计：某航空公司规定，乘客可以免费托运重量不超过20公斤的行李，当行李重量超过20公斤，对头等舱的国内乘客超重部分每公斤收费6元，对其他舱的国内乘客超重部分每公斤收费8元，对外国顾客超重部分每公斤收费比国内乘客多1.5倍，对残疾乘客超重部分每公斤收费比正常乘客少一半。实验包含三部分的内容：e)用word设计描述其详细设计结果的PAD图、判定表。f)用viso画出它的程序流程图，并计算它的Mccabe程序复杂度。(要求把计算过程写到实验报告中)三、实验结果1、(1).采用visio绘制教材的图4.26中的软件结构图；产生最佳解得到好输入计算最佳解输出结果读输入编辑输入结果格式化显示结果好输入解好输入解原始输入编辑结果原始输入解格式化的解格式化的解(2).采用visio绘制教材的图4.41的软件层次图。数字仪表板控制驱动仪表板数据转换控制接收传感器信号计算计算计算显示发出警报铃声显示显示计算转换成读旋转信号读燃料流量确定加速/减速加速/减速显示发光二极管显示(3).分析如下所示的数据流图，并把它转换成软件结构图，然后用visio把结果画出来。主程序IPOBACDEHFGf7f10f8f3f4f5f1f22、PAD图开始TX20F头T国外乘客等舱F头T普通乘客等舱F头T残疾乘客等舱F判定表程序流程图判定条件行李重量XX20YYYY--------状态X20--------YYYY乘客类别外国人YNNYYNYN普通人NYYNNNNY残疾人NNNNNYNN乘坐规格头等舱YNYYNYNN普通舱NYNNYNYY托运费用Y=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）Y=3*（X-20）Y=4*（X-20）输出托运费Y输入行李重量X结束Y=0Y=9*（X-20）Y=12*（X-20）Y=6*（X-20）Y=8*（X-20）求McCabe程序复杂度步骤：步骤1:将程序流程图退化成有向图，将程序流程图的每个处理框退化成一个节点，将控制流箭头退化成连接各节点的有向弧。步骤2：在有向图中，由程序出口到入口连接一条虚有向弧，使有向图达到强连通。步骤3：计算V(G)=m-n+1V(G)是有向图的G中的环数，m是有向图G中的弧数，n是有向图G中的节点数因此环形复杂度为：V(G)=17-13+5=9，所以McCabe程序复杂度为9。实验三、软件测试实验一、实验目的学会使用CASE工具完成软件测试用例的设计以及初步完成对单元测试，深刻理解单元测试的基本原理及CASE工具的基本使用。二、实验内容1、单元测试的逻辑覆盖测试验证实验：运用工具完成对如下例子的单元测试，要求分别完成语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、条件组合覆盖和路径覆盖测试的测试用例编写以及测试。要求首先按格式编写出该测试所需要的测试用例，然后编写测试程序，对其进行测试，最后把你写的测试用例按格式记录到实验报告中。测试用例的格式如下：{[输入],[期望结果]}，对于本例请遵循如下格式：{[A,B,X],[X]}图1单元测试逻辑覆盖的验证实验此外，请测试如下情况：(1).如果将第1个判定中的“AND”错写成了“OR”，用数据{[2,0,3],[2.5]}（首先，该组数据满足何种逻辑覆盖）对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。(2).如果将第2个判定中的“x1”错写成了“x=1”，则用数据{[2,0,3],[2.5]}对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。(3).如果将第1个判定中的“AND”错写成了“OR”，则用数(A1)and(B=0)(A=2)or(X1)X=X/AX=X+1TTTTFFFFaabbddccee据{[3,0,1],[1/3]}和{[2,1,2],[3]}（首先，该组数据满足何种逻辑覆盖）对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。(4).如果将第2个判定中的“x1”错写成了“x=1”，则用数据{[3,0,1],[1/3]}和{[2,1,2],[3]}）对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。(5).如果将第2个判定中的“x1”错写成了“x=1”，则用数据{[2,0,3],[2.5]}和{[1,1,1],[1]}（首先，该组数据满足何种逻辑覆盖）对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。(6).如果将第1个判定中的“a1”错写成了“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]}对程序进行测试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。2、循环结构测试现有一个简单循环，需要对其进行测试，其程序伪代码如下：Inti,a;Input(i,a);While(i=10){a+=2;if(a4){a*=2；a+=3;}Else{If(a1)a-=4;elsea+=5;}i++;}a*=4;Output(a);要求为该程序设计满足简单循环的所有测试用例，记录到实验报告中。3、等价类划分及边界值测试的验证实验：有如下算法A和B均是非负整型变量(注：int型)，如果10A100，则B=A*20-5，如果0A=10,则B=A*15+20，如果A=100，则B=A*100-200，请分别用等价类划分方法和边界值分析方法设计测试用例，然后编写测试程序完成测试。并把测试结论写入到实验报告中。三、实验结果1、（1）语句覆盖不能发现错误，因为and比or要求的要严格一些，故and可以满足的数据or也一定可以满足。（2）不能发现错误，第二个判定or只要满足一个条件即可，因为A=2必然成立，故第二个条件一定为真，所以不能发现错误。（3）语句覆盖和判定覆盖第一组测试数据不能发现错误，因为第一组数据可以满足第一个判定的and判定，肯定可以通过or判定条件。而第二组测试数据可以发现错误，因为A=2，B=1，只有A满足条件而B不能满足条件，痛多AND返回0。又由于把and错写成了or，返回值为1，影响了X的值，所以能发现错误。（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与期望结果相同，不能发现“x1”错写成了“x=1”。故不能发现错误。（5）判定覆盖条件、语句覆盖、判定覆盖和条件覆盖第一组测试数据不能发现错误，在第2个判定时，因为A==2正确，满足条件，进行e操作。最后x=2.5，与期望结果相同。所以不能发现“x1”错写成了“x=1”。对于第二组测试数据，因为对于第二个判定A=2，而A的实际值为1，此时后面的判定X1或者X=1对结果就有影响了，错写之后由于X=1，对于X=1判定成立，返回1，影响X的值，故能发现错误。（6）第一组测试数据不能发现错误，因为原本执行路径是abe。出错后执行路径仍为abe，所以不能发现错误。第二组测试数据也不能发现错误，因为原本执行路径是abe。出错后执行路径仍为abe，所以也不能发现错误。（7）第一组测试数据不能发现错误，因为原本执行路径是abe。出错后执行路径仍为abe，所以不能发现错误。第二组测试数据可以发现错误，因为原本执行路径是ace。出错后执行路径仍为abe，所以能发现错误。第三组测试数据不能发现错误，因为原本执行路径是abd。出错后执行路径仍为acd，所以不能发现错误。第四组测试数据不能发现错误，因为原本执行路径是abe。出错后执行路径仍为abe，所以也不能发现错误。程序代码：#includestdio.hvoidmain(){intA,B;floatX,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;}else{if(A=2||X1)X=X+1;else{printf(输出X的值：);printf(%f,X);}}printf(输出X的值：);printf(%f\n,X);}2、循环结构程序：#includeiostream.hvoidmain(){inti,a;cout请输入i和a：endl;cinia;while(i=10){a=a+2;if(a4){a=a*2;a=a+3;}else{if(a1)a=a-4;elsea=a+5;}i++;}a=a*4;coutaendl;｝测试用例：（i，a）为（11，2）（1，5）（1，1）（1，-3）3、验证实验实验程序：#includestdio.hvoidmain(){intA