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