删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

一种基于异常控制流的错误程序行为分析方法

本站小编 Free考研考试/2022-02-13

DOI: 10.11908/j.issn.0253-374x.2018.07.016

作者:

作者单位: 同济大学,同济大学,同济大学


作者简介:


通讯作者:

中图分类号: TP311


基金项目: 国家自然科学基金项目(61432017)




An Approach to Analyzing Erroneous Program Behavior Based on Exception Control Flow
Author:

Affiliation:


Fund Project:




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

摘要:通过静态分析程序显式异常控制流收集到程序中可引起异常的差错信息,采用故障注入实验,分析了程序的“故障差错异常”传播过程.结合函数级异常控制流的描述,对异常相关的差错及其对程序行为的影响进行了分析,建立了基于异常控制流的错误程序行为模型,开发了相应的分析工具.以OpenStack核心组件为对象进行实验,结果表明从异常层次对错误程序行为进行分析是合理而有效的.该方法为具有异常处理机制的大规模程序的错误行为自动分析和差错数据的收集提供了新手段.



Abstract:In this paper, the propagation process of “fault-error-exception” chain in programs is analyzed by fault injection experiments. With representation of the exception control flow at function level, the error and its impact on program behavior are analyzed, a model of erroneous program behavior is established. An automatic analysis tool based on the proposed approach is developed and is used to analyze the erroneous behaviors of the significant components in OpenStack. The experimental results validate the validity and rationality of the proposed approach, which provides a new means to automatically analyze the erroneous behavior and collect the valid error set for largescale programs with exception handling mechanism.





PDF全文下载地址:

点我下载PDF
相关话题/程序 同济大学 控制 文献 实验

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 纵向耦合驱动式有轨电车μ综合导向控制
    DOI:10.11908/j.issn.0253-374x.2018.09.014作者:作者单位:同济大学,同济大学作者简介:通讯作者:中图分类号:TM351;U270.33基金项目:无μSynthesisActiveGuidanceControlforLongitudinalCoupledTram ...
    本站小编 Free考研考试 2022-02-13
  • 串行伯努利生产线的实时维护决策控制
    DOI:10.11908/j.issn.0253-374x.2018.10.012作者:作者单位:同济大学,同济大学,同济大学作者简介:通讯作者:中图分类号:TH186基金项目:国家自然科学基金项目(51605335)ARealTimeCBMDecisionMakingModelforBerno ...
    本站小编 Free考研考试 2022-02-13
  • 风电叶片两点疲劳试验系统激振器加载控制
    DOI:10.11908/j.issn.0253-374x.2018.11.014作者:作者单位:同济大学,同济大学作者简介:通讯作者:中图分类号:TP122基金项目:江西省精密驱动与控制重点实验室开放基金项目(PLPDC-KFKT-201622)LoadControlofVibrationExci ...
    本站小编 Free考研考试 2022-02-13
  • 基于现实与虚拟交互的交通流再现实验方法
    DOI:10.11908/j.issn.0253-374x.2018.12.007作者:作者单位:同济大学,同济大学作者简介:通讯作者:中图分类号:U491.2基金项目:国家自然科学基金重点项目(项目编号:51238008)AnExperimentalMethodforReproducingTraf ...
    本站小编 Free考研考试 2022-02-13
  • 蒸汽浸没射流冷凝特性实验研究
    张伟1,蒋朝飞2,叶亚楠1,王晓雁2,龚自力2,胡晨2,肖瑶1(),顾汉洋11.上海交通大学核科学与工程学院,上海2002402.武汉第二船舶设计研究所,武汉430064收稿日期:2020-09-21出版日期:2022-01-28发布日期:2022-01-21通讯作者:肖瑶E-mail:yxiao@ ...
    本站小编 Free考研考试 2022-02-12
  • “双碳”背景下线间潮流控制器多目标协调控制策略
    蔡晖1(),高伯阳2,祁万春1,吴熙2,谢珍建1,黄俊辉11.国网江苏省电力有限公司经济技术研究院,南京2100082.东南大学电气工程学院,南京210096收稿日期:2021-07-28出版日期:2021-12-28发布日期:2021-12-30作者简介:蔡晖(1984-),男,江苏省盐城市人,高 ...
    本站小编 Free考研考试 2022-02-12
  • 基于协同控制的自重构平台算法及试验验证
    于特a,王磊a,b()a.海洋工程国家重点实验室,上海交通大学,上海200240b.高新船舶与深海开发装备协同创新中心,上海交通大学,上海200240收稿日期:2020-12-11出版日期:2021-11-28发布日期:2021-12-03通讯作者:王磊E-mail:wanglei@sjtu.edu ...
    本站小编 Free考研考试 2022-02-12
  • 压气机退失速控制的数值仿真
    高原a,吴亚东a,b(),欧阳华a,ba.机械与动力工程学院,上海交通大学,上海200240b.燃气轮机与民用航空发动机教育部工程研究中心,上海交通大学,上海200240收稿日期:2020-08-14出版日期:2021-11-28发布日期:2021-12-03通讯作者:吴亚东E-mail:yadon ...
    本站小编 Free考研考试 2022-02-12
  • 飞机地面除冰资源协同控制
    李彪1,2,王立文1(),邢志伟2,王思博2,罗谦31.中国民航大学航空工程学院,天津3003002.中国民航大学电子信息与自动化学院,天津3003003.中国民用航空局第二研究所工程技术研究中心,成都610041收稿日期:2020-10-21出版日期:2021-11-28发布日期:2021-12- ...
    本站小编 Free考研考试 2022-02-12
  • 3D电子封装锡晶须建模与实验验证
    王泽坤1,张福曦2()1.奥本大学机械工程系,美国奥本368492.上海海洋大学工程学院,上海201306收稿日期:2021-01-18出版日期:2021-11-28发布日期:2021-12-03通讯作者:张福曦E-mail:fx-zhang@shou.edu.cn作者简介:王泽坤(1990-),男 ...
    本站小编 Free考研考试 2022-02-12