基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列.A.VAho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化.该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题.
推荐文章
基于FSM的测试序列生成方法研究
唯一输入/输出序列
测试序列
有限自动机
可逆序列
基于UIO序列的测试方法及UIO生成算法研究
一致性测试
UIO序列
测试序列生成
有限状态机
BACnet应用层测试状态机自动生成研究
扩展有限状态机
协议一致性测试
测试自动生成
基于规则推理
BACnet
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于中国邮路算法及UIO序列的状态机测试序列生成
来源期刊 计算机工程与应用 学科 工学
关键词 状态测试 中国邮路算法 唯一输入输出序列 扩展有限状态自动机 遗传算法
年,卷(期) 2004,(17) 所属期刊栏目 学术探讨
研究方向 页码范围 58-60
页数 3页 分类号 TP31
字数 2801字 语种 中文
DOI 10.3321/j.issn:1002-8331.2004.17.017
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张毅坤 西安理工大学计算机科学与工程学院 71 825 15.0 25.0
2 张保卫 西安理工大学计算机科学与工程学院 15 59 4.0 7.0
3 赵明 西安理工大学计算机科学与工程学院 5 59 4.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (3)
参考文献  (2)
节点文献
引证文献  (25)
同被引文献  (12)
二级引证文献  (143)
1991(1)
  • 参考文献(1)
  • 二级参考文献(0)
1998(1)
  • 参考文献(1)
  • 二级参考文献(0)
2004(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2005(3)
  • 引证文献(2)
  • 二级引证文献(1)
2006(9)
  • 引证文献(3)
  • 二级引证文献(6)
2007(12)
  • 引证文献(2)
  • 二级引证文献(10)
2008(14)
  • 引证文献(4)
  • 二级引证文献(10)
2009(13)
  • 引证文献(6)
  • 二级引证文献(7)
2010(11)
  • 引证文献(5)
  • 二级引证文献(6)
2011(17)
  • 引证文献(2)
  • 二级引证文献(15)
2012(13)
  • 引证文献(0)
  • 二级引证文献(13)
2013(26)
  • 引证文献(0)
  • 二级引证文献(26)
2014(17)
  • 引证文献(0)
  • 二级引证文献(17)
2015(14)
  • 引证文献(0)
  • 二级引证文献(14)
2016(7)
  • 引证文献(1)
  • 二级引证文献(6)
2017(5)
  • 引证文献(0)
  • 二级引证文献(5)
2018(5)
  • 引证文献(0)
  • 二级引证文献(5)
2019(2)
  • 引证文献(0)
  • 二级引证文献(2)
研究主题发展历程
节点文献
状态测试
中国邮路算法
唯一输入输出序列
扩展有限状态自动机
遗传算法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与应用
半月刊
1002-8331
11-2127/TP
大16开
北京619信箱26分箱
82-605
1964
chi
出版文献量(篇)
39068
总下载数(次)
102
总被引数(次)
390217
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导