第四白盒测试V分析.pptVIP

4.5插装 例子说明(asp中打印Sql语句) 定义 插装(Instrumentation)，又称软件探针(Software Probe ),是白盒测试的一种常用技术。插装是在软件特定的位置插入一些语句，用来获取软件的运行信息并反馈给测试者。 插装应用 软件计数器应用覆盖测试，举例说明。 断言检测，举例说明。 测试用例的单一指数 程序插装 程序插装技术的研究涉及下列几个问题： (1)探测哪些信息？ (2)程序的什么位置设置探测点？ (3)需要多少探测点？ 程序插装类型： 用于测试覆盖率和测试用例有效性度量的程序插装 用于断言检测的程序插装 总结： “白盒”法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。“白盒”法是穷举路径测试。在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。 第一、穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序； 第二、穷举路径测试不可能查出程序中因遗漏路径而出错。 第三、穷举路径测试可能发现不了一些与数据相关的错误。 实验设想 以白盒测试实验中的三角形例子，设想如下实验方案 需要完成语句、判定、条件、判定/条件，组合条件，路径，基本路径覆盖分析 要求将各测试用例（按一定结构）存储于MySQL数据库 每种类型一个测试脚本，根据测试用例存储结构不同实现自动测试。 最后对每种类型进行测试覆盖分析 Q A * * * * * 基本路径测试再举例 例：下例程序流程图描述了最多输入50个值（以–1作为输入结束标志），计算其中有效的学生分数的个数、总分数和平均值。 开始 i =1，n1=n2=0，sum=0 Score[ i ]-1 AND n250 n2=n2+1 n1=n1+1，sum=sum+score[i] Score[ i ]0 AND score[i]100 i = i +1 n10 average=sum/n1 average= – 1 返回 F F F T T T 1 2和3 4 5和6 7 8 9 10 11 12 开始 i =1，n1=n2=0，sum=0 Score[ i ]-1 AND n250 n2=n2+1 n1=n1+1，sum=sum+score[i] Score[ i ]0 AND score[i]100 i = i +1 n10 average=sum/n1 average= – 1 返回 F F F T T T 1 2和3 4 5和6 7 8 9 10 11 12 步骤1：导出过程的流图。 1 2 3 4 5 6 7 8 9 11 10 12 R1 R2 R3 R4 R5 R6 步骤2:确定环形复杂性度量V(G)： 1）V(G)= 6 （个区域） 2）V(G)=E–N+2=16–12+2=6 其中E为流图中的边数，N为结点数； 3）V(G)=P+1=5+1=6 其中P为谓词结点的个数。在流图中，结点2、3、5、6、9是谓词结点。 基本路径测试再举例 1 2 3 4 5 6 7 8 9 11 10 12 R1 R2 R3 R4 R5 R6 基本路径测试再举例 步骤3：确定基本路径集合（即独立路径集合）。于是可确定6条独立的路径： 路径1：1-2-9-10-12 路径2：1-2-9-11-12 路径3：1-2-3-9-10-12 路径4：1-2-3-4-5-8-2… 路径5：1-2-3-4-5-6-8-2… 路径6：1-2-3-4-5-6-7-8-2… 1 2 3 4 5 6 7 8 9 11 10 12 R1 R2 R3 R4 R5 R6 基本路径测试再举例 步骤4：为每一条独立路径各设计一组测试用例，以便强迫程序沿着该路径至少执行一次。 1）路径1(1-2-9-10-12)的测试用例： score[k]=有效分数值，当k i ； score[i]=–1, 2≤i≤50； 期望结果：根据输入的有效分数算出正确的分数个数n1、总分sum和平均分average。 开始 i =1，n1=n2=0，sum=0 Score[ i ]-1 AND n250 n2=n2+1 n1=n1+1，sum=sum+score[i] Score[ i ]0 AND score[i]100 i = i +1 n10 average=sum/n1 average= – 1 返回 F F F T T T 1 2和3 4 5和6 7 8 9 10 11 12 基本路径测试再举例 2）路径2(1-2-9-11-12)的测试用例： score[ 1 ]= – 1 ； 期望的结果：average = – 1 ，其他量保持初值。 3