有限状态机模型测试序列生成算法研究

发布时间：2017-06-14 09:11

  本文关键词：有限状态机模型测试序列生成算法研究，由笔耕文化传播整理发布。

【摘要】：在测试工程学中,应用测试生成树构建测试序列是相关测试方法的基础步骤,在传统测试生成树的基础上加入约束集的概念,使产生的测试生成树符合生产实际。同时在面向状态识别的测试方法中,考虑约束集对所生成状态区分序列的影响,基于带约束的测试生成树产生相应的特征集、状态识别集和UIO序列,提出或者改进了相应的算法。同时将测试方法扩展到了NFSM的情形下,提出了NFSM模型中前缀序列的生成算法和状态识别集的构建算法;结合状态识别矩阵与有限状态机同步乘积,提出在NFSM模型中的适应性测试方法,扩展了FSM应用于测试理论的完备性。建立了相应的测试方法工具集,实现了上述算法,验证了其可行性。最后给出了下一步的工作。
【作者单位】： 内蒙古大学计算机学院;内蒙古财经大学网络中心;内蒙古大学网络中心;
【关键词】： DFSM NFSM 约束集 适应性测试
【基金】：国家自然基金项目资助项目:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011) 赛尔网络下一代互联网技术创新项目:SDN环境下IPv6网络测试研究(CERNET IPv6 Innovation Project)(NGII20150112)资助
【分类号】：TP301.6;TP311.53
【正文快照】： 1引言随着软件规模的不断增长及分布式软件与大数据的兴起,人们对软件质量的要求在不断增强。当前开源组件的蓬勃发展,软件集成的门槛在降低,同时人们对质量的保障提出了更高的要求。软件测试是提高软件可靠性、保证软件质量的重要手段。传统的软件测试依赖于手工进行,测试的

【相似文献】

中国期刊全文数据库 前10条

1 张涌,钱乐秋,王渊峰;基于确定有限状态机的测试输入序列选取[J];计算机研究与发展;2002年09期

2 刘霞;年小玲;游霞;;消除EFSM中状态迁移不确定的方法[J];攀枝花学院学报;2006年04期

3 夏银水;王伦耀;叶锡恩;;划分有限状态机的低功耗实现模型[J];计算机辅助设计与图形学学报;2007年05期

4 向培素;田珂;田野;;非确定部分有限状态机的一种新的一致性关系及其测试[J];西南民族大学学报(自然科学版);2007年06期

5 李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[J];四川大学学报(工程科学版);2007年S1期

6 李晓锋;宋锐;曾小宝;;有限状态机在嵌入式系统中的实现及应用[J];广西轻工业;2008年04期

7 周先存;聂尧;;有限状态机在数字调度系统中的建模及应用[J];洛阳理工学院学报(自然科学版);2010年03期

8 杨京开;;模糊有限状态机笛卡尔合成的一些结果[J];模糊系统与数学;2012年06期

9 张博伦;王宁;马慧敏;;有限状态机在模拟演练系统中的应用[J];计算机系统应用;2013年02期

10 王巍,高德远;有限状态机设计策略[J];计算机工程与应用;1999年07期

中国重要会议论文全文数据库 前8条

1 李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[A];第四届中国软件工程大会论文集[C];2007年

2 李炜;刘政怡;吴建国;;基于完全确定有限状态机的控制器综合的验证[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（下册）[C];2008年

3 李炜;许中卫;刘政怡;刘露露;;非完全确定有限状态机最小化有效算法的研究[A];2005年“数字安徽”博士科技论坛论文集[C];2005年

4 邹循进;叶云青;陈孝威;;C++游戏开发中可重用动态有限状态机设计与实现[A];第三届和谐人机环境联合学术会议（HHME2007）论文集[C];2007年

5 方敏;;基于分层有限状态机的计算机取证推理方法[A];2008年计算机应用技术交流会论文集[C];2008年

6 刘晓明;赖祥;黄松;;一种基于邻接矩阵的有限状态机路径产生方法[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（下册）[C];2008年

7 王宗义;;有限状态机原理在OA系统中的运用[A];广西计算机学会25周年纪念会暨2011年学术年会论文集[C];2011年

8 张剑鸣;杨正球;;基于Struts架构的考核系统软件的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集（上册）[C];2008年

中国硕士学位论文全文数据库 前10条

1 张粟;大型多人在线角色扮演类游戏中有限状态机系统的设计与实现[D];北京交通大学;2010年

2 谭同超;有限状态机及其应用[D];华南理工大学;2013年

3 许固镇;关于直觉模糊有限状态机若干问题的讨论[D];广西师范大学;2011年

4 常珂;基于有限状态机的建模技术在备品备件管理系统中的实现[D];北京邮电大学;2010年

5 董焕珍;基于EFSM的UIO序列的生成研究[D];青岛大学;2009年

6 明小娜;基于扩展有限状态机模型的GIS人机对话模式设计与应用[D];南京师范大学;2011年

7 年晓玲;基于扩展有限状态机软件测试用例自动生成的研究[D];西南交通大学;2005年

8 朱志伟;基于有限状态机的体育视频比赛类型识别[D];吉林大学;2006年

9 张兵全;基于扩展有限状态机的LTE一致性测试系统的设计与实现[D];北京邮电大学;2013年

10 李维岩;基于HFSM模型的测试方案生成研究[D];北京工业大学;2014年

  本文关键词：有限状态机模型测试序列生成算法研究，由笔耕文化传播整理发布。

，

本文编号：449072