软件测试方法与技术5.PDF

软件测试方法与技术 (01)-软件测试简介 陈振宇 南京大学软件学院 /zychen 为什么需要软件测试？ 软件无处不在 3 飞行控制软件 霍尼韦尔的飞行控制计算机使用了超过150万条软件代码， 是波音787客机最复杂的组件之一。现代飞机用包含电子 信号的数字飞行控制系统替代了笨重、相对较慢的机械飞 行系统。飞行控制计算机对来自飞行员摇杆的信号进行转 换，然后向执行器发出电子命令，以此移动操控面。此举 不仅将提升飞机的性能，确保飞机在湍流中平稳飞行，同 时还能减轻飞机重量，让其更易于操控。 4 北美大停电 持续了29个小时的大面积停电，不仅给 5000万美国人和加拿大人的生活带来极大 不便，而且造成的直接和间接经济损失也 不下三百亿美元。 软件事故  NASA’s Mars lander: September Ariane 5: 1999, crashed due to a units exception-handling integration fault bug : forced self destruct on maiden Mars Polar Lander crash flight (64-bit to 16-bit conversion: about site? 370 million $ lost)  Major failures: Ariane 5 explosion, Mars Polar Lander, Intel’s Pentium FDIV bug THERAC-25 design  Poor testing of safety-critical software can cost lives :  THERAC-25 radiation machine: 3 dead 6 安全关键软件故障 2012年11月，美国福特公司召回8.9万辆汽车，原因是 汽车冷却系统的监控软件存在故障，会导致发动机在运行 时产生过热现象，并已至少发生了9起由此引起的汽车失 火事故； 2011年7月23 日，“甬温线”动车追尾事故造成40人 死亡、172人受伤。事故的主要原因之一是列控中心设备 中的自检模块软件存在严重设计缺陷，未将系统导向安全 侧； 2007年10月16 日，发生在德国弗鲁蒂根（Frutigen） 地区的勒奇山基底隧道（Lötschberg-Basistunnel）附近 的列车脱轨事故。该脱轨事故是由于ETCS-2级列控系统 无线闭塞中心（RBC）接入时一个与列车移动授权延伸的 相关软件错误而引起的。 2004年9月，由于空管