一种基于异常控制流的错误程序行为分析方法
An Approach to Analyzing Erroneous Program Behavior Based on Exception Control Flow
投稿时间:2017-07-17  修订日期:2018-05-21
DOI:10.11908/j.issn.0253-374x.2018.07.016     稿件编号:    中图分类号:TP311
 
摘要点击次数: 296    全文下载次数: 338
中文摘要
      通过静态分析程序显式异常控制流收集到程序中可引起异常的差错信息,采用故障注入实验,分析了程序的“故障差错异常”传播过程.结合函数级异常控制流的描述,对异常相关的差错及其对程序行为的影响进行了分析,建立了基于异常控制流的错误程序行为模型,开发了相应的分析工具.以OpenStack核心组件为对象进行实验,结果表明从异常层次对错误程序行为进行分析是合理而有效的.该方法为具有异常处理机制的大规模程序的错误行为自动分析和差错数据的收集提供了新手段.
英文摘要
      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.
HTML   查看全文  查看/发表评论  

您是第4776806位访问者
版权所有《同济大学学报(自然科学版)》
主管单位:教育部 主办单位:同济大学
地  址: 上海市四平路1239号 邮编:200092 电话:021-65982344 E-mail: zrxb@tongji.edu.cn
本系统由北京勤云科技发展有限公司设计