温馨提示：由于个人手机设置不同，如果发现不能下载，请复制以下地址【https://www.wenke99.com/d-9967266.html】到电脑端继续下载（重复下载不扣费）。
1: 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。 2: 试题试卷类文档，如果标题没有明确说明有答案则都视为没有答案，请知晓。 3: 文件的所有权益归上传用户所有。 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。 5. 本站仅提供交流平台，并不能对任何下载内容负责。 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
本文（形式化验证讲义ppt课件.ppt）为本站会员（晟***）主动上传，文客久久仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私，请立即通知文客久久（发送邮件至hr@wenke99.com或直接QQ联系客服），我们立即给予删除！
软件的形式化理论和方法 主要内容 l软件开发过程和问题 l形式化方法简介 l形式化方法历史 l主要的形式化证明工具 l形式化方法的应用举例 l结论软件开发过程 l一般来说，软件开发的主要步骤大致如下 ： 提出问题并进行需求分析； 设计：包括功能和结构设计； 编码和构建； 调试； 发布，维护和升级。 l常用的开发模型：如传统的瀑布模型，较 新近的快速原型、迭代式开发模型等等软件开发的期望 l软件质量稳定，可靠性高 l尽量提高开发的效率 l尽量降低开发的成本 l问题：现在的情况怎么样？软件开发的实际情况 l软件开发的实际情况并不乐观 项目经常延误，预算经常超支 开发的后续阶段常发现许多前期设计错误，更 正的代价高昂 发布运行的软件中常常存在着许多错误，时常 崩溃 软件维护和更新工作的代价很高 l问题：这样的实际情况会造成什么问题？软件缺陷造成的损失软件缺陷造成的损失（2）软件问题的本质 l 极端复杂 规模：成万、成百万、甚至成千万行代码 系统组成部分之间异常复杂的直接与间接相互作用 静态结构与动态性质之间难以把握的复杂关系 l 多变性 异常丰富多彩的应用需求 需求的不断提升和变化 l 要求
Copyright © 2018-2021 Wenke99.com All rights reserved
工信部备案号：浙ICP备20026746号-2
公安局备案号：浙公网安备33038302330469号
本站为C2C交文档易平台，即用户上传的文档直接卖给下载用户，本站只是网络服务中间平台，所有原创文档下载所得归上传人所有，若您发现上传作品侵犯了您的权利，请立刻联系网站客服并提供证据，平台将在3个工作日内予以改正。
