基于有界模型检测的门级软件自测试方法
作者:
作者单位:

同济大学软件学院,同济大学软件学院,同济大学软件学院,上海电力学院

作者简介:

通讯作者:

中图分类号:

TP302.8

基金项目:

NSFC(61432017, 61404092)


Gate-level Software-based Self-testing Method Based on Bounded Model Checking
Author:
Affiliation:

Fund Project:

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

    提出了基于有界模型检测的门级软件自测试方法.将处理器中的模块简化成约束模块,缓解状态爆炸问题.将难测故障的触发条件逐个转化成性质并且采用有界模型检测技术,搜索触发这些性质的违例.最后,将违例映射成测试指令序列,并为测试指令序列添加观测指令序列,构成自测试程序.实验结果表明:该方法在不引起状态爆炸问题的情况下,有效地测试控制器中难以测试的故障,提高了在线测试的测试质量.

    Abstract:

    A gate-level software-based self-testing method based on bounded model checking is proposed in this paper. The module in processor is abstracted and simplified into a constrained module to alleviate the state explosion problem. Then, the trigger conditions for unpredictable faults are transformed into properties one by one, and the bounded model checking is used to search violations which trigger these properties. Finally, the violation is mapped into the sequence of test instructions, and a sequence of observation instructions is added to form a self-test program. The experimental results show that the method can effectively test the faults which are difficult to be tested in the controller but without causing the state explosion problem, and improve the test quality of online test.

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

张颖,张嘉琦,王真,江建慧.基于有界模型检测的门级软件自测试方法[J].同济大学学报(自然科学版),2018,46(11):1568~1574

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2017-12-29
  • 最后修改日期:2018-09-13
  • 录用日期:2018-07-30
  • 在线发布日期: 2018-11-29
  • 出版日期: