基于模型的软件测试用例生成方法比较研究.pdf

研 究与开发 ／ f』1【 1．』 1FSM }的测试川例 ，l 法 2 测试用例 自动生成方法的定性分析结果 较 L．2006之后发 尬 1、f缓 ，U前 较为成熟 帧J 发眨历程 牲丁 FSM的测试川例，I-成 法‘是最 甲． 检测技术廊川丁洲 川例，Ilc起源下 1996，f，从2001 …脱得到啦H{的．IIlm 仃 比较成熟 的理沦基 年之 发J心很帙 ．I 订十Ij父fIJI_究 较多 础 Lf 代术 】T始 ． 坫丁 FSM、EFSM摸型的测试 表 1基 于FSM 模 型的方法部 分文献作青 分布表 川例 成算法逐步…现 ，丰嘤仃 I’，】泼‘、L㈠ 法 、D 法 、，厅法等 丁模Jf：：i=洲的洲 川例 成 ，』0点¨l现 项 目篱数 l 3 6 作者数 1O4 59 33 ll 9 较 晚 ．旦『足发展较怏 ，【l 的』、川也l1：‘4：交广泛 1996年 百分比 4．2 268： l 5 41％ 0．9l 0．9l (。。 llilII等人最 捉…r他川 }愉洲求 动十成测 表 !基于模型检测 的方法部分文献作音分布表 i川例 ．随 越米越多的，，法做捉川坪甜划 r应用 针 刈数 ：系统 ．一个坫 I：模，愉测的 id!岛设覆盖的测 项 目篱数 1 3 4 6 作者数 1{9 {2 9 3 l 川例褴盖 ，J法被提 。 ’iisekma·等人利用模 检 百分 比 233 20．39 4，37％ O．9 1．46％ 0 9 测 成 的反例和测试川例之f1J』的形式化父系 ，朋 CTI 从表 lfI1 2I1J以‘行…： 甚于 FSM 恢 厅法制f 公 到测试需求 ．将删 川I例 卡¨j J之有关的反 火 的 220樯 史献 I『I．发 过 篇文献 的 I总数 的 例进f 盖 ．从而nr以扶僻满址测试 …，0『『测试 1l1l1l 47．27％．2瓣的fIi26．82％，发火过 7篇文献ff9作 仪l ． 1IJl1llI{uI1hv提供 J使川馍 ，俭洲 战川 r俭测软／硬 总数的0．91％ J ，榆测技术卞¨火的206输llJ史 什n勺n效的测试集的 法 献LI1．发表过一篇艾献的Iii总数 的72．33％，发太过 7 工具及 自动化程度 ¨IlJ俭洲 的，J法‘ I『动化 篇义献 的作 仪r总牧f门()．49C／c 说明 多、 高 }{前 ．堆 。-惯型俭洲 的洲 川例 I-b 包 对这个 题进 研 。 址0注于此方嘶的作 却 j IlSMV、SpiJ1、UPt：AA1、(：() r、SAlJ ； 于 FSM 的 少 ．还没 肜成一个 心 的 群 洲 j+]例 Iib 的 I !也 (1()TCtlA、TCB~圳1、 to,lISEFCe,ti‘fy、Confi)lllltlll(‘ Kit、Pha,lI’FYEDA、RFT