资源描述：
《基于某代码地测试(软件静态测试)》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、成绩辽宁工程技术大学上机实验报告课程名称软件测试与评估实验题目基于代码的测试技术院系软件学院专业软件工程班级软件13-9班姓名王朝晖学号1320010920实验日期2016.5.12实验目的1.初步了解软件测试的基本知识。2.应用基本知识进行简单的测试。3.掌握代码测试技术的基本方法。4.针对案例，能够运用代码测试技术中的具体方法进行测试用例的设计。实验准备1.计算机一台，有c与c++程序设计学习与实验系统的软件。2.了解至少一门程序设计语言，并能熟练应用。能够编写并运行有关实验的相关代码。3.了解程序数据流分析的方法并能应用方法分析程序。4.了解程序控制流分析的方法并能应用。实验进度本次共有
2、1个练习，完成1个。实验内容1.根据三角形问题进行编程，分为等腰三角形，等边三角形，普通三角形以及不能构成三角形。2.对程序进行数据流分析。3.画出程序的控制流图。计算程序的环形复杂度，导出程序基本路径集中的独立路径条数，这是确定程序中每个可执行语句至少执行一次所必须的测试用例数目的上界；4.导出基本路径集，确定程序的独立路径；5.根据独立路径，设计测试用例的输入数据和预期输出。实验分析一．实验步骤1.打开c与c++程序设计学习与实验系统平台，编写有关三角形问题的相关程序。2.对程序进行数据流分析。3.对程序进行程序控制流分析。4.计算环形复杂度。5.给出程序的独立路径集合。6.进行用例设计。
3、7.总结归纳。二．程序分析1.程序代码1）#include2）main()3）{4）intA,B,C;5）printf("请输入三角形的三条边：");6）scanf("%d%d%d",&A,&B,&C);7）if((A>0&&B>0&&C>0)&&((A+B)>C&&(A+C)>B&&(B+C)>A))8）{9）if(A==B&&A==C)10）printf("该三角形是等边三角形！");11）else12）if((A==B&&B!=C)
4、
5、(B==C&&B!=A)
6、
7、(A==C&&A!=B))13）printf("该三角形是等腰三角形！");14）else15）pr
8、intf("该三角形是普通三角形！");16）}17）else18）{19）printf("ERROR!");20）returnmain();21）}22）}2.分析程序主要是根据三个整数a，b，c，构成一个三角形判定三角形的类型为等边三角形、等腰三角形、普通三角形还是构成不了三角形。要求输入的三个整数都是正数且a+b>c,a+c>b,b+c>a,才能进行以后的判断。否则输出“ERROR!”，返回主程序，重新输入三个整数a，b，c。然后判断三角形的类型。如果a=b且a=c，输出“该三角形是等边三角形！”。如果a=b,b不等于c，或b=c,b不等于a，或a=c,a不等于b，输出“该三角形
9、是等腰三角形！”。如果不是以上这两种情况，输出“该三角形是普通三角形！”。三．数据流分析数据流测试是以静态测试技术来发现缺陷的手段与方法。数据流测试是关注变量的赋值与使用位置的结构性测试方法。定义du-path。如果路径集合中的某个路径，定义两个节点，分别为该路径的起始节点和该路径的终止节点，该路径就为定义-使用路径。定义dc-path，如果某个定义-使用路径，除了起始节点之外没有其他定义节点，则该路径有定义-清除路径。数据流覆盖指标层次结构图描述数据“定义-使用”对，找出所有变量的定义-使用路径，考察测试用例对这些路径的覆盖程度，就可作为衡量测试效果的分析参考。由代码可得出节点4为定义a，b
10、，c。节点7，9,12为使用a，b，c。根据数据流测试数据流覆盖指标，拉普斯-韦约克层次结构图来描述程序的数据“定义-使用”对，并找出所有变量的定义-使用路径，可得到程序图G（P），如图1。使用路径du-path与清除路径dc-path，定义/使用节点和定义/使用路径，如表1，表2。12345678910111213141516171819202122图1G（P）表1定义/使用路径变量路径（开始、结束）节点是定义清除吗a4,74,94,12否否是b4,74,94,12否否是c4,74,94,12否否是表2定义/使用节点变量定义节点使用1a47,9,12b47,9,12c47,9,12四．程序控
11、制流分析1.根据代码得出程序流程图程序流程图是人们对解决问题的方法、思路或算法的一种描述。程序流程图有有采用简单规范的符号，画法简单；结构清晰，逻辑性强；便于描述，容易理解的优点。开始791210161915132022结束图2程序流程图2．根据程序流程图，将程序流程图转换为控制流图：（1）将程序流程图中的每个分支转换为一个独立的节点。（1）在分支前的顺序块合并入节点。（2）对所有的节点及程序控制
