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

来源 :同济大学学报：自然科学版 | 被引量 : 0次 | 上传用户：ty20011

【摘要】

：

通过静态分析程序显式异常控制流收集到程序中可引起异常的差错信息,采用故障注入实验,分析了程序的＂故障-差错-异常＂传播过程.结合函数级异常控制流的描述,对异常相关的差错及

【作者】

：

江建慧吴捷程孙亚

【机构】

：

同济大学软件学院

【出处】

：

同济大学学报：自然科学版

【发表日期】

：

2018年7期

【关键词】

：

错误程序行为软件差错异常控制流故障注入 erroneous program behavior software error exception contr

【基金项目】

：

国家自然科学基金（61432017,61772199）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

电视文艺节目演出的舞台灯光与音响

日照台创办的<为青春喝彩>2002年春节晚会是一台集文艺演出与现场访谈为一体的互动性文艺晚会,整个晚会现场是由一个文艺演出区和一个节目访谈区及周围300多人的观众区组成,

期刊

电视文艺节目演出舞台灯光音响

弹翼智能负载模拟系统

负载模拟系统的目的是为给不同结构原理的弹翼或舵面的作动机构加载，用以模拟弹翼在不同的外界条件下作动筒的阻力以及不同外界条件对机构的影响。

期刊

弹翼模拟加载作动筒Missile wing Analog loading Ram

确保安全高效生产的机电设备管理优化

现代化的机器大生产不但要有配置先进的设备，而且要有高素质的使用管理队伍，根据屯兰矿近几年使用设备的生产实践．总结了在设备使用管理过程中应注意的各个环节，并对机电专业人员

期刊