%0 Journal Article
%T 软件测试的研究及发展趋势
%A 彭建军
%J 计算机科学
%D 1993
%I 
%X 本文探讨了软件测试的理论基础,综述了围绕寻找接近理想化测试的目标,迄今软件测试的方法与技术,软件测试的准则、策略、步骤,以及国内外研究、工具开发的动态。特别指出了形式化方法对软件测试的影响,提出了当前软件测试应研究的问题与方向,主张在软件开发与测试中寻找强语义的定义的方法,采用前端测试的原则,开发自动化的测试工具,进行软件测试。
%K 软件测试
%K 研究
%K 发展
%K 趋势
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=1814E4B1964E032666F0D00F376A353B&yid=D418FDC97F7C2EBA&vid=A04140E723CB732E&iid=38B194292C032A66&sid=5D71B28100102720&eid=4F2F18DD6F870C2C&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0