计算机科学技面临的挑战 —高可信软件技术.pptVIP

计算机科学技术面临的挑战 —高可信软件技术 陈火旺、王戟 国防科技大学计算机学院 软件的作用和地位 替代 集成 新的生活和工作方式 软件的可信性质 可靠性（Reliability） 在规定的环境下规定的时间内软件无失效运行的能力 可靠安全性（Safety） 软件运行不引起危险、灾难的能力 保密安全性（Security） 软件系统对数据和信息提供保密性、完整性、可用性、真实性保障的能力 生存性（Survivability ） 软件在受到攻击或失效出现时连续提供服务并在规定时间内恢复所有服务的能力 高可信软件系统 高可信软件系统要求能充分地证明该软件系统以满足一些关键性质的方式提供所需的服务。 科学问题 科学问题 科学问题 科学问题 远景—形式化工程方法 形式化方法与主流方法的集成 形式化方法流派间的集成 轻量级的形式化方法 面向模型和程序的形式化技术 * * 软件在信息系统中处于主导地位。 软件作为人类连续的高度复杂的智力产品，其科学原理和工程规律远未得到充分的认识，从而缺乏有效地生产高可信软件的软件技术。 计算机科学技术中承受着最严峻的挑战的技术是软件技术。 软件系统的行为特征是什么？如何定性/定量地描述软件的行为？各类复杂的软件结构和系统对应的系统行为？ 语义理论 软件可信性质与软件行为的关系？如何描述软件可信性质及其与软件行为的关系？ 验证理论 面向软件可信性质的设计和推理？如何将软件可信性质（非操作性的）融入软件设计（操作性）？ 设计理论 软件系统的可信性质的确认？如何发现和评估软件系统是否具有可信性质？ 评估理论 *