程序错误的形式化定义和程序容错能力的分级  

Formal definition of program faults and hierarchy of program fault-tolerant abilities

作　　者：刘晓建[1] 朱智林[2] 杜慧秋[2] 

机构地区：[1]西安科技大学计算机学院,西安710054 [2]山东工商学院信息与电子工程学院,山东烟台264005

出　　处：《兰州大学学报（自然科学版）》2016年第4期557-563,共7页Journal of Lanzhou University(Natural Sciences)

基　　金：陕西省教育厅科研计划项目(2013JK1188);山东省自然科学基金项目(ZR2012FL11);西安科技大学博士后启动基金项目(2013QDJ023);国家自然科学基金煤炭联合基金项目(U1261114)

摘　　要：针对程序失效相关概念的形式化定义和程序容错能力的分级,分析了程序缺陷、状态偏差以及程序失效等基本概念之间的差异,并在基于状态的程序行为理论的框架下,形式化定义了这些概念.从程序安全和活性的可满足性方面,给出了一个程序容错能力的分级方案,有助于相关概念的准确理解以及系统的对现有方法容错能力的区分.Two issues were addressed：the formal definitions of the concepts relevant to program faults,and the comparison and classification of program fault-tolerant abilities.First,the subtle differences were analyzed between these basic concepts：faults,errors and failures,and represented their formal definitions by using the state-based theory of program behavior;then a hierarchy for software fault-tolerant abilities was proposed from the aspect of satisfying the safety and liveness properties.The main purpose of this work was to facilitate an accurate understanding of basic concepts and classifying fault-tolerant abilities of different approaches in a systematic way.

关 键 词：程序失效 程序语义 容错 形式化方法 软件安全性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]