论文标题
优化基于软件的组件测试的基于软件系统的可靠性
Optimising the reliability that can be claimed for a software-based system based on failure-free tests of its components
论文作者
论文摘要
这本简短的论文描述了一种数值方法，用于根据其各个组件的测试优化系统可靠性的保守置信度。这是Bishop和Povyakalo（Ress 2020）中确定的算法方法的替代方法。对于给定最大数量的组件测试，数值方法可以为任何任意系统结构得出最佳的测试计划。 优化方法基于线性编程，它比替代整数编程更有效。此外，对于任何给定的系统结构，只需对任何给定的系统结构执行一次优化过程，因为可以重新使用该解决方案，以计算出最大数量最大组件测试的最佳整数测试计划。 这种方法可能对通常使用整数编程方法实现的其他优化问题具有更广泛的应用。
This short paper describes a numerical method for optimising the conservative confidence bound on the reliability of a system based on tests of its individual components. This is an alternative to the algorithmic approaches identified in Bishop and Povyakalo (RESS 2020). For a given maximum number of component tests, the numerical method can derive an optimal test plan for any arbitrary system structure. The optimisation method is based on linear programming which is more efficient that the alternative integer programming. In addition, the optimisation process need only be performed once for any given system structure as the solution can be re-used to compute an optimal integer test plan for a different maximum number of component tests. This approach might have broader application to other optimisation problems that are normally implemented using integer programming methods.
