防不胜防的软件错误——例11963年美国飞往火星的.ppt

防不胜防的软件错误 —— 例1：1963年, 美国, 飞往火星的火箭爆炸, 损失$ 10 million. 原因: FORTRAN循环 DO 5 I = 1, 3 误写为 DO 5 I = 1.3 软件测试是保证软件质量的关键步骤，是对软件规格说明、设计和编码的最后复审，其工件量约占总工作量40%以上（对于人命关天的情况，测试相当于其它部分总成本的3 — 5倍）。 §1. 基本概念 1、定义：测试是为了发现程序中的错误而执行程序的过程。 注意：① 只能尽可能查错，不能证明程序中 没有错； ② 测试员与程序员不应是同一个人。 2、黑盒和白盒测试 ? 白盒测试(white-box , or open-box, clear-box testing): Use the structure of the program to test. —— Structural testing 例：(White-box) 下图所示的程序中共有 520?1014条可能的执行通路，显然，每