静态测试
桌前检查
代码走查
代码审查
动态测试
黑盒测试
等价类划分:确定无效与有效等价类,设计用例尽可能多的覆盖有效类,设计用例只覆盖一个无效类。
边界值分析:处理边界情况时最容易出错,选取的测试数据应该恰等于,稍小于或稍大于边界值。
错误推测:基于以往的经验和直觉,参照以往的软件系统出现的错误,推测当前被测程序中可能存在的缺陷和错误,有针对性地设计测试用例。
因果图:
白盒测试
语句覆盖:每条语句至少执行一次。
判定覆盖:每个判定表达式至少获得一次“真”值和“假”值。
条件覆盖:每个判定语句中的每个条件应取到各种可能值。
判定/条件覆盖:同时满足判定覆盖和条件覆盖。
条件组合覆盖:每个判定中的各条件的每一种组合至少出现一次。
路径覆盖:选取足够多的测试数据,使程序的每条可能路径都至少执行一次。
基本路径覆盖:使程序的每条可能路径都至少执行一次。
循环覆盖:循环中每个条件都得到验证。