关于复杂系统安全分析的统计方面的评论

我们使用数理统计方法分析复杂系统的安全问题，用于测试模拟所考虑系统运行的代码的输出变量，当输入变量不确定时。我们定义了一个代码的黑盒模型，并推导出公式来计算在给定置信水平下达到预定安全度量所需的运行次数。为了展示不同统计方法的能力，我们首先研究了一个具有未知和已知分布函数的输出变量。总体结论是，不同的方法在确保给定安全水平所需的运行次数上没有产生大的差异。在分析几个统计相关的输出变量的情况时，我们得出结论，单独测试变量可能导致错误的、与安全相关的决策，并产生不可预见的后果。我们建议了两种方法：符号检验和容忍区间方法，用于测试多个相互依赖的输出变量。