软件质量保证和测试(二).pptVIP

软件质量保证与测试 2 软件测试的核心技术 黑盒测试 等价类划分 边界值分析 白盒测试 逻辑覆盖 路径覆盖 灰盒测试 2.1黑盒测试（Black-Box Testing） 也称数据驱动测试或基于规格说明的测试 特点： 不考虑内部结构，而是在软件的接口处进行测试 关注功能，可用于高层的测试 设计用例可早于实现，或与实现同步进行 黑盒测试 优势 功能上更易满足用户需要 用例生成更直观、易理解、更容易 用例可重复使用 劣势 代码得不到测试 要求规格说明和设计正确 测试的充分性难以保证 对用例设计的要求高，人员因素更关键 2.1.1 等价类划分法 划分 Pi为集合S的有限个子集，若 ∪Pi = S 且 任意的i和j，有Pi∩Pj=空， 则称有限各子集Pi为S的一个划分、 等价关系，R(x,y) 自反性：R(x,x)； 对称性：若R(x,y），则R(y,x)； 传递性：若R(x,y），R(y,z），则R(x,z） 等价类 有集合S，R为S上的一种等价关系，则对于S中的任意元素x，称集合S’={ y| R(x,y) }为元素x的等价类 等价类划分 等价类划分 说明 等价关系不唯一 因此，等价类划分也不唯一 测试中的划分，更依赖知识、经验、技巧 例1. 整数集合上的等价关系 Mod 3 Sign 合数、质数、1、0、负数 2.1.1 等价类划分法-单因素 将所有可能