论文部分内容阅读
并发程序中时序的不确定性导致的错误很难被检测.本文介绍了一种基于并发错误模式的多线程动态测试方法,通过在并发事件处插入线程时序改变探针,发现并发错误.本文首先介绍了出现在并发程序中的几种常见的错误模式,接着根据错误模式介绍插装策略.
一种基于并发错误模式的Java并发程序动态测试方法
【摘 要】
：
并发程序中时序的不确定性导致的错误很难被检测.本文介绍了一种基于并发错误模式的多线程动态测试方法,通过在并发事件处插入线程时序改变探针,发现并发错误.本文首先介绍了
【机 构】
：
北京航空航天大学软件工程研究所
【出 处】
：
计算机工程与科学
【发表日期】
：
2006年z2期
【基金项目】
：
国家自然科学基金资助项目(60373016),武器装备预研基金项目
其他文献