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

• 作者: 吴捷程 孙亚 江建慧
• 来源期刊: 同济大学学报（自然科学版）
• 学科: 工学
• 关键词: 错误程序行为 软件差错 异常控制流 故障注入
• 年，卷（期）: 2018,（7）
• 所属期刊栏目: 电子、计算机、控制与系统
• 页码范围: 972-981
• 页数: 10页
• 分类号: TP311
• 字数: 8358字
• 语种: 中文
• DOI: 10.11908/j.issn.0253-374x.2018.07.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	江建慧	同济大学软件学院	91	680	14.0	21.0
2	孙亚	同济大学软件学院	15	105	6.0	10.0
3	吴捷程	同济大学软件学院	1	1	1.0	1.0