| 一种基于异常控制流的错误程序行为分析方法 |
| |
| 引用本文： | 江建慧,吴捷程,孙亚.一种基于异常控制流的错误程序行为分析方法[J].同济大学学报(自然科学版),2018,46(7):0972-0981. |
| |
| 作者姓名： | 江建慧 吴捷程 孙亚 |
| |
| 作者单位： | 同济大学软件学院 |
| |
| 基金项目： | 国家自然科学基金项目（61432017） |
| |
| 摘 要： | 通过静态分析程序显式异常控制流收集到程序中可引起异常的差错信息,采用故障注入实验,分析了程序的"故障-差错-异常"传播过程.结合函数级异常控制流的描述,对异常相关的差错及其对程序行为的影响进行了分析,建立了基于异常控制流的错误程序行为模型,开发了相应的分析工具.以OpenStack核心组件为对象进行实验,结果表明从异常层次对错误程序行为进行分析是合理而有效的.该方法为具有异常处理机制的大规模程序的错误行为自动分析和差错数据的收集提供了新手段.
|
| 关 键 词： | 错误程序行为 软件差错 异常控制流 故障注入 |
| 收稿时间： | 2017/7/17 0:00:00 |
| 修稿时间： | 2018/5/21 0:00:00 |
An Approach to Analyzing Erroneous Program Behavior Based on Exception Control Flow |
| |
| JIANG Jianhui,WU Jiecheng and SUN Ya.An Approach to Analyzing Erroneous Program Behavior Based on Exception Control Flow[J].Journal of Tongji University(Natural Science),2018,46(7):0972-0981. |
| |
| Authors: | JIANG Jianhui WU Jiecheng and SUN Ya |
| |
| Institution: | School of Software Engineering, Tongji University, Shanghai 201804, China,School of Software Engineering, Tongji University, Shanghai 201804, China and School of Software Engineering, Tongji University, Shanghai 201804, China |
| |
| Abstract: | |
| |
| Keywords: | erroneous program behavior software error exception control flow fault injection |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《同济大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《同济大学学报(自然科学版)》下载免费的PDF全文 |
|
