软件测试的研究及发展趋势

本文探讨了软件测试的理论基础,综述了围绕寻找接近理想化测试的目标,迄今软件测试的方法与技术,软件测试的准则、策略、步骤,以及国内外研究、工具开发的动态。特别指出了形式化方法对软件测试的影响,提出了当前软件测试应研究的问题与方向,主张在软件开发与测试中寻找强语义的定义的方法,采用前端测试的原则,开发自动化的测试工具,进行软件测试。