摘要:并发程序中时序的不确定性导致的错误很难被检测.本文介绍了一种基于并发错误模式的多线程动态测试方法,通过在并发事件处插入线程时序改变探针,发现并发错误.本文首先介绍了出现在并发程序中的几种常见的错误模式,接着根据错误模式介绍插装策略.
关键词:并发错误模式 并发程序测试 动态测试 插装技术 字节码
单位:北京航空航天大学软件工程研究所; 北京; 100083; 北京航空航天大学软件工程研究所; 北京; 100083; 北京航空航天大学软件工程研究所; 北京; 100083
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社