基于组件的无故障测试优化基于软件的系统的可靠性
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
