%0 Journal Article
%T 程序错误的形式化定义和程序容错能力的分级 Formal definition of program faults and hierarchy of program fault-tolerant abilities
%A 刘晓建
%A 朱智林
%A 杜慧秋
%J 兰州大学学报(自然科学版)
%D 2016
%X 针对程序失效相关概念的形式化定义和程序容错能力的分级,分析了程序缺陷、状态偏差以及程序失效等基本概念之间的差异,并在基于状态的程序行为理论的框架下,形式化定义了这些概念.从程序安全和活性的可满足性方面,给出了一个程序容错能力的分级方案,有助于相关概念的准确理解以及系统的对现有方法容错能力的区分
%K 程序失效
%K 程序语义
%K 容错
%K 形式化方法
%K 软件安全性
%U http://ldzk.cbpt.cnki.net/WKE/WebPublication/paperDigest.aspx?paperID=066ca4e2-a15e-4690-b450-3a21b28c2df2