随着计算机的普及,软件系统已经深入到生活的各个方面,从普通的计算机软件,到银行或超市的终端系统,甚至到手机的软件系统。对软件质量的要求也在不断提高,但现实中软件系统的质量和稳定性却不尽人意,采用有效的软件测试是保证软件质量、提高软件可靠性的重要手段。国外的软件测试工作起步于六十年代,自七十年代末期,软件测试走向了成熟阶段,不仅在软件测试的理论和技术上,而且在应用的广度和深度上都取得了巨大的成功,软件测试进入了工程化、标准化和规范化阶段,建立了各种测试工具和环境,丰富和完善了软件测试的理论和方法,在软件开发中得到广泛的应用,使软件测试成为改进和提高软件质量不可缺少的有效手段。我国对于软件测试理论和技术的深入研究始于八十年代初,目前已开发出一些软件测试工具。虽然一些软件开发人员和项目管理人员知道软件测试的重要性和方法,但对测试技术的应用还不广泛,在实际的开发工作中,也只有为数不多的软件系统进行了较严格的测试。针对这种情况,在本文中,作者首先对现有国际流行的软件测试方法、技术和工具做一个较全面的介绍,为实际生产中选取恰当的测试方法和工具提供参考。本文作者曾参与川大智胜软件公司空中交通管制系统的开发和测试工作。智胜公司的空中交通管制系统主要用于大型机场的空中交通管理,维持空中交通秩序,以避免飞机在空中相撞,并保证空中交通的高速和顺畅。一般而言,空中交通管制系统具有SRM(特殊用途,实时,任务关键)属性,因此,对系统的实时性、可靠性和安全性具有很高的要求,而这些要求可以通过高效的软件测试来进行保障。作者在实习中亲历了软件工业生产中软件测试的现状,并在测试工作中采用了一些方法以提高工作效率。因此,作者