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

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

  1. 1、本文档共11页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
计算机科学技术面临的挑战 —高可信软件技术 陈火旺、王戟 国防科技大学计算机学院 软件的作用和地位 替代 集成 新的生活和工作方式 软件的可信性质 可靠性(Reliability) 在规定的环境下规定的时间内软件无失效运行的能力 可靠安全性(Safety) 软件运行不引起危险、灾难的能力 必威体育官网网址安全性(Security) 软件系统对数据和信息提供必威体育官网网址性、完整性、可用性、真实性保障的能力 生存性(Survivability ) 软件在受到攻击或失效出现时连续提供服务并在规定时间内恢复所有服务的能力 高可信软件系统 高可信软件系统要求能充分地证明该软件系统以满足一些关键性质的方式提供所需的服务。 科学问题 科学问题 科学问题 科学问题 远景—形式化工程方法 形式化方法与主流方法的集成 形式化方法流派间的集成 轻量级的形式化方法 面向模型和程序的形式化技术 * * 软件在信息系统中处于主导地位。 软件作为人类连续的高度复杂的智力产品,其科学原理和工程规律远未得到充分的认识,从而缺乏有效地生产高可信软件的软件技术。 计算机科学技术中承受着最严峻的挑战的技术是软件技术。 软件系统的行为特征是什么?如何定性/定量地描述软件的行为?各类复杂的软件结构和系统对应的系统行为? 语义理论 软件可信性质与软件行为的关系?如何描述软件可信性质及其与软件行为的关系? 验证理论 面向软件可信性质的设计和推理?如何将软件可信性质(非操作性的)融入软件设计(操作性)? 设计理论 软件系统的可信性质的确认?如何发现和评估软件系统是否具有可信性质? 评估理论 *

文档评论(0)

小玉儿 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档