软件工程第六讲PPT学习教案

1、会计学1 软件工程第六讲软件工程第六讲 float Div=1.0; if(Div=0) printf(“除数为0，退出”); return; else mod=BeDiv/Div; 第1页/共76页 第2页/共76页 第3页/共76页 白盒测试白盒测试黑盒测试黑盒测试 联联 系系白盒测试和黑盒测试都是软件测试的一个方面白盒测试和黑盒测试都是软件测试的一个方面; ; 两者有时结合起来同时进行测试，两者有时结合起来同时进行测试，“灰盒测试灰盒测试”; ; 区区 别别 需要源代码需要源代码不需要源代码，需要可执行文件不需要源代码，需要可执行文件 无法检验程序的外部特性，无法检验程序的外部特性， 无

2、法测试遗漏的需求无法测试遗漏的需求 从用户的角度出发进行测试从用户的角度出发进行测试 关心程序内部结构、逻辑以关心程序内部结构、逻辑以 及代码的可维护性及代码的可维护性 关心程序的外在功能和非功能表关心程序的外在功能和非功能表 现现 编码、集成测试阶段进行编码、集成测试阶段进行确认测试、系统测试阶段进行确认测试、系统测试阶段进行 第4页/共76页 第5页/共76页 第6页/共76页 第7页/共76页 第8页/共76页 n 第9页/共76页 第10页/共76页 第11页/共76页 培训 业务技术工具和语言 审查和监督 编码规范测试. 第12页/共76页 第13页/共76页 代码审查单 数据引用错

3、误 数据声明错误 计算错误 函数参数错误 比较错误 输入/输出错误 其它检查 控制流程错误 第14页/共76页 代码行度量法 McCabe度量法 Halstead软件科学法 结构度量 第15页/共76页 第16页/共76页 第17页/共76页 第18页/共76页 第19页/共76页 PC-lint：代码规则走查工具 CodeWizard：C/C+代码分析工具 McCabe：软件质量度量方法 TestBed：源代码检查工具 Logiscope：源代码规则检查工具 第20页/共76页 第21页/共76页 第22页/共76页 第23页/共76页 第24页/共76页 void DoWork(int x

4、,int y,int z) int k=0,j=0; if( x3 ) /语句块2 j=j%3; /语句块3 第25页/共76页 x3 8 else 9 if(1= =iType) 10 x=y+10; 11 else 12 x=y+20; 13 14 第58页/共76页 第59页/共76页 第60页/共76页 1 if a or b 2 x 3 else 4 y 对应的逻辑为： 判定节点：包含条件的结点 被称为判定结点，从每一个 判定结点发出两条或多条边。 第61页/共76页 第62页/共76页 画出程序的控制流图 计算程序圈复杂度 导出测试用例 执行测试用例 计算程序圈复杂度 第63页/共

5、76页 1、流图中区域的数量对应于环型的复杂性；、流图中区域的数量对应于环型的复杂性； 2、给定流图、给定流图G的圈复杂度的圈复杂度V(G)，定义为，定义为V(G)=E-N+2，E是流图中边的数是流图中边的数 量，量，N是流图中结点的数量；是流图中结点的数量； 有以下两种方法计算圈复杂度： 第64页/共76页 流图中有四个区域；流图中有四个区域； V(G)=10条边条边-8结点结点+2=4; 对应上面圈复杂度的算法，计算如下： 第65页/共76页 第66页/共76页 第67页/共76页 第68页/共76页 通过路径输入数据 预期结果 4-14iRecordNum0，或者取，或者取 iRecordNum 0) 5 6 if(0= =iType) 7x=y+2; 8 else 9 if(1= =iType) 10 x=y+10; 11 else 12 x=y+20; 13 14 ret=x; 15 第71页/共76页 void sort(int iRecordNum,int iType); int ret; int main( ) sort(0,0); if(0=ret) printf(“pass”); else printf(“fail”); return 0; 第72页/共76页 1表示有连接 列 行 第73页/共76页 根据上面的