可信概念解析第一讲.pdfVIP

软件可信问题 项欣光 计算机科学与工程学院 主要内容 ? 软件可信问题 ? 基本概念（软件与质量） ? 软件发展 ? 可信软件技术研究计划 – NSFC：可信软件重大研究计划 – 863 ：高可信软件生产工具及集成环境 软件可信问题——可靠性、正确性 2004年12月20日，美空军第 422测试评估大队的一架F- 22猛禽战斗机因软件问题在 起飞过程中失控坠毁。2007 年2月9 日同样因软件问题延 迟在日本部署。 1996年6月4 日欧洲空间局 170万行代码 的阿丽亚娜火箭，发射后 37秒爆炸，损失6亿