挑战 —高可信软件技术.pptVIP

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