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

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

文档评论(0)

1亿VIP精品文档

相关文档