软件测试技术的研究进展刘继华

　　在过去的几十年里， 由软件问题导致系统失效的灾难时有发生，给人类的生命、财产和环境造成了重大损失。例如，上世纪 60 年代中期， 美国的首次金星探测计划就因为在用 FORTRAN 语言编写的 DO 语句中漏掉了一个逗号酿成发射失败， 损失达上千万美元。软件中潜藏的缺陷不仅造成巨大的经济损失，由于缺陷的存在还给人身造成巨大伤害。如加拿大原子能有限公司生产的 Therac-25 放射治疗仪曾以其安全性著称于世， 但在 1986 年 3 月至 1987 年 1 月间， 由于软件出错导致控制系统失灵，造成 2 人死亡，多人受伤。上述这些鲜活的事例说明在安全关键系统中，由于软件缺陷导致的系统失效所酿成的损失巨大， 软件的质量问题必须引起足够的重视。

　　在早期的软件开发活动中，软件测试的概念非常狭窄，几乎等同于程序的“调试”，上世纪 50 年代中期，出现程序测试的概念，英国著名计算机科学家图灵给出了程序测试的原始定义，测试是正确性确认实验方法的一种极端形式。进入 20 世纪 70 年代后， 软件测试作为软件生存周期的一个阶段被提了出来。20 世纪 70 年代中期，软件测试的意义逐步被人们所认识，对软件测试的研究工作开始受到重视。1975 年，Goodenough 和 Gerhart 首次提出软件测试理论。到了 20 世纪 80 年代，对软件测试技术的研究越来越受到重视。1982 年 6 月， 在测试学科先驱 Bill Hetzel 博士的召集下， 美国北卡罗来纳大学召开了首届软件测试正式技术会议，成为软件测试技术发展中的一个重要里程碑。会后一批关于软件测试的理论专著相继出版， 这些专著构成了软件测试学科的最初理论框架，标志着软件测试学科的诞生。目前，国际上每隔两年召开一次软件测试与分析的学术会议，涌现了大量的有关软件测试的研究成果。我国也定期召开全国软件工程会议和容错计算会议， 软件测试已成为这两个会议的热门专题。