如何通过分析检查软件的可靠性？

Question

我们如何分析软件的可靠性？如何检查任何应用程序或产品的可靠性？

Answer 1

首先尝试定义“软件可靠性”以及量化它的方法。

如果您完成此任务，您可能可以“检查”此特征。

Answer 2

检查可靠性的最有效方法是运行软件并收集有关其实际可靠性的统计信息。在硬件和软件级别上，有太多的变量可以在执行之前实际分析可靠性，可能的例外是拥有大量资源的组，例如NASA。

Answer 3

有多种方法可以确定某个软件是否符合规范，但大多数真正有效的方法是通过构造来实现的，即通过约束软件的编写方式使其易于显示是对的。查看VDM，Z和B工具包，了解执行此类操作的方案。请注意，如果您不在安全关键系统环境中，这些往往是昂贵的编程方式。

证明规范本身的正确性非常重要！

Answer 4

可靠性是关于正确服务的连续性。

评估软件可靠性的最佳方法是动态分析，换句话说：测试。

为了减少测试时间，您可能希望应用与操作不同的输入配置文件。

应用各种输入分布，测量软件运行的时间而不会出现故障。然后找出您的输入分布距离操作配置文件的距离，并得出软件运行配置文件的运行时间的结论。

这涉及建模技术，如马尔可夫链或随机Petri网。

为了进一步挖掘，有用的关键字是：故障预测和统计测试。