软件过程与质量 - 计算机系主页.ppt

李宣东 ;提 纲; 计算机、软件……;;;美国电力监测与控制管理系统;原因是空管软件时钟缺陷;东京证券交易软件;“熊猫烧香”病毒;互联网软件安全的几个数据;误杀百万电脑 诺顿致歉;病毒和木马;千年虫问题;2002年NIST估计软件问题造成美国年经济损失约600亿美元，占GDP的0.6%;我们的信息基础设施 正建立在脆弱的软件之上;为什么？;Microsoft的承诺;深入认识软件系统;Software, the Great Enabler;深入认识软件系统;证明 判定;什么是可信?;可信软件;软件可信性;人与软件系统之间的信任关系;软件系统的认识与理解 直接的认识与理解 分析、测试、验证 间接的认识与理解 第三方推荐、各种网络传播等 从认识、理解到信任 软件过程的管理与控?? 过程管理 质量控制 软件系统的运行保障 容错 监控 ;软件分析;软件测试;无法穷尽测试;形式验证;建模;推理验证（程序验证）;软件过程的管理与控制;软件监控;软件容错;软件可信性度量与评估;软件系统的认识与理解 直接的认识与理解 制品可信 分析、测试、验证 间接的认识与理解 第三方推荐、各种网络传播等 软件过程的管理与控制 过程管理 过程可信 质量控制 软件系统的运行保障 容错 运行可信 监控 ;基于认识与理解途径的可信软件性度量与评估;认识与理解的途径;核心问题;怎样度量与评估？;度量规约;度量指标的设定;度量规约和支撑工具举例;基于认识与理解途径的可信性度量与评估框架; 基于认识与理解的 可信性度量与评估框架; 基于认识与理解的 可信性度量与评估框架;可信性判定（度量与评估）;结 语;问题？？？