论文部分内容阅读
该文概述了两种软件可靠性早期预计方法（SR方法和MR方法）的主要内容。该文中结合某工程项目飞行控制系统软件实例，应用基于模型的软件可靠性预计评估方法及工具SRP4.0，对SR方法进行了验证；结合某型铁路计算机联锁系统容错软件实例，应用SRPP4.0， 对MR方法进行了验证，结果说明，软件可靠性早期预计方法具有一定的实用性及工程应用价值。