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

1、（c）、取款手续的数据流图（d）、当前银行柜台取款过程的顶层数据流图 当前银行柜台取款过程的第一层数据流图实验二、软件设计实验学会使用Case工具完成描述软件结构的软件结构图和软件层次图的设计，并熟练地掌握几种常用的软件详细设计的工具，如程序流程图、盒图、PAD图和判定表，并能把给定的软件问题描述转化为过程设计结果。1、软件结构设计：（1） 采用visio绘制教材的图4.26中的软件结构图；（2） 采用visio绘制教材的图4.41的软件层次图。（3） 分析如下所示的数据流图，并把它转换成软件结构图，然后用visio把结果画出来。（注意，请用结构图）图1 某系统的数据流图2、软件的详细设计：某

2、航空公司规定，乘客可以免费托运重量不超过20公斤的行李，当行李重量超过20公斤，对头等舱的国内乘客超重部分每公斤收费6元，对其他舱的国内乘客超重部分每公斤收费8元，对外国顾客超重部分每公斤收费比国内乘客多1.5倍，对残疾乘客超重部分每公斤收费比正常乘客少一半。实验包含三部分的内容：e） 用word设计描述其详细设计结果的PAD图、判定表。f） 用viso画出它的程序流程图，并计算它的Mccabe程序复杂度。（要求把计算过程写到实验报告中）1、（1）. 采用visio绘制教材的图4.26中的软件结构图；（2）.采用visio绘制教材的图4.41的软件层次图。（3）.分析如下所示的数据流图，并把它

3、转换成软件结构图，然后用visio把结果画出来。开始2、PAD图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） TX20 F 头 T 国外乘客 等 舱 F 头 T普通乘客 等 残疾乘客 等判定表判定条件行李重量XX1） and （B=0）（A=2） or （X1）X = X/AX = X+1TFabdce图1 单元测试逻辑覆盖的验证实验此外，请测试如下情况：（1）. 如果将第1个判定中的“AND”错写成了“OR”，用数据2,0,3,2.5（首先，该组数据满足何种逻辑覆盖）对程序进行测

4、试，可否发现错误？为什么？请先测试，然后把结论记录到实验报告中。（2）. 如果将第2个判定中的“x1”错写成了“x=1”，则用数据3,0,1,1/3和2,1,2,3）对程序进行测试，可否发现错误？（5）. 如果将第2个判定中的“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个判定中的“a0”，则用数据2,1,1,2、2,0,2,2、1,1,1,1和1

5、,0,2,3对程序进行测试，可否发现错误？2、循环结构测试现有一个简单循环，需要对其进行测试，其程序伪代码如下：Int i,a;Input（i,a）;While（i4） a *= 2； a += 3;Else If（a a -= 4; else a += 5;i+;a *=4;Output（a）;要求为该程序设计满足简单循环的所有测试用例，记录到实验报告中。3、等价类划分及边界值测试的验证实验：有如下算法A和B均是非负整型变量（注：int型），如果10A100，则B=A*20-5，如果0=100，则B=A*100-200，请分别用等价类划分方法和边界值分析方法设计测试用例，然后编写测试程序完成

6、测试。并把测试结论写入到实验报告中。3、实验结果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）第一组测试数据能发现错误。经

7、过第一个阿婆那段，执行c操作结果得到X=1/3，第二个判定条件是X=1”。故不能发现错误。（5）判定覆盖条件、语句覆盖、判定覆盖和条件覆盖第一组测试数据不能发现错误，在第2个判定时，因为A= =2正确，满足条件，进行e操作。最后x=2.5，与期望结果相同。所以不能发现“x对于第二组测试数据，因为对于第二个判定A=2，而A的实际值为1，此时后面的判定X1或者X=1对结果就有影响了，错写之后由于X=1，对于X=1判定成立，返回1，影响X的值，故能发现错误。（6）第一组测试数据不能发现错误，因为原本执行路径是abe。出错后执行路径仍为abe，所以不能发现错误。第二组测试数据也不能发现错误，因为原本执

8、行路径是abe。出错后执行路径仍为abe，所以也不能发现错误。（7） 第一组测试数据不能发现错误，因为原本执行路径是abe。 第二组测试数据可以发现错误，因为原本执行路径是ace。出错后执行路径仍为abe，所以能发现错误。第三组测试数据不能发现错误，因为原本执行路径是abd。出错后执行路径仍为acd，所以不能发现错误。第四组测试数据不能发现错误，因为原本执行路径是abe。程序代码：#includevoid main（） int A,B; float X,Y; printf（请输入A，B,X:n）; scanf（%d%d%f,&A,&B,&X）;请输入期望值Y：%fY）; if（A1&B=0）

9、X=X/A; if（A=2|X1） X=X+1; else if（A=2|X else printf（输出X的值： printf（,X）; %fn2、循环结构 程序：iostream.h int i,a; coutia; while（i a=a*2; a=a+3; else if（a1）a=a-4; else a=a+5; i+; a=a*4;a测试用例：（i，a）为（11，2）（1，5）（1，1）（1，-3）3、验证实验实验程序：请输入A的值:%dA）;10&100） B=20*A-5;0&=10） B=15*A+20;=100） B=100*A-200;请输出B的值:%dn,B）;输入条件

10、的等价类划分 ID 输入 期望结果 备注 1 50 输入有效覆盖有等价类1 2 5输入有效 覆盖有等价类2 3 150覆盖有等价类3有效等价类测试用例输入期望结果备注150覆盖有效等价类12 覆盖有效等价类23150覆盖有效等价类3无效等价类测试用例ID1 -1 输入无效覆盖无效等价类42Abc输入无效覆盖无效等价类5边界值分析：根据题意可以取：-1，0，1，9，10，11，99，100，101，102实验四：软件动态模型建模实验一、 实验目的运用Visio和Powerdesigner等Case工具完成软件问题的时序图、状态图以及活动图的绘制，真正理解这些动态模型的含义，并能熟练的使用Case

11、工具。1、 Powerdesigner完成教材图3.15的状态图设计2、 Powerdesigner完成如下软件问题的状态图设计。复印机的工作流程大致如下：未接到复印命令时处于闲置状态，一旦接到复印命令后则进入复印状态，完成一个复印命令规定的工作后又回到闲置状态，等待下一个复印命令；如果执行复印命令时发现没有纸张，则进入缺纸状态，发出警告，等待装纸，装满纸后进入闲置状态，准备接受复印命令；如果复印时发生卡纸故障，则进入卡纸状态，发出警告，等待维修人员来排除故障，故障排除后回到闲置状态。3、 Powerdesigner完成如下所示的时序图设计图1 某系统时序图4、 完成如下用户身份验证功能的活动图设计：用户首先输入其个人信息，如果确认其输入则向系统提交用户信息，并在数据库中查询用户信息，比较用户信息，同时进行验证，验证通过，该用户获得授权可以进入系统的主界面，否则，验证失败重新回到输入用户信息界面。如果用户放弃输入，则结束程序。5、 综合题。综合运用所学OOA和OOD方法和技术完成教材P263习题8的第10题。1、图3.152、打印机3、时序图4、用户身份验证功能活动图5、习题8.10 对象模型