可预测的软件——通向可靠计算的捷径？

许多可靠性技术期望底层子系统具有某些行为，如果这些期望未得到满足，它们就会以混乱的方式失败。然而，在预期情况下，软件往往运行得相当好。本文建议，与其修复难以捉摸的漏洞或重写软件，不如改善程序所面临条件的可预测性。这种方法可能是一种提高软件可靠性更便宜、更快捷的途径。在识别了一些导致不可预测性的常见触发因素后，本文描述了在对抗不可预测性方面具有前景的三项工程原则，提出了一种对可预测性进行基准测试的方法，并概述了简要的研究议程。