基于扩展有限状态机测试中测试输入数据自动选取-中国科技论文在线.pdfVIP

基于扩展有限状态机测试中测试输入数据自动选取-中国科技论文在线.pdf

  1. 1、本文档共9页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第 26卷 第 1O期 计 算 机 学 报 Vo1.26 No.1O 2003年 1O月 CHINESEJOURNALOF COMPUTERS 0ct.2003 基于扩展有 限状态机测试 中 测试输入数据 自动选取 的研究 张 涌 钱乐秋 王渊峰 (复旦大学计算机科学系 上海 200433) 摘 要 扩展有限状态机 (EFSM)模型是有限状态机 (FSM)模型的一个扩展 ,它在 FSM 模 型的基础上增加 了变 量 、操作 以及状态迁移 的前置条件 ,通过 EFSM 我们可 以更加精确地刻画软件系统的动态行为.基于 EFSM 的测试 可以应用到许多领域 ,因此具有重要 的研究价值和实际意义.许多研究人员已经提出了基于 FSM 测试的测试输入 序列的构造方法 ,但基于 EFSM 的测试与 FSM 相 比由于变量和状态迁移 的前置条件 的引入 ,增加 了构造其测试输 入 的复杂性 .我们认为基于 EFSM 测试 的测试输入应该包含两个部分 :即测试输入序列 以及该输 入序列上包含 的 输入变量的确定值 (测试输入数据).手工选取这些测试数据的工作 十分繁琐 ,极大地增加 了测试的花费 ,因此 自动 选取这些测试数据可 以大大提高实际测试工作 的效率 .该文提 出一种基于 EFSM 测试 的测试数据 自动选取方法 , 该方法利用两个关键的步骤 :①区间削减和②分段梯度最优下降算法来 自动选取测试数据.实验表明利用该方法 可 以 自动选取大部分 的测试数据 ,并且收敛速度较快 ;在某些无法得到确定解 的情况下 ,区间削减也可 以为测试人 员提供一个较小的输入变量取值 区间,方便 了测试人员从 中手工选择测试数据 . 关键词 软件测试 ;扩展有限状态机 ;测试输入数据 自动选取 ;区间削减;分段梯度最优下降算法 中圈法 分类号 TP311 AutomaticTestingDataGeneration in theTestingBased on EFSM ZHANG Yong QIAN Le—Qiu W ANG Yuan-Feng (DepartmentofComputerScience,FudanUniversity,Shanghai200433) Abstract Extended Finite State M achine (EFSM ) is an extension of Finite State M achine (FSM ).Itaddvariables,operationandthepreconditionoftransitionson thebasisofFSM ,and wecancharacterizethedynamicbehaviorofsoftwaresystem morepreciselyusingEFSM .Testing basedon EFSM ,whichcanbeusedinmanyfields,havegreatresearchvalueandpracticalsignifi- cance.M any researchershave proposed many testing sequence generation methodsbased on FSM ,butthisproblem ismorecomplicatedin EFSM context.W econsiderthatthetesting input ofthetestingbasedonEFSM shouldincludetwoparts:testingsequencesandthedeterminatein— putvariables’

您可能关注的文档

文档评论(0)

suijiazhuang1 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档