基于代码的软件可靠性技术研究

摘要：

本文在介绍软件可靠性概念的基础上,介绍基于代码的软件可靠性的技术研究,同时介绍Ada语言的基于代码的软件可靠性分析工具Adawise.

关键词： 代码 可靠性 Adawise 软件开发 编程语言

作者: 李冬红 佟金荣 战茅 赵燕君

作者单位: 北京系统工程研究所三室

会议类型: 国内会议

会议名称: 第十一届全国抗恶劣环境计算机学术年会

会议地点: 吉林通化

会议语种:中文

页码: 184-190

在线出版日期: 2001-08-01（万方平台首次上网日期，不代表论文的发表时间）