基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
采用基于马尔科夫链使用模型的软件测试,在状态与激励序列中,从“开始”状态到“结束”状态形成一个完整的测试案例.因此,输入和激励的选择对于产生高效的测试案例十分重要.提出一种激励选择 带概率约束的随机选择方法,以软件Markov链模型的状态迁移概率作为激励选择的约束条件,使用遗传算法中用于选择下一代种群的选择算子——轮盘赌选择算子对激励进行选择.通过与以往的激励选择方法对比,验证了所提出的方法能提高生成测试用例的有效性.
推荐文章
一种基于高阶Markov使用模型的测试用例自动生成方法
高阶马尔可夫使用模型
快速轮盘赌
二分查找
相对熵
软件测试
测试用例自动生成
改进的可靠性测试用例自动生成方法
可靠性测试
Markov链使用模型
测试充分性
测试路径
测试用例
UML模型驱动的划分测试用例生成方法研究
软件测试
测试用例生成
UML活动图
划分测试
应用UML2.0模型的测试用例生成方法
测试用例
命题投影时序逻辑
模型检测
覆盖准则
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 Markov链使用模型的测试用例生成方法研究
来源期刊 电子科技大学学报 学科 工学
关键词 Markov链 轮盘赌算法 测试用例 测试输入 使用模型
年,卷(期) 2011,(5) 所属期刊栏目 计算机工程与应用
研究方向 页码范围 732-736
页数 分类号 TP311.5
字数 5048字 语种 中文
DOI 10.3969/j.issn.1001-0548.2011.05.019
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 雷航 电子科技大学信息与软件工程学院 92 1434 17.0 35.0
2 陈丽敏 电子科技大学计算机科学与工程学院 1 10 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (16)
共引文献  (44)
参考文献  (8)
节点文献
引证文献  (10)
同被引文献  (6)
二级引证文献  (5)
1994(2)
  • 参考文献(0)
  • 二级参考文献(2)
1995(2)
  • 参考文献(1)
  • 二级参考文献(1)
2000(3)
  • 参考文献(1)
  • 二级参考文献(2)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(2)
  • 参考文献(0)
  • 二级参考文献(2)
2004(3)
  • 参考文献(0)
  • 二级参考文献(3)
2005(3)
  • 参考文献(1)
  • 二级参考文献(2)
2006(3)
  • 参考文献(1)
  • 二级参考文献(2)
2007(2)
  • 参考文献(1)
  • 二级参考文献(1)
2008(2)
  • 参考文献(2)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2014(2)
  • 引证文献(2)
  • 二级引证文献(0)
2015(4)
  • 引证文献(3)
  • 二级引证文献(1)
2016(4)
  • 引证文献(1)
  • 二级引证文献(3)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(3)
  • 引证文献(3)
  • 二级引证文献(0)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
Markov链
轮盘赌算法
测试用例
测试输入
使用模型
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电子科技大学学报
双月刊
1001-0548
51-1207/T
大16开
成都市成华区建设北路二段四号
62-34
1959
chi
出版文献量(篇)
4185
总下载数(次)
13
总被引数(次)
36111
论文1v1指导