| 注册
首页|期刊导航|计算机工程|基于结构化标签的控制流错误检测算法

基于结构化标签的控制流错误检测算法

张鹏 朱利 杜小智 贺朝会 陈皓

计算机工程2016,Vol.42Issue(6):37-42,6.
计算机工程2016,Vol.42Issue(6):37-42,6.DOI:10.3969/j.issn.1000-3428.2016.06.007

基于结构化标签的控制流错误检测算法

Control Flow Error Detection Algorithm Based on Structural Tag

张鹏 1朱利 1杜小智 1贺朝会 2陈皓1

作者信息

  • 1. 西安交通大学软件学院,西安710049
  • 2. 西安交通大学能源与动力工程学院,西安710049
  • 折叠

摘要

关键词

瞬态故障/控制流错误检测/基本块/结构化标签/故障注入/软件容错

Key words

transient fault/Control Flow Error (CFE) detection/basic block/structural tag/fault injection/software fault tolerance

分类

信息技术与安全科学

引用本文复制引用

张鹏,朱利,杜小智,贺朝会,陈皓..基于结构化标签的控制流错误检测算法[J].计算机工程,2016,42(6):37-42,6.

基金项目

国家自然科学基金资助项目(61473220) (61473220)

中央高校基本科研业务费专项基金资助项目(XJJ2015122) (XJJ2015122)

陕西省工业公关计划基金资助项目(2013K06-20). (2013K06-20)

计算机工程

OA北大核心CSCDCSTPCD

1000-3428

访问量0
|
下载量0
段落导航相关论文