首页

基于程序不变量的并发软件可靠性计算 03月22日

【摘要】软件可靠性是评估软件系统质量的一个重要属性,传统意义上,一个软件系统的可靠性是根据软件测试的输出计算得到。这样得出的可靠性,存在以下的缺点:1)由于失效数据来自测试的输入或输出,仅反映了系统行为的一部分,如果使用输出来计算可靠性,不能完全反映整个系统的可靠性,因而是不准确的;2)由于测试是基于操作剖面,因此,获得的可靠性是对在某个环境下的一些特定的操作。它可能是充足的,因为系统是在这些特定 […]