欢迎来到三一办公! | 帮助中心 三一办公31ppt.com(应用文档模板下载平台)
三一办公
全部分类
  • 办公文档>
  • PPT模板>
  • 建筑/施工/环境>
  • 毕业设计>
  • 工程图纸>
  • 教育教学>
  • 素材源码>
  • 生活休闲>
  • 临时分类>
  • ImageVerifierCode 换一换
    首页 三一办公 > 资源分类 > PPT文档下载  

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

    • 资源ID:6097155       资源大小:241.01KB        全文页数:11页
    • 资源格式: PPT        下载积分:10金币
    快捷下载 游客一键下载
    会员登录下载
    三方登录下载: 微信开放平台登录 QQ登录  
    下载资源需要10金币
    邮箱/手机:
    温馨提示:
    用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)
    支付方式: 支付宝    微信支付   
    验证码:   换一换

    加入VIP免费专享
     
    账号:
    密码:
    验证码:   换一换
      忘记密码?
        
    友情提示
    2、PDF文件下载后,可能会被浏览器默认打开,此种情况可以点击浏览器菜单,保存网页到桌面,就可以正常下载了。
    3、本站不支持迅雷下载,请使用电脑自带的IE浏览器,或者360浏览器、谷歌浏览器下载即可。
    4、本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰。
    5、试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。

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

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

    注意事项

    本文(【大学课件】计算机科学技术面临的挑战 高可信软件技术.ppt)为本站会员(sccc)主动上传,三一办公仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知三一办公(点击联系客服),我们立即给予删除!

    温馨提示:如果因为网速或其他原因下载失败请重新下载,重复下载不扣分。




    备案号:宁ICP备20000045号-2

    经营许可证:宁B2-20210002

    宁公网安备 64010402000987号

    三一办公
    收起
    展开