写可信性需求引用的几个案例。

由于计算机系统导致故障的案例非常多，下面列举其中几个：

（1）迪斯尼的狮子王游戏

1994年秋天，迪斯尼公司发布了首张面向儿童的多媒体光盘游戏“狮子王动画故事书”。这是迪斯尼首次进军游戏市场，他们进行了大力的宣传促销。当年销售额非常可观。该游戏成为全美儿童当年夏季的必买游戏。但是，后来却产生了迪斯尼公司意想不到的后果。刚刚过完圣诞节，迪斯尼公司客户支持部的电话开始响个不停。很快，售后服务部门就被淹没在愤怒的家长和哭诉玩不成游戏的孩子们的电话狂潮中。

后来得到的证实表明，迪斯尼公司没有对投入市场上的各种PC机型进行正确的测试。软件在少数系统中工作正常——例如迪斯尼程序员用于开发游戏的系统，但在大众使用的常见系统中却存在问题。

（2）1993年伦敦附近核电站的反应堆内，由于温度控制失灵，致使欧洲人口最为密集的地区面临巨大灾难。后经查明，在反应堆“主要保护系统中”一个10万行代码的控制程序几乎有一半未能通过测试。

（3）海湾战争中，某个软件故障打乱了“爱国者”导弹雷达跟踪系统，使导弹发射后未能迎击对方的“飞毛腿”导弹，反而轰击了自己的军营，祸从天降，造成28名士兵丧生，98名受伤。

（4） 1999年9月，火星气候轨道探测器消失了——由于火箭出现事故而燃烧，将它投入了火星大气层。后来美国宇航局在对探测器飞临火星前的6~8hr传回的数据进行分析后发现，这颗探测器之所以被烧毁，是因它距离火星的高度太低，大约只有60km，而安全要求的最低高度至少应该是85km。 导致这次事故的原因是洛马公司提供的主发动机点燃后推力的单位是英制而不是公制。

（5）2006年04月20日10时56分至17时30分，我国银联系统突发故障，北京、上海、杭州等大城市纷纷出现无法跨行取款、POS机无法消费等情况，导致全国数百万笔跨行交易无法完成。中国银联称，网络瘫痪是由于银联主机和通讯网络出现故障所致。类似事故还有，如2007年1月，农业银行核心业务系统故障；2007年3月，交通银行信用卡系统的故障；2007年6月，中国建设银行总行转账系统故障。