几种范畴划分测试充分性准则的比较

选择测试充分性准则对软件的测试是至关重要的。本文对范畴划分(category—partition)测试中的all—combination、each—choice—used和base—choice—coverage这三个充分性准则在揭错能力、软件可靠性、测试开销这几个方面进行分析和比较，并给出一个量化的比较结果，帮助测试员选择测试充分性准则。最后对基于票据计算的形式规格说明的例子进行了分析。