種子公式

　Mills研究出通過已知缺陷（稱為種子bug）來估計程式當中潛在的、未知的缺陷數量。

其基本前提是，將測試隊伍分為兩個小組，一個小組事先將已知的共S個bug（種子）安插在程式里，然後，讓另一個測試小組儘可能發現程式的bug，假如他們發現了s個種子bug，則認為存在這樣一個等式：
已測試出的種子bug(s)/所有的種子bug(S)=已測試出的非種子bug(n)/全部的非種子bug(N)
則可以退出程式的總bug數為：N=S*n/s
其中n是實際測試中所發現的bug總數。如果n=N，說明所有的bug已經找出來，說明做的測試足夠充分。
但是這種假設本身的可能性就比較小，因為種子bug很難具有完全的代表性，根據相似系統確定的bug其結果可能差別很大。另外，認為設定程式的bug，這工作本身就比較困難，要將正確的程式改為錯誤的程式，會引起其它的一些問題，即插入1個缺陷可能會引起2~3個缺陷，而且缺陷相互之間可能存在相互影響或有關聯關係，雖然事先設定插入20個種子bug，但結果可能是在程式中插入了26、27個種子bug，所以按照上述計算的公式就不準確。