软件容错及一个N文本容错系统的实现 |
| |
引用本文: | 吴平,陈望梅.软件容错及一个N文本容错系统的实现[J].航空计算技术,1991(1):12-20. |
| |
作者姓名: | 吴平 陈望梅 |
| |
作者单位: | 北京航空航天大学计算机科学系,北京航空航天大学计算机科学系 |
| |
摘 要: | 软件容错是提高软件可靠性的重要方法之一。我们可以认为软件可靠性提高技术有两种:容错技术与非容错技术。非容错技术是应用各种方法使软件不舍错误,即力求使软件在成为产品以前达到完美无缺,软件说明书设计、结构设计、软件测试等避错、除错方法都属于非容错技术。可是随着计算机的应用领域越来越广。软件越来越复杂。而人的思维是有局限性的,因而软件设计的缺陷是不可避免的。同时软件的复杂性又决定了我们不可能进行软件的“穷举测试”。因此对要求高可靠性的系统,仅仅用非容错方法是不够的。如核反应堆系统、飞行控制系统、航空专业应用。都必须采用容错技术来进一步提高其可靠性,因为容错软件可以系统发生错误的情况下,保证系纯正常运行。
|
关 键 词: | 软件 容错系统 N文本 可靠性 |
本文献已被 CNKI 维普 等数据库收录! |
|