关键词:程序不变量;软件可靠性;冗余不变量
0 引言(Introduction)
软件可靠性是描述系统质量的重要度量指标,一般与软件缺陷和故障直接相关[1-2]。传统方法往往只关注实际输出与期望输出的差异,忽略了程序内部的运(试读)...