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

A Concurrent-Bug-Pattern-Based Dynamic Method for Testing Java Concurrent Programs

作　　者：杨楷[1] 刘超[1] 金茂忠[1] 

机构地区：[1]北京航空航天大学软件工程研究所,北京,100083 北京航空航天大学软件工程研究所,北京,100083 北京航空航天大学软件工程研究所,北京,100083

出　　处：《计算机工程与科学》2006年第z2期24-26,78,共4页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(60373016);武器装备预研基金项目

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

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]