- 1、本文档共9页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 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’
您可能关注的文档
- 马尾松毛虫对氰戊菊醋的耐药性研究牵.pdf
- 公积金按揭贷款合作协议-镇江住房公积金管理中心.doc
- 马铃薯贮藏期主要病害拮抗内生细菌的筛选鉴定及功能评价-草业学报.pdf
- 马鞍山十三五新型城镇化前期研究-马鞍山发改委.pdf
- 兰州妇幼保健院-甘肃政府采购网.doc
- 团头鲂白细胞介素6基因启动子报告载体的构建及活性分析.pdf
- 兰州新区高技术产业技术生态适应性测评理论研究初探-甘肃科技.pdf
- 国家标准信息安全保障指标体系及评价方法第1部分概念和模型.doc
- 骨组织工程基因治疗在颅额面重建中的应用-中国口腔颌面外科杂志.pdf
- 骨质疏松基因治疗的研究概述.pdf
- 小学数学试卷三年级上册数学期末测试卷【综合卷】.docx
- 小学数学试卷三年级上册数学期末测试卷及答案【全优】.docx
- 小学数学试卷三年级上册数学期末测试卷加答案.docx
- 小学数学试卷三年级上册数学期末测试卷【黄金题型】.docx
- 小学数学试卷三年级上册数学期末测试卷【黄金题型】.docx
- 小学数学试卷三年级上册数学期末测试卷及参考答案(考试直接用).docx
- 小学数学试卷三年级上册数学期末测试卷及答案【名校卷】.docx
- 小学数学试卷三年级上册数学期末测试卷【网校专用】.docx
- 小学数学试卷三年级上册数学期末测试卷【重点】.docx
- 小学数学试卷三年级上册数学期末测试卷【精华版】.docx
文档评论(0)