机构名称：
¥ 1.0
Avizienis 使用的短语“低概率”和“不太可能”没有量化，因此他的猜想和假设是不可测试的。但是，统计独立性，即不相关的故障，定义明确，在有关该技术的许多讨论中都暗示了这一点，并且一些从业者也假设了这一点 [MAR83, YOU85]。为了测试统计独立性，我们设计并执行了一项实验，其中两所大学的研究生和高年级本科生根据相同的需求规范独立准备了 27 个版本的程序。学生自己测试了程序，但每个程序都要经过由 200 个典型输入组成的实验验收程序。通过在根据应用程序的实际操作配置文件生成的一百万个输入上执行程序来模拟程序的操作使用情况。通过统计假设检验，我们得出结论，故障独立性假设并不适用于我们的程序，因此，使用基于此假设的模型进行的可靠性改进预测可能过于乐观。这就是我们得出的全部结论（见下文）。
对 KNIGHT & LEVESON 的批评的回应...
主要关键词
相关文件推荐
