本文讲述的了:什么是充分性,充分性准则是什么。

(1)空测试对任何软件都是不充分的。

(2)对任何软件都存在有限的充分测试集合。

(3)如果一个软件系统在一个测试数据集合上的测试是充分的,那么再多测试一些数据也应该是充分的。这一特性称为单调性。

(4)即使对软件所有成分都进行了充分的测试,也并不意味着整个软件的测试已经充分了。这一特性称为非复合性。

(5)即使对一个软件系统整体的测试是充分的,也并不意味着软件系统中各个成分都已经充分地得到了测试。这个特性称为非分解性。

(6)软件测试的充分性应该与软件的需求和软件的实现都相关。

(7)软件越复杂,需要的测试数据越多。这一特性称为复杂性。

(8)测试得越多,进一步测试所能得到的充分性增长越少。这一特性称为回报递减率。