可容错软件自动生成系统--FTSAGS

摘要

在软件开发过程中采用避错设计、查错设计和容错设计技术是提高软件可靠性的基本途径.这里介绍了一种采用多个软件模块自动生成技术进行可靠性设计的系统.其主要功能是定义软件开发过程,指导、控制以使软件开发自动化.其目标是提供一个基于面向对象方法学的、高可靠性的软件开发平台.