软件测试第四讲功能进性测试二.pptVIP

软件测试 功能性测试（二） 等价类测试 等价类作为功能性测试的基础有两个动机： 希望进行完备的测试 希望避免冗余 等价类测试重复边界值测试的两个决定因素：健壮性和单/多缺陷假设 等价分配 选择测试用例是软件测试员最重要的任务。选择测试用例的方法是等价分配，就是分步骤地把过多（无限）的测试用例减小到同样有效的小范围的过程。 等价区间是指相同目标或者暴露相同软件缺陷的一组测试用例。 在寻找等价区间时，想办法把软件的相似输入、输出、操作分成组。这些组就是等价区间。 等价类的关键 等价类的重要问题是它们构成集合的划分。 划分是指互不相交的一组子集，这些子集的并集是整个集合。 等价类测试的思想是通过每个等价类中的一个元素标示测试用例 等价类的关键就是选择确定类的等价关系。 举例 如果F实现为一个程序，则输入变量x1和x 2将拥有以下边界，以及边界内的区间： a≤x1≤d，区间为[a,b)，[b,c)，[c,d] e≤x1≤g，区间为[e,f)，[f,g] x1和x2的无效值是： x1a，x1d x2e，x2g 弱一般等价类测试 通过使用一个测试用例中的每个等价类的一个变量实现 强一般等价类测试 强一般等价类测试基于多缺陷假设，需要等价类笛卡儿积的每个元素对应的测试用例 弱健壮等价类测试 强健壮等价类测试 等价类测试总结 等价类测试的关键是等价关系的选择。注意被“相同处理”的输入 通过预测可能的实现，并考虑在实现中必须提供的功能操作来做出选择。 在大多数情况下，等价类测试定义输入定义域的类。但没有理由不能根据被测程序函数的输出值定义等价关系。 等价类测试指导方针 等价类测试的弱形式（一般或健壮）不如对应的强形式的测试全面 如果实现语言是强类型的（无效值会引起运行时错误），则没有必要使用健壮形式的测试 如果错误条件非常重要，则进行健壮形式的测试是合适的 如果输入数据以离散值区间和集合定义，则等价类测试是合适的 通过结合边界值测试，等价类测试可得到加强。 基于决策表的测试 决策表一直被用来表示和分析复杂逻辑关系 决策表很适合描述不同条件集合下采取行动的若干组合的情况。 功能性测试总结 基于边界的方法： 边界值分析 健壮性测试 最坏情况测试 健壮最坏情况测试 基于被测程序接受“相似处理”的原理： 弱一般 强一般 弱健壮 强健壮 指导方针 选择功能性测试方法时需要考虑的属性： 变量是否表示物理量或逻辑量？ 在变量之间是否存在依赖关系？ 是假设单缺陷，还是假设多缺陷？ 是否有大量例外处理？ 指导方针（续） 如果变量引用的是物理量，可采用定义域测试和等价类测试 如果变量是独立的，可采用定义域测试和等价类测试 如果变量不是独立的，可采用决策表测试 如果可保证是单缺陷假设，可采用边界分析和健壮性测试 如果可保证是多缺陷假设，可采用最坏情况测试、健壮最坏情况测试和决策表测试 如果程序包含大量例外处理，可采用健壮性测试和决策表测试 如果变量引用的是逻辑量，可采用等价类测试用例和决策表测试 三角形问题 三角形问题接受三个整数a、b和c作为输入，用做三角形的边。程序的输出是由这三条边确定的三角形类型：等边三角形、等腰三角形、普通三角形或非三角形，按输入值域分析。 三角形等价类测试用例举例 “一个程序读入3个整数，它们分别代表一个三角形的3个边长。该程序判断所输入的整数是否构成一个三角形，以及该三角形是一般的、等腰的或等边的，并将结果打印出来。 要求：设三角形的3条边分别为A、B、C，并且 （1） 列出等价类表，格式如下： 输入条件 有效等价类 无效等价类? （注意：将等价类编号） （2） 设计测试用例，格式如下： 用例n：输入【A，B，C】覆盖等价类……（列出等价类序号），输出结果为……。 NextDate函数测试用例说明 NextDate是一个三个变量（月份、日期和年）的函数。函数返回输入日期后面的那个日期。变量月份、日期和年都具有整数值，且满足以下条件： C1：1≤月份≤12 C2：1≤日期≤31 C3：1812≤年≤2012 NextDate函数测试用例说明 NextDate是一个三个变量（月份、日期和年）的函数。函数返回输入日期后面的那个日期。 也就是说如果日期不是某个月的最后一天，则NextDate会直接对日期加1。到了月末，下一个日期是1，月份加1。到了年末，日期和月份都会复位到，年加1。 考虑闰年问题 NextDate函数测试用例说明 等价类划分： M1={月份：每月有30天} M2={月份：每月有31天} M3={月份：此月是2月} D1={日期：1≤日期≤28} D2={日期：日期=29} D3={日期：日期=30} D4={日期：日期=31} Y1={年：年=2000} Y2={年：年是闰年} Y3