第09课 白盒测试软件缺陷数目.ppt

软件测试 第三章 白盒测试 3.1 逻辑覆盖技术 3.2 路径分析方法 3.3 分支条件测试 3.4 分支的路径测试 3.5 循环的路径测试 3.6 软件缺陷分析 软件缺陷分析 软件缺陷——是指对软件产品预期属性的偏离现象。 软件缺陷一个标准的定义： 从产品内部看，软件缺陷是软件产品开发或维护过程中所存在的错误、毛病等各种问题； 从外部看，软件缺陷是系统所需要实现的某种功能的失效或违背。 符合下边5个规则任何一个或几个的都是软件缺陷： 软件未达到产品说明书中已经标明的功能 软件出现了产品说明书中指明不会出现的错误 软件功能超出了产品说明书中指明的范围 软件未达到产品说明书中虽未指出但应当达到的目标 软件测试人员认为软件难以理解、不易使用，或者最终用户认为该软件使用效果不良 软件缺陷分析 以计算器内的嵌入式软件来分析软件缺陷： 计算器说明书一般声称该计算器将准确无误地进行加减乘除运算。如果用户选定了两个数值后，随意按下了“+”号键，结果没有任何反应或得到错误答案。 若计算器产品说明书指明计算器不会出现崩溃、死锁或停止反应，而在随意按、敲键盘后，计算器停止接受输入或没了反应。 软件缺陷分析 以计算器内的嵌入式软件来分析软件缺陷： 在进行测试时，发现除了加减乘除功能外，还能进行求平方根的运算，而这个功能没在说明书的功能中规定。 若因电池没电而导致了计算不正确，但产品说明书未能指出在此情况下应如何进行处理。 若计算器某些地方不好用，比如，按键太小、显示屏在亮光下无法看清等。 软件缺陷分析 3.6.1软件缺陷的种类： 输入/输出缺陷 逻辑缺陷 计算缺陷 接口缺陷 数据缺陷 3.6.2软件缺陷的产生 缺陷的来源： 疏忽造成的错误 CD 不理解造成的错误 MD 二义性造成的错误 AD 遗漏造成的错误 SD 缺陷的构成： 软件缺陷分析 思考题：重读因特尔奔腾浮点除法软件缺陷，分析此缺陷说明了什么？ 软件缺陷分析 3.6.3软件缺陷数目估计 软件缺陷数目是软件可靠性和整体质量的一个重要参数。 软件产品质量评估首先要建立基线，在这个基准线上再设置测试的目标，作为对系统评估是否通过的标准。 例如：10000行源程序是程序规模的一个基准，每一千行代码有30个错误是测试中错误发现率的基准。(P80) 估计残留软件缺陷数目的方法： 播撒模型 静态模型 根据测试覆盖率的预测模型 软件缺陷分析 播撒模型——通过已知缺陷来估计程序中潜在的、未知的缺陷数目。 Mills提出：用人工随机地向待估算的软件置入错误(M)，然后进行测试，并对所测试到的错误进行分类，看哪个是人工置入的错误(m)，哪个是程序中固有的错误(n)，用下式估算出程序中所有固有的错误(N)。 软件缺陷分析 练习题： 1.某软件公司的评测部对ASP软件人为注入了10个缺陷，在开始测试的一小段时间内，发现了160个Bug，其中注入缺陷2个。请估算出被测程序的固有缺陷的个数。 由以下公式： 所以：N = M * n /m = 10 * 158 / 2 = 790 （个） 软件缺陷分析 上述方法估计程序中残留缺陷数目的有效性是值得怀疑的。 程序中固有的缺陷是未知的，每个错误被检测的难易程度也同样是未知的。 人工置入的缺陷是否和程序中存在缺陷检测的难易程度一致也是未知的。 Hyman提出另外一种模型：假设软件经过X个月的排错时间，程序中将不再存在错误。那么让两个人共同对程序进行排错，经过足够长(X的一半或更少)的排错时间后，第一个人发现了n个错误，第二个人发现了m个错误，其中属于两个人共同发现的错误有m1个，则程序中的固有错误： 软件缺陷分析 练习题： 2.在测试一个程序时，由甲、乙两名测试员各自独立测试。经过一个月测试后，甲发现并改正了20个错误。与此同时，乙发现了24个错误，其中的6个甲也发现了。若甲、乙测试发现的错误均无误，请估算程序中还残留多少错误？ 由以下公式： 所以，程序中的固有错误：N = n * m /m1 = 20 * 24 / 6 = 80 残留错误为：80 - 24 -（20 - 6）= 42 （个） 软件缺陷分析 静态模型 ——根据软件的规模和复杂性进行估计。 Akiyama模型： N=4．86十0．018*L。 其中：N是缺陷数；L是可执行的源语句数目。 谓词模型：N=C+J 其中：C是谓词数目；J是子程序数目。 Halstead模型：N=V/3000。 其中：V=x?lny，x=x1+x2，y=y1+y2 x1：程序中使用操作符的总次数； x2：程序中使用操作数的总次数； y1：程序中使用操作符的种类； y2：程序中使用操作数的种类； 软件缺陷分析 静态模型 ——根据软件的规模和复杂性进行估计。 Lipow模型