黑盒测试:
等价类划分法:有效等价类、无效等价类。
边界值分析法:选取正好等于、刚好大于、刚好小于 边界的值作为测试数据。
因果图:左结点表示输入状态(或称原因),右结点表示输出状态(或称结果)。
白盒测试:
从低到高:
语句覆盖:选择足够的测试用例,使得程序中每个语句至少都能被执行一次。
判定覆盖(也称为分支覆盖):执行足够的测试用例,使得程序中的每一个分支至少都通过一次(仅要求取到每一个结果)。
条件覆盖:执行足够的测试用例,使程序中每个判断的每个条件的每个可能取值至少执行一次;
判定/条件覆盖:执行足够的测试用例,使得判定中每个条件取到各种可能的值,并使每个判定取到各种可能的结果(所有结果被取过)。
条件组合覆盖:执行足够的例子,使得每个判定中条件的各种可能组合都至少出现一次。
基本路径测试:设计足够多的测试用例,运行所测程序,要覆盖程序中所有可能的路径。这是最强的覆盖准则。但在路径数目很大时,真正做到完全覆盖是很困难的,必须把覆盖路径数目压缩到一定限度。