軟件測試充分性準則

（ 1 ）空測試對任何軟件都是不充分的。
（ 2 ）對任何軟件都存在有限的充分測試集合。
（ 3 ）如果一個軟件系統在一個測試數據集合上的測試是充分的，那么再多測試一些數據也應該是充分的。這一特性稱為單調性。
（ 4 ）即使對軟件所有成分都進行了充分的測試，也并不意味著整個軟件的測試已經充分了。這一特性稱為非復合性。
（ 5 ）即使對一個軟件系統整體的測試是充分的，也并不意味著軟件系統中各個成分都已經充分地得到了測試。這個特性稱為非分解性。
（ 6 ）軟件測試的充分性應該與軟件的需求和軟件的實現都相關。
（ 7 ）軟件越復雜，需要的測試數據就越多。這一特性稱為復雜性。
（ 8 ）測試得越多，進一步測試所能得到的充分性增長就越少。這一特性稱為回報遞減率。