第三章白盒测试(2).pptVIP

* 第12步：变异数的计算 量化评价指标： ＝1代表相关于变异T是充分的 1表示相关于变异T是不充分的 可以通过增加额外的测试用例提高变异数 T的变异数记为MS（T） 其中：|D|表示：杀死的变异体数 |L|表示：表示活的变异体数 |E|表示：等价的变异体数 |M|表示：第2步生成的所有变异体数 计算变异 的分数 杀掉的 变异体D 等价的 变异体E （12） 关于变异的T的充分性 或 * P使用测试T并测试通过 {t1:x=0,y=0,t2:x=0,y=1,t3:x=1,y=0,t4:x=-1,y=-2} M使用T运行的结果与P相同，无法区分P与M 增加一个测试用例 x=1,y=1，使P和M区别，表明增强了T Example: Program 1 1 begin int x,y; input (x,y); if (x y) output(x+y) else output(x*y); end Program 1的变异体M 1 begin int x,y; input (x,y); if (x y+1) output(x+y) else output(x*y); end * 白盒测试工具 一、静态工具(不执行程序的情况下) 静态测试工具类型： 1.代码审查　　　　　2.一致性检查 3.错误检查　　　　　4.接口分析 5.输入/输出规格说明分析检查　　 6.数据流分析　　　　7.类型分析　　　　　 8.单元分析　　　　　9.复杂度分析 Logiscope——Audit（P66） * 二、动态工具 动态测试工具类型： 1.功能确认与接口测试 测试包括对各模块功能、模块间的接口、局部数据结构、主要执 行路径、错误处理等方面进行的测试。 2.覆盖测试 覆盖分析对所涉及的程序结构元素进行度量，以确定测试执行的 充分性。 * 软件缺陷分析 软件缺陷简单说就是指对软件产品预期属性的偏离现象。 即存在于软件（文档、数据、程序）之中的那些不希望，或不可接受的偏差，而导致软件产生的质量问题。按照一般的定义，只要符合下面5个规则中的一个，就叫做软件缺陷。 * 软件未达到软件规格说明书中规定的功能； 软件超出软件规格说明书中指明的范围； 软件未达到软件规格说明书中指出的应达到的目标； 软件运行出现错误； 软件测试人员认为软件难于理解，不易使用，运行速度慢，或者最终用户认为软件使用效果不好。 * 影响软件缺陷数目的因素： 宏观上：包括管理水平、技术、测试水平等。 微观上：软件规模、复杂度、类型、测试工具、测试自动化程度、测试支撑环境、开发成本等。 * 一、软件缺陷的种类（P80） 1.输入/输出缺陷 　　　　　 2.逻辑缺陷 3.计算缺陷 　　　　　 4.接口缺陷 5.数据缺陷 　　 * 二、软件缺陷的产生 1.疏忽造成的错误（Carelessness defect，CD）　　　　　 2.不理解造成的错误（Misapprehend defect，MD） 3.二义性造成的错误(Ambiguity defect，AD)　　　　　 4.遗漏造成的错误（Skip defect，SD）　　 其中：MD，AD，SD主要存在于软件开发的前期阶段，如需求分析阶段，设计阶段，编码阶段。检测概率较大，容易测试。 * CD错误（必然的，不可预测，不可估计）： 1.显式约束造成的错误：A是程序的一个元素（一条语句或语句的一部分，或语句的集合），在A之前或之后要跟另外一个动作B，则称显式约束。如果B不存在或B不是A所要求的，则都是错误。 2.隐式约束造成的错误：A是程序中一个元素，根据程序的语义，A必须满足某些约束，否则就是错误。例如：数组越界错误，非法计算类错误等。 * 软件缺陷可能存在于软件过程的每一个阶段，各阶段所占的比例如图： 软件 需求 报告 56% 设计 27% 编码 7% 其它 10% * 三、软件缺陷数目估计 1.撒播模型（利用概率论，类似于估计一个大箱子中乒乓球的个数） 　 原理：用人工随机的向待估算的软件置入错误，然后进行测试，待测试到足够长的时间后，对所测试到的错误进行分类，看看哪个是人工置入的错误，哪个是程序中固有的错误；然后根据上述公式即可估算出程序中所有的错误。 　　 * 此方法估计的准确性不高，原因如下： (1)程序中固有的缺陷是未知的，每个错误被检测的难易程度也同样是未知的。 (2)人工置入的缺陷是否和程序中存在缺陷检测的难易程度一致也是未知的。 * Hyman提出另外一种模型：假设软件总的排错时间是X个月， 假设经过排错程序中将不再存在错误。让两个人共同对程序 进