软件可靠性量化的实用性和实用性
The Utility and Practicality of Quantifying Software Reliability
摘要：
我们认为，量化软件的可靠性是很重要的，在证明系统级的风险是尽可能低的合理可行（ALARP）。此外，我们证明，这种量化是可能的，在至少一个有意义的情况下。然而，这不可能在每一种情况下都切实可行。这意味着它不太可能作为一个明确的目标列入标准。因此，对于那些软件可靠性可以量化的情况，仅仅遵循标准可能会导致错过降低风险的机会。
英文摘要：
We argue that quantifying software reliability is important in demonstrating that system-level risks are As Low As Reasonably Practicable (ALARP). Furthermore, we demonstrate that such quantification is possible in at least one meaningful case. It is, however, unlikely to be practical in every case. This means it is unlikely to be included as an explicit objective in standards. Hence, for those cases where software reliability can be quantified, merely following a standard may lead to risk-reduction opportunities being missed.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
