内容正文:
完善信息系统
1
2011年7月23日20时30分05秒,浙江省温州市境内,D301次列车D3115次列车发生动车组列车追尾事故,造成40人死亡、172人受伤,中断行车32小时35分,直接经济损失19371.65万元。
上海铁路局局长28日说,根据初步掌握的情况分析,“7·23”动车事故是由于温州南站信号设备在设计上存在严重缺陷,遭雷击发生故障后,导致本应显示为红灯的区间信号机错误显示为绿灯。
千里之堤,溃于蚁穴
1980年,北美防空联合司令部曾报告称美国遭受导弹袭击。后来证实,这是反馈系统的电路故障问题,但反馈系统软件没有考虑故障问题引发的误报。
1983 年9月26日,苏联的系统错误地接收到太阳光的反射并将其解读为美国导弹发射。后来,导弹袭击警告被一名苏联防空部队的军官认定为假警报。
幸亏这些误报没有激活“核按钮”。在上述两个案例中,如果对方真的发起反击,核战争将全面爆发,数以百万计的将会死亡,后果不堪设想。
险些爆发的第三次世界大战
1996年6月4日,Ariane 5火箭在法属圭亚那库鲁航天中心首次发射。火箭在发射37秒之后偏离其飞行路径并突然发生爆炸,与Ariane5火箭一同化为灰烬的还有4颗太阳风观察卫星。这是世界航天史上的一大悲剧,也是历史上损失最惨重的软件故障事件。
后来查明的事故原因是代码重用,阿5型的发射系统代码直接重用了阿4型的相应代码,而阿4型的飞行条件和阿5型的飞行条件截然不同。此次事故损失3.7亿美元。
火箭爆炸
你从这些事件中体会到了什么?
讨论探究
思考:
上述事故共同的原因是什么?
有没有办法避免上述事例中的后果?
你从这些事件中体会到了什么?
系统缺陷、故障
系统测试
系统测试
初步完成信息系统的搭建后,还需要根据用户需求对系统进行测试,在测试的过程中不断对系统加以修正。
系统测试的目的是把测试结果与系统的需求相比较,发现所开发的系统与用户需求不符或矛盾的地方,及时加以修正。
你永远无法把所有问题都充分测试。
系统测试
我们可以对系统的哪些部分进行测试?
可以采用什么方法去测试软件?
软件测试
硬件测试
网络测试
数学证明
看代码
运行试试
系统测试
1.软件测试
①正确性证明:通过数学技术来确定软件是否正确,目前还处于初级阶段。论证过程与输入数据的特定值无关,能代表穷举性测试。
②静态测试:人工检测和计算机辅助分析的手段检测