一种基于并发错误模式的Java并发程序动态测试方法

摘要：

并发程序中时序的不确定性导致的错误很难被检测.本文介绍了一种基于并发错误模式的多线程动态测试方法,通过在并发事件处插入线程时序改变探针,发现并发错误.本文首先介绍了出现在并发程序中的几种常见的错误模式,接着根据错误模式介绍插装策略.

关键词： 并发错误模式 并发程序测试 动态测试 插装技术 字节码

作者: 杨楷 刘超 金茂忠

作者单位: 北京航空航天大学软件工程研究所,北京,100083

会议类型: 国内会议

会议名称: 中国计算机学会软件工程专委会2006年年会

会议地点: 长沙

会议语种:中文

页码: 24-26,78

在线出版日期: 2006-11-01（万方平台首次上网日期，不代表论文的发表时间）