可信软件及测试.pptxVIP

可信软件及测试1.软件面临的问题从与软件相关的一些重大事故谈起软件事故典型案例2011年7月23日20时30分05秒，甬温线发生动车列车追尾事故，造成40人死亡、172人受伤，中断行车32小时35分，直接经济损失19371.65万元。原因分析：经国务院调查组调查后证实是因为LKD2-T1型列控中心设备系统存在严重设计缺陷和重大安全隐，导致本应显示为红灯的区间信号机错误地显示为绿灯。2007年10月30日，奥运门票第二阶段预售首日2006年3月2日14点10分，沪深大盘忽然发生罕见大跳水，7分钟之内上证指数跌去近20点。原因分析： 当日下午刚上市的招商银行认股权证成交量巨大，导致其行情显示时总成交量字段溢出，使其价格在股票分析软件上成为一条不再波动的直线，让市场产生了恐慌。2005年4月20日上午10时56分，中国银联系统通信网络和主机出现故障，造成辖内跨行交易全部中断。这是2002年中国银联成立以来，首次全国性因系统故障造成的跨行交易全面瘫痪。 原因：银联新近准备上线的某外围设备的隐性缺陷诱发了跨行交易系统主机的缺陷，使主机发生故障 2003年8月14日下午4时10分，美国及加拿大部分地区发生历史上最大的停电事故。15日晚逐步恢复。后果：经济损失250亿到300亿之间原因分析 俄亥俄州的第一能源（FirstEnergy）公司x下属的电力监测与控制管理系统软件 XA/21 出现错误，