论文部分内容阅读
可靠性是软件系统质量需求中的一个重要指标，而软件可靠性建模为人们提供了一种评估软件可靠性的方法，能够在软件质量控制方面有效地提供决策依据。无论是曾经受到广泛关注的黑盒方法，还是现在大量研究的白盒方法，这些模型都试图越来越精确地刻画软件的可靠性。然而，这些模型都是将软件独立在运行环境之外，只是纯粹地、抽象地考虑软件本身，完全忽略了软件所依赖的操作系统和运行环境对可靠性的影响。将软件运行所依赖的系统调用纳入了考虑范畴，考虑了软件中的多种失效模式（内核态失效、用户态失效），同时对系统中的错误传播行为进行了建模，