| Java程序的静态故障注入工具 |
| |
| 引用本文： | 刘佳翔,江建慧,靳昂,楼俊钢.Java程序的静态故障注入工具[J].内蒙古大学学报(自然科学版),2011,42(5):552-559. |
| |
| 作者姓名： | 刘佳翔 江建慧 靳昂 楼俊钢 |
| |
| 作者单位： | 同济大学计算机科学与技术系,上海,201804 |
| |
| 基金项目： | 国家高技术研究发展计划(No.2007AA01Z142) |
| |
| 摘 要： | 对DrJava和50个Java语言开源项目的程序故障(差错)模式进行了分析,为其中一批比较常见的故障模式构建了故障模拟操作.设计并实现了一个基于BCEL库的字节码级Java程序故障注入系统原型,它以静态方式对Java目标程序进行故障模式扫描和故障注入,并给出相应的报告.对Java示例程序所进行的故障注入实验初步验证了所开发的原型的有效性.
|
| 关 键 词： | Java程序 故障模式 故障模拟 故障注入工具 |
A Static Fault Injection Tool for Java Programs |
| |
| LIU Jia-xiang,JIANG Jian-hui,JIN Ang,LOU Jun-gang.A Static Fault Injection Tool for Java Programs[J].Acta Scientiarum Naturalium Universitatis Neimongol,2011,42(5):552-559. |
| |
| Authors: | LIU Jia-xiang JIANG Jian-hui JIN Ang LOU Jun-gang |
| |
| Institution: | LIU Jia-xiang,JIANG Jian-hui,JIN Ang,LOU Jun-gang(Department of Computer Science and Technology,Tongji University,Shanghai 201804,China) |
| |
| Abstract: | The fault modes of programs of DrJava and 50 Java language open source projects are analyzed,and the fault emulation operators of a batch of common used fault modes are constructed.A prototype of the fault injection tool for byte-code level Java programs based BCEL is designed and implemented.The tool can scan and inject faults for target programs in static mode,and give reports in XML form.The effectiveness of the tool is validated preliminarily by examples of Java programs. |
| |
| Keywords: | Java program fault mode fault emulation fault injection tool |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
