时序约束条件下序列测试建模方法
DOI:
CSTR:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

TH701

基金项目:


Modeling method for sequence testing with temporal constraints
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    时序约束的描述是测试序列生成前必须面对的问题,但是目前还没有完善的方法能够对时序约束进行描述,为此提出了一种时序约束序列测试建模方法。该建模方法中提出了状态转移允许区间,使得可以对转移发生时前一个状态的连续出现次数进行描述。针对目前欠缺能够有效评价测试序列目标覆盖程度的方法的问题,通过引入核函数来评价测试序列的目标覆盖程度对该问题给予了解决。最后利用提出的建模方法对实例进行建模,验证了建模方法的有效性和可行性。

    Abstract:

    To generate the test sequence, it has to achieve the description of temporal constraints. At present, there is no effective method to realize this objective. Therefore, a modeling method for sequence testing with temporal constraints is proposed in this article. The allowable intervals of state transition are proposed, which can describe the continuous appearing number of a former state when there is a state transition. Another problem of sequence testing is how to evaluate the target coverage degree effectively. This problem is solved by introducing kernel functions to evaluate the target coverage degree of test sequences. Finally, the real cases are modeled based on the proposed method. The availability and feasibility of the method are validated.

    参考文献
    相似文献
    引证文献
引用本文

盛云龙,魏长安,刘玉奇,姜守达.时序约束条件下序列测试建模方法[J].仪器仪表学报,2019,40(6):213-220

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2022-02-10
  • 出版日期:
文章二维码