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,所以按照上述计算的公式就不准确。