软件测试与研究进展.pdfVIP

( ) 北京大学学报 自然科学版 ,第 41 卷 ,第 1 期 ,2005 年 1 月 述 　评 Acta Scientiarum Naturalium R eview Universitatis Pekinensis , Vol. 41 , No. 1 (Jan. 2005) 软件测试研究进展1) 单锦辉2) ,3) 　姜 　瑛2) ,4) 　孙 　萍3) (2) 北京大学信息科学技术学院软件研究所 ,北京 ,100871 ,Email :{shanjh , jiangy} @sei. pku. edu. cn ; 3) 酒泉卫星发射中心 ; 4) 昆明理工大学信息工程与自动化学院, 昆明,650093) 摘 　要 　从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软 件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、 期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展趋势 ,包括构件测试、软件的易测试 性与基于合约的构件易测试性设计和 Web Services 测试等。 关键词 　软件测试 ; 软件质量 ; 软件的易测试性 ; 构件测试 中图分类号 　TP 311 0 　引　言 随着社会的不断进步和计算机科学技术的飞速发展 ,计算机及软件在国民经济和社会生 活等方面的应用越来越广泛和深入。作为计算机的灵魂 ,软件在其中起着举足轻重的作用。 软件的失效有可能造成巨大的经济损失 ,甚至危及人的生命安全。例如 ,1996 年 Ariane 5 运载 火箭的发射失败等都是由软件故障引起的[1 ,2 ] 。 软件开发的各个阶段都需要人的参与。因为人的工作和通信都不可能完美无缺 , 出现错 误是难免的。与此同时 ,随着计算机所控制的对象的复杂程度不断提高和软件功能的不断增 强 ,软件的规模也在不断增大。例如 ,Windows NT 操作系统的代码大约有 3 200 万行[3 ] 。这使 得错误更可能发生。人们在软件的设计阶段所犯的错误是导致软件失效的主要原因。软件复 杂性是产生软件缺陷的极其重要的根源[4 ] 。 软件测试是保证软件质量和可靠性的重要手段。目前许多项目的软件工程实践以结构化 分析和设计为核心 ,在开发阶段的前期 ,包括需求分析和设计都是以技术评审和工程管理作为 质量保证的手段 ,而技术评审和工程管理主观因素很大 ,很可能又引入错误并扩展到后续开发 阶段[2 ] 。 另一方面 ,软件测试确实能够发现软件中隐藏的许多缺陷。例如 ,在英国约克大学为英国 海军开发的 SHOLIS 项目中 ,尽管采用形式化方法描述和证明软件规约 ,并且采用程序正确性 证明方法排除了软件开发前期的许多缺陷 ,单元测试仍然发现了整个软件开发过程 1575 % ) ( ) ( ) ( 　1 国家“八六三”高技术研究发展计划 2001AA113070 、国家自然科学基金 、国家重点基础研究发展规划 973 计 ) ( ) ( ) 划 2002C、中国博士后科学基金 2003034077 资助项目 收稿日期 :; 修回日期 : 134 　第 1 期 单锦辉等 : 软件测试研究进展 　 的缺陷[5 ] 。 随着人们对软件测试重要性的认识越来越深刻 ,软件测试阶段在整个软件开发周期中所 占的比重日益增大。现在有些软件开发机构将研制力量的40 % 以上投入到软件测试之中;对 于