文档介绍：软件质量软件质量 1 /50 高级软件工程第第七七讲讲软件质量软件质量软件质量软件质量 2 /50 高级软件工程内容一、软件面临的问题二、问题分析三、从质量到可信四、可信软件基本方案五、质量度量软件质量软件质量 3 /50 高级软件工程一、软件面临的问题从与软件相关的一些重大事故谈起软件质量软件质量 4 /50 高级软件工程***深圳福彩***深圳福彩篡改数据欲骗篡改数据欲骗 3305 3305 万巨奖万巨奖?事件: 2009 年6月9日,双色球 2009066 期开奖,全国共中出一等奖 9注,其中深圳有 5注。深圳市福彩中心在开奖(程序)结束后发现系统出现异常。经多次数据检验, 工作人员判断,福彩中心销售系统疑被非法入侵,中奖彩票数据记录被人为篡改, 5注一等奖中奖数据系伪造。 6月10日凌晨 2时,福彩中心工作人员报案?结果:经调查,这是一起企图利用计算机网络信息系统技术诈骗彩票奖金的案件,所涉金额高达 3305 万元?原因:深圳市某信息技术公司软件开发工程师程某,利用在深圳福彩中心实施其它技术合作项目的机会,通过木马攻击程序,恶意篡改彩票数据,以达到伪造双色球一等奖中奖事实软件质量软件质量 5 /50 高级软件工程?2007 年10月30日,奥运门票第二阶段阶段预售首日……科技奥运? 软件质量软件质量 6 /50 高级软件工程?2007 年8月14日14时,美国洛杉矶国际机场电脑发生故障, 60个航班的 2万旅客无法入关。直至次日凌晨3时50分,所有滞留旅客才全部入关。?原因分析: 包含旅客姓名和犯罪记录的部分数据系统(海关和边境保护系统: 决定旅客是否可以进入美国领土)瘫痪 2004 年9月发生过类似问题软件质量软件质量 7 /50 高级软件工程?2006 年3月2日14点10分,沪深大盘忽然发生罕见大跳水, 7分钟之内上证指数跌去近 20 点。?原因分析: 当日下午刚上市的招商银行认股权证成交量巨大,导致其行情显示时总成交量字段溢出,使其价格在股票分析软件上成为一条不再波动的直线,让市场产生了恐慌。软件质量软件质量 8 /50 高级软件工程?2005 年4月20日上午 10时56分,中国银联系统通信网络和主机出现故障,造成辖内跨行交易全部中断。这是 2002 年中国银联成立以来,首次全国性因系统故障造成的跨行交易全面瘫痪。?原因:银联新近准备上线的某外围设备的隐性缺陷诱发了跨行交易系统主机的缺陷, 使主机发生故障软件能否提供支持? 软件质量软件质量 9 /50 高级软件工程?2003 年8月14日下午 4时10分,美国及加拿大部分地区发生历史上最大的停电事故。 15日晚逐步恢复?后果:经济损失 250 亿到 300 亿之间?原因分析俄亥俄州的第一能源( FirstEnergy )公司 x下属的电力监测与控制管理系统软件 XA/21 出现错误, 系统中重要的预警部分出现严重故障,负责预警服务的主服务器与备份服务器连接失控, 错误没有得到及时通报和处理,最终多个重要设备出现故障,导致大规模停电 2003 年国际十大软件质量软件质量 10 /50 高级软件工程?1996 年6月4日,欧洲空间局的阿丽亚娜火箭, 发射后 37秒爆炸。损失 6亿美元?原因分析: ADA 语言编写的一段程序,将一个 64位浮点整数转换为 16位有符号整数时,产生溢出, 导致系统惯性参考系统完全崩溃