摘要：软件测试主要关注的是程序行为，在程序所有可能的行为中，一部分是规格说明所描述的行为（用集合S表示），一部分是程序最终实现的行为（用集合P表示），图1显示了二者之间存在的关系。在这个维恩图中，有些规定的程序行为并没有被实现，我们称之为“遗漏缺陷”；有些实现的行为并不是规格说明中规定的，我们称之为“过失 阅读全文

摘要：Bug一词的原意是“臭虫”或“虫子”，现在通常被用来表示隐藏在计算机系统中的一些未被发现的缺陷或问题。     据记载，1945年9月9日，编译器发明者格蕾斯·哈珀中尉带领她的小组构造”马克二型”计算机。突然，马克二型死机了。技术人员试了很多办法，最后错误定位在第70号继电器上，发现上面有一只被电死 阅读全文

摘要：案例1：Ariane 5火箭 1996年6月4日，Ariane 5火箭在法属圭亚那库鲁航天中心首次发射。火箭在发射37秒之后偏离其飞行路径并突然发生爆炸，与Ariane5火箭一同化为灰烬的还有4颗太阳风观察卫星。这是世界航天史上的一大悲剧，也是历史上损失最惨重的软件故障事件。 事后的调查显示，控制惯 阅读全文