Ada语言代码可靠性的研究.pdfVIP

李冬红战茅赵燕君佟金荣 (北京系统工程研究所软件室) 【摘 要】本文在介绍Ada95语言特点的基础上，重点介绍Ada语言编程所遵循的一系列规则 以提高代码的可靠性并降低软件开发成本。 【关键字】ada95标准可靠性规则 一、背景 Ada语言是美国国防部根据国防部的各种应用(特别是嵌入式系统)的要求进行需求分析，提出 语言应满足的备项要求，按照软件工程的要求组织实施研究开发的高级编程语言。自问世以来，Ada 1815A)， 语言得到世界各国的广泛关注，相继成为美国、欧洲等西方国家的军用标准(ISO／MIL—STD 1383—92)。 我国也于1992年把Ada语言制定为我国军用标准语言(GJB 随着计算机应用的不断发展，Ada语言也面临更高的需求。为此，美国国防部对Ada语言进行了 修订，于1995年推出了新的语言标准Ada95(ISO／IEC