Java程序故障模式及故障注入方案
故障注入是容错机制验证、软件测试、可信性基准程序所必需的重要技术手段.为了保证所选的故障模式具有典型性,必须要对程序中实际发生的各种故障模式进行分类整理,抽取出其特征,形成一组具有代表性的故障模式.本文以Java语言作为载体,详细分析了常见bug模式作为故障施加到目标系统或软件中的方法,提出了针对Java的故障注入方案.
可信性基准程序 故障注入 变异操作 故障模式 容错机制
靳昂 江建慧
同济大学计算机系,中国 上海 201804
国内会议
苏州
中文
253-260
2008-05-21(万方平台首次上网日期,不代表论文的发表时间)