5测试基础-白盒测试要点.ppt

* 其他程序结构的测试方法 程序变异 是一种错误驱动测试，针对某类特定程序错误实现测试。 程序强变异 程序弱变异 （可参考郑人杰：计算机软件测试技术 清华大学出版社） * 面向对象的白盒测试 对OO软件的类测试相当于传统软件的单元测试。和传统软件的单元测试不同，他往往关注模块的算法细节和模块接口间流动的数据，OO软件的类测试是由封装在类中的操作和类的状态行为所驱动的。OO软件测试的特点： 因为属性和操作是被封装的，对类之外操作的测试通常是徒劳的。封装使对对象的状态快照难于获得。 继承也给测试带来了难度，即使是彻底复用的，对每个新的使用语境也需要重新测试。 多重继承更增加了需要测试的语境的数量，使测试进一步复杂化。如果从超类导出的测试用例被用于相同的问题域，有可能对超类导出的测试用例集可以用于子类的测试，然而，如果子类被用于完全不同的语境，则超类的测试用例将没有多大用途，必须设计新的测试用例集。 面向对象的白盒测试 * 类测试方式 类测试一般有两种主要的方式： 功能性测试和结构性测试，即对应于传统结构化软件的黑盒测试和白盒测试。 功能性测试以类的规格说明为基础，它主要检查类是否符合其规格说明的要求。例如，对于Stack类，即检查它的操作是否满足LIFO规则； 结构性测试则从程序出发，它需要考虑其中的代码是否正确，同样是Stack类，就要检查其中