|
知识路径: > 计算机网络原理 > 计算机网络基础知识 > 系统配置与性能评价 >
|
相关知识点:2个
|
|
|
|
故障植入模型是一个面向错误数的数学模型,其目的是以程序的错误数作为衡量可靠性的标准,故障植入模型的基本假设如下:
|
|
|
|
|
(3)程序中的固有错误数和人为错误被检测到的概率相同。
|
|
|
|
用N0表示固有错误数,m表示植入的错误数,n表示检测到的错误数,其中检测到的植入错误数为k,用最大似然法求解可得固有错误数N0的点估计值为
|
|
|
|
考虑到实施植入错误时遇到的困难,Basin在1974年提出了两步查错法,这个方法是由两个错误检测人员独立对程序进行测试,检测到的错误立即改正。用N0表示程序中的固有错误数,m表示第一个检测员检测到的错误数,n表示第二个检测员检测到的错误数,如果两个检测员检测到的相同错误数为k,则程序固有错误数N0的点估计值为
|
|
|
|