基于模型的软件测试方法研究.PDFVIP

.//0 年 第 0 期 计 算 机 系 统 应 用 基于模型的软件测试方法研究 !#$%’ () *’ +(,-.$% *#-/)0 1$#2 () *#-/)0 3(24 吴! 艳! 张! 惠! （浙江工业大学 之江学院 浙江 杭州 #$$% ） 摘! 要：随着面向对象软件开发技术的广泛应用和软件测试自动化的要求，基于模型的软件测试逐渐得到了软 件开发人员和软件测试人员的认可和接受。基于模型的软件测试是软件编码阶段的主要测试方法之 一，具有测试效率高、排除逻辑复杂故障测试效果好等特点。但是误报、漏报和故障机理有待进一步研 究。对主要的测试模型进行了分析和分类，同时，对故障密度等参数进行了初步的分析；最后，提出了一 种基于模型的软件测试流程。 关键词：软件测试 软件模型 基于模型的测试 静态分析 等项目资助下自主开发了9I 9 J J 的故障查找工具 #! 引言 KH’7?8 ，对国内L 个软件约% 万行、% 类故障进行测 基于模型的软件测试技术是针对软件中的一些常 试，发现了约$$ 个故障［L ］。 见的软件模型而提出的一种测试技术，如故障模型、安 全模型和死锁模型等等。与形式验证排除故障不同， %! 基于模型的软件测试技术 基于模型的软件测试技术首先提出软件模型，然后通 ! # 技术特点 过检测算法进行检测，如果检测算法是完全的，则能够 与其他测试技术相比，基于模型的软件测试技术 ［# ］ 从软件中排除该类模型 。 具有以下特点： 近年来，基于模型的软件测试技术得到快速发展， （# ）根据被测试应用程序的分析设计模型及其生 大量的软件测试工具被研制出来并可以自动检索软件 成测试模型、产生测试用例和进行测试结果评价。 中的故障，在对一些大型商业软件和开源软件的测试 （% ）大大提高了测试自动化水平以及测试效率。 中发现了大量的以前测试没有发现的软件故障和安全 在内存为#H ，95M 为#N OH 的59 机上，?+,-D:@0 对 3P 隐患。例如， ’() 在对 *+,-./0 操作系统#%1 个使用 AB+0= 、C%’3 和CD.00 等开源软件进行分析，所耗时间不 多年的驱动程序测试中发现了12 个故障，包括#% 个 超过12Q+, ，其中，C%’3 中的RS N TUR 分析，该程序包有 严重故障［% ］；34567(3 在一些常用的文件存储系统发 #$O 个类，约$8 大小，所耗时间只需2Q+, 。在 ［ ］ 现了大量的严重故障 ；89 在6+,:; 和7=,’( 软件 内存为2#%8 ，95M 为%N H 的59 机上，KH’7?8 对约 ［ ］ ［2 ］ 万行的)9 程序进行故障分析所耗时间只需 %Q+, 中发现了近2$$ 个故障 以及#$$ 多个安全漏洞 。 ?+,-:@0 在3AB+0= 、C%’3 和CD.00 等开源软件中发现 左右［1 ］。 上百个的故障［1 ］。 （ ）部分解决了测试失效辨识问题，往往能发现 我国有不少高校和研究所从事软件测试及相关理 其他测试技术难以发现的故障，保证了软件质量。 论方面的研究工作，但是，尚未见国产的基于模型的商 （ ）有利于测试用例的重用，并可以应用成熟的 业化软件测试工具，目前国内测试中心使用的相关测 理论和技术获得比较完善的分析结果。 试工具都是