（1）空测试对任何软件都是不充分的。
（2）对任何软件都存在有限的充分测试集合。
（3）如果一个软件系统在一个测试数据集合上的测试是充分的，那么再多测试一些数据也应该是充分的。这一特性称为单调性。
（4）即使对软件所有成分都进行了充分的测试，也并不意味着整个软件的测试已经充分了。这一特性称为非复合性。
（5）即使对一个软件系统整体的测试是充分的，也并不意味着软件系统中各个成分都已经充分地得到了测试。这个特性称为非分解性。
（6）软件测试的充分性应该与软件的需求和软件的实现都相关。
（7）软件越复杂，需要的测试数据就越多。这一特性称为复杂性。
（8）测试得越多，进一步测试所能得到的充分性增长就越少。这一特性称为回报递减率。

“（2）对任何软件都存在有限的充分测试集合”

这话不理解，楼主是否可以解释一下？

如果是一个有限的充分测试集合，从计算理论上说，就是可以计算的。

我是这样理解的：对软件进行充分测试，所需要的测试用例数在理论上是有限的。虽然在实际测试工作中，不一定也没必要达到这样的充分性。