软件容错及一个N文本容错系统的实现  

作　　者：吴平[1] 陈望梅[1] 

机构地区：[1]北京航空航天大学计算机科学系

出　　处：《航空计算技术》1991年第1期12-20,共9页Aeronautical Computing Technique

摘　　要：软件容错是提高软件可靠性的重要方法之一。我们可以认为软件可靠性提高技术有两种:容错技术与非容错技术。非容错技术是应用各种方法使软件不舍错误,即力求使软件在成为产品以前达到完美无缺,软件说明书设计、结构设计、软件测试等避错、除错方法都属于非容错技术。可是随着计算机的应用领域越来越广。软件越来越复杂。而人的思维是有局限性的,因而软件设计的缺陷是不可避免的。同时软件的复杂性又决定了我们不可能进行软件的“穷举测试”。因此对要求高可靠性的系统,仅仅用非容错方法是不够的。如核反应堆系统、飞行控制系统、航空专业应用。都必须采用容错技术来进一步提高其可靠性,因为容错软件可以系统发生错误的情况下,保证系纯正常运行。

关 键 词：软件 容错系统 N文本 可靠性 

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