《计算机科学技术面临的挑战高可信软件技术.ppt》由会员分享，可在线阅读，更多相关《计算机科学技术面临的挑战高可信软件技术.ppt（11页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、1计算机科学技术面临的挑战 高可信软件技术2软件的作用和地位n替代n集成n新的生活和工作方式软件在信息系统中处于主导地位。3软件的可信性质n可靠性（Reliability）在规定的环境下规定的时间内软件无失效运行的能力 n可靠安全性（Safety）软件运行不引起危险、灾难的能力 n保密安全性（Security）软件系统对数据和信息提供保密性、完整性、可用性、真实性保障的能力 n生存性（Survivability）软件在受到攻击或失效出现时连续提供服务并在规定时间内恢复所有服务的能力 4高可信软件系统n高可信软件系统要求能充分地证明该软件系统以满足一些关键性质的方式提供所需的服务。软件作为人类连
2、续的高度复杂的智力产品，其科学原理和工程规律远未得到充分的认识，从而缺乏有效地生产高可信软件的软件技术。5 计算机科学技术中承受着最严峻的挑战的技术是软件技术。6科学问题软件系统的行为特征是什么？如何定性/定量地描述软件的行为？各类复杂的软件结构和系统对应的系统行为？语义理论7科学问题软件可信性质与软件行为的关系？如何描述软件可信性质及其与软件行为的关系？验证理论8科学问题面向软件可信性质的设计和推理？如何将软件可信性质（非操作性的）融入软件设计（操作性）？设计理论9科学问题软件系统的可信性质的确认？如何发现和评估软件系统是否具有可信性质？评估理论10远景形式化工程方法n形式化方法与主流方法的集成n形式化方法流派间的集成n轻量级的形式化方法n面向模型和程序的形式化技术11谢谢！