同一项优惠计算测试 50 元和 150 元都正确用户买到恰好 100 元时却没有得到优惠。问题不在金额样本太少而在所选样本没有区分两种写法“至少 100 元”和“超过 100 元”。远离门槛时它们给出相同结果只有门槛本身能暴露漏掉的等号。有限测试必然需要选择输入。有效的选择先把预期处理方式不同的输入分开再把注意力放到规则发生切换的位置。代表值提供对一类处理的观察边界值区分相邻规则它们都需要明确的需求和能让差异显现的其他条件。本文使用一条假设规则金额以整数分表示合法范围为 0 至 100,000,000金额达到 10,000 分且会员或另一项优惠资格至少有一种有效享受一次折扣。折扣额是金额的十分之一向下取整应付金额为原金额减去折扣额。非法输入返回错误不计算应付金额。这里只分析计算约定不涉及真实交易。文章目录输入分组建立的是假设不是证明边界值为什么能够区分相似实现一个边界能否被测到还取决于其他输入拒绝输入也有不止一种失败方式分区和性质都要随真实规则调整输入分组建立的是假设不是证明先固定会员有效、另一项资格无效。金额可以按预期处理分成四组小于 0 应拒绝0 至 9,999 原价10,000 至 100,000,000 计算优惠超过上限应拒绝。按照处理方式将输入分组再从每组选择代表的方法叫作等价类划分。例如 −1、5,000、20,000、100,000,001 分别触及四类行为。它们适合检查几条基本处理是否存在但不能证明组内每个值都正确。“等价”是基于已知规则作出的测试假设不是已经证明程序对这组输入完全一致。同一优惠区间里还存在取整差异。20,000 的十分之一是整数10,006 的十分之一则不是。若程序错误地四舍五入折扣前者看不出问题后者才有辨别力规定折扣额为 1,000应付 9,006错误取整可能算成折扣 1,001、应付 9,005。因此分区不只来自一条外层条件。若当前风险涉及取整就应进一步关注金额除以 10 的余数若风险涉及数值转换还要关注相关表示范围。并不需要立刻枚举每个值而是让分区随着已确认的处理差异细化。原先一个代表值失效往往说明模型过粗不能靠继续引用旧的分区覆盖来消除这个事实。边界值为什么能够区分相似实现固定有效资格后门槛附近的结果为金额单位分是否优惠预期应付单位分9,999否9,99910,000是9,00010,001是9,00110,000 区分“大于等于”与“大于”两侧邻近值则检查切换位置及其方向。围绕已识别的边界选择输入称为边界值分析。边界不是因为数值特殊才有用而是许多实现差异只会在这些位置转化为不同输出。只测边界与外侧仍可能放过另一类错误。要求 x≤10代码却写成 x10输入 10 时都为真输入 11 时都为假加入 9 才能看出范围被误缩成一个点。因此选择两侧邻居应当能说清它们排除什么错误而不是机械套用固定数量。邻近的含义由输入单位决定。本例用整数分10,000 的相邻金额是 9,999 和 10,001。若用整元输入的 99、100、101检查的是另一种离散尺度。接口允许十进制字符串时还需要明确小数位、解析与舍入约定不能把浮点表示误差与业务门槛混成一个问题。边界方法也有适用前提。金额、长度和时间通常有明确顺序会员等级、文件类型等类别没有同样意义的左右邻居。类别差异应靠分组和组合建模不能为了套方法给它们虚构数值距离。一个边界能否被测到还取决于其他输入如果三条门槛用例都使用非会员且无其他资格所有输入都原价。金额确实经过门槛附近错误的比较符号却不会改变应付结果因为资格条件已经使优惠不可能发生。要观察金额边界就需要先让资格有效要观察会员资格则应固定金额达标并关闭另一项资格避免它替会员条件满足整个规则。选择其他输入的作用是让当前关心的差异能够影响结果。还要考虑前置校验。金额输入在解析阶段被拒绝时后面的优惠判断根本没有执行。测试数据含有“10000”这几个字符并不等于整数门槛已经被检查。失败位置和观察结果必须与所声称的规则对应。这种安排并不是要求每次只改变一个参数。它是在设计具有辨别力的背景条件研究哪个风险就避免其他条件把它遮住。涉及多个资格相互作用时可以增加组合测试需要证明复杂判定中每个条件的独立作用时可以使用成对比较。但这些方法不会替代金额门槛本身的精确取值。拒绝输入也有不止一种失败方式合法区间的下限与上限是优惠门槛以外的边界。−1 与 0 区分拒绝和接受100,000,000 与 100,000,001 同样如此。恰好 0 应按规则接受并返回 0不能因“金额必须为正”的未经确认假设把它拒绝。非法输入也不能永远合成一组。负整数可能在范围检查失败空值可能在必填检查失败字符串可能在类型检查失败小数可能被错误截断后接受。它们处于不同处理阶段一条负数用例不能代替所有非法类型。多项无效条件同时出现时前一项错误还可能遮住后一项。假设一条请求既缺少资格字段金额又超过上限程序在缺字段处返回了错误并不能说明上限检查存在。若要检查金额拒绝应先让其他必需字段有效若接口规定错误优先级则另有理由检查同时无效时返回什么。对于本例计算函数拒绝的观察可以是指定错误类型以及没有应付金额。若它被用于实际订单系统页面报错后后台是否仍创建订单则属于更外层的行为需要在连接这些部件的范围观察。输入方法可以复用结论却不能从计算函数直接扩展为整项业务安全。分区和性质都要随真实规则调整一份测试集覆盖了已识别的四个金额分区可以说这四个分区都有代表输入不能说全部金额正确率为 100%。增加空值、类型和取整方面的分区后统计对象也随之变化。边界覆盖同样要说清范围、步长以及检查了哪些边界优惠门槛附近测得很细不表示合法上限也已验证。预期结果不能从程序当前输出反推。有些看起来合理的关系在优惠规则下反而错误。例如“购物金额提高应付金额不能下降”有资格的用户从 9,999 增加到 10,000 分应付金额会从 9,999 降至 9,000。这是规则造成的正常跳变。用直觉替代需求会让测试拒绝正确实现。更适合本例的关系是固定金额与另一项资格将非会员改为会员应付金额不应增加。但它单独仍很弱始终返回零的错误实现也符合。因此性质检查需要配合可信的具体金额明确能排除什么、不能排除什么。分组、边界和预期是一套连续判断规则决定哪些输入处理不同边界揭露处理切换的错误其他条件保证差异能显现输出核对再确认实际结果。增加一个输入的价值来自它对尚未解决问题的辨别力而不是它让用例表多了一行。来源ISTQB CTFL 官方入口v4.0.1 大纲中的等价类划分与边界值分析测试判定依据综述。范围判断 x≤10 与 x10 的辨别例依据大纲金额和资格规则为假设示例。GitHub 知识库