一个以指令流为参数的软件错误模型

本模型以ＣＰＵ执行的指令流为参数对软件错误进行计数统计，使发现的错误数与软件的性能紧密联系在一起。在给定的软件可靠性要求下，随机选取测试案例时，模型对一条固定的路径所需的测试次数作出了估计，估计时对测试可能引入的新错误作了一定的考虑。