可信软件概述

《可信软件概述》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第三讲可信软件概述1内容一、软件面临的问题二、问题分析三、从质量到可信四、可信软件基本方案2一、软件面临的问题从与软件相关的一些重大事故谈起3软件事故典型案例2007年10月30日，奥运门票第二阶段阶段预售首日……科技奥运？42007年8月14日14时，美国洛杉矶国际机场电脑发生故障，60个航班的2万旅客无法入关。直至次日凌晨３时５０分，所有滞留旅客才全部入关。原因分析：包含旅客姓名和犯罪记录的部分数据系统(海关和边境保护系统：决定旅客是否可以进入美国领土)瘫痪2004年9月发生过类似问题52006年3月2日14点10分，沪深大盘忽然发生罕见大跳水，7分钟之内上证指数跌去近20点。原因分析：当

2、日下午刚上市的招商银行认股权证成交量巨大，导致其行情显示时总成交量字段溢出，使其价格在股票分析软件上成为一条不再波动的直线，让市场产生了恐慌。62005年4月20日上午10时56分，中国银联系统通信网络和主机出现故障，造成辖内跨行交易全部中断。这是2002年中国银联成立以来，首次全国性因系统故障造成的跨行交易全面瘫痪。原因：银联新近准备上线的某外围设备的隐性缺陷诱发了跨行交易系统主机的缺陷，使主机发生故障软件能否提供支持?72003年8月14日下午4时10分，美国及加拿大部分地区发生历史上最大的停电事故。15日晚逐步恢复后果：经济损失250亿到300亿之间原因分析俄亥俄州的第一能源（First

3、Energy）公司x下属的电力监测与控制管理系统软件XA/21出现错误，系统中重要的预警部分出现严重故障，负责预警服务的主服务器与备份服务器连接失控，错误没有得到及时通报和处理，最终多个重要设备出现故障，导致大规模停电2003年国际十大81996年6月4日，欧洲空间局的阿丽亚娜火箭，发射后37秒爆炸。损失6亿美元原因分析：ADA语言编写的一段程序，将一个64位浮点整数转换为16位有符号整数时，产生溢出，导致系统惯性参考系统完全崩溃91994年12月3日，美国弗吉尼亚州Lynchburg大学的T.R.Nicely博士使用装有Pentium芯片的计算机时发现错误：（4195835/3145727)

4、*3145727-4195835==0?后果：Intel花费4亿多美元更换缺陷芯片原因：Pentium刻录了一个软件缺陷（浮点除法）102002年6月28日美国商务部的国家标准技术研究所（NIST）发布报告：“据推测，（美国）由于软件缺陷而引起的损失额每年高达595亿美元。这一数字相当于美国国内生产总值的0.6%”。11二、问题分析从质量谈起1、什么是质量？2、什么是软件质量？3、为什么软件质量保障困难？121、什么是“质量”“好坏程度”ISO9000(2000版)质量是（产品）的一组固有特性满足要求的程度13特性：可区分的特征物理特征：机械运动、温度、电流等化学特征：成分组合、合成、分解等固

5、有特性：某事物中本来就有的、持久的特征直径、硬度、高度、频率赋予特性：对事物增加的特性价格、位置二者有一定的相对性14要求：显式要求：有明确规定的要求（行业标准或用户指定）计算机屏幕尺寸隐式要求：约定成俗的要求大楼要有楼梯产品质量特性：内部特性、外部特性满足的程度！满足的成本!152、什么是软件质量？软件质量是：软件产品满足规定的和隐含的与需求能力有关的全部特征和特性16来源于BarryBoehm的软件质量模型形成了ISO-9126的软件质量模型框架影响了软件生存周期中的不同阶段……区分不同的软件!17BarryBoehm的软件质量模型阐述性互用性数据公开性正确性可靠性效率完整性可用性可维护

6、性可测试性灵活性可移植性重复性连贯性容错性执行效率/储存效率存取控制/存取检查可训练沟通良好简单性易操作的工具自我操作性扩展性一般性模块性软件系统独立性机器独立性通讯公开性正确性可操作性18ISO-9126的软件质量模型框架外部测量内部质量属性外部质量属性使用质量属性过程质量过程过程测量内部测量使用质量的测量软件产品软件产品的效用使用条件影响影响影响依赖依赖依赖过程质量有助于提高产品质量产品质量有助于提高使用质量19用户质量要求使用质量内部质量需求内部质量外部质量需求外部质量使用和反馈确认验证有助于确定指示指示有助于确定软件生存周期中的质量20外部和内部质量功能性可靠性易用性效率维护性可移植性

7、适合性准确性互操作性保密安全性功能性的依从性成熟性容错性易恢复性可靠性的依从性易理解性易学性易操作性吸引性易用性的依从性时间特性资源利用性效率的依从性易分析性易改变性稳定性易测试性维护性的依从性适应性易安装性共存性易替换性可移植性的依从性***的依从性：软件产品遵循与***相关的标准、约定或法规以及类似规定的能力21使用质量有效性生产率安全性满意度223、为什么软件质量保障困难？（1）软件产品与需