软件质量保证与测试——静态白盒测试.pdf

软件质量保证与测试

2015年春季实验分数

教师：杨秋辉占百分比得分

实验报告1–静态白盒测试实验室演示10%

实验报告90%

学号:姓名:合计100%

1引言

白盒测试（white-boxtesting）又称透明盒测试（glassboxtesting）、结构测试（structuraltesting）等，软件测试的主要方法之一，也称结构测试、逻辑驱动测试

或基于程序本身的测试。测试应用程序的内部结构或运作，而不是测试应用程序的功能（即黑盒测试）。在白盒测试时，以编程语言的角度来设计测试案例。测试者

输入数据验证数据流在程序中的流动路径，并确定适当的输出，类似测试电路中的节点。测试者了解待测试程序的内部结构、算法等信息，这是从程序设计者的角度

对程序进行的测试。

FindBugs是由BillPugh和DavidHovemeyer创建的开源程序，用来查找Java代码中的程序错误。它使用静态分析来识别Java程序中上百种不同类型的潜在错

误。潜在错误可分为四个等级：恐怖的（scariest）、吓人的（scary）、令人困扰的（troubling）和值得关注的（ofconcern），这是根据其可能产生的影响或严重

程度，而对开发者的提示。

2测试结果记录

表1FindBugs静态测试结果分析表

编源代码（指明是哪个函编静态测试结果你的修改再你的理解

号数中的哪几条语句）译次

提静

示态

测

试

结

果

1函数function1()：无Bug:Repeatedconditionaltestin删除第2个无是缺陷，需要根据程序

if（str!=null）错test.function1()if（str!=null）错实际应该的逻辑来确定

误