论文部分内容阅读
并发程序应用越来越普遍,但其固有的运行不确定性,加大了设计、编码、测试和纠错的难度.介绍一种基于插装的Java并发程序动态执行轨迹跟踪技术,通过该技术可视化地向用户展示并发程序执行的内部逻辑.详细讨论Java并发同步原理、动态测试的模型、插装库设计与插装策略等,该项技术在实际工作中已得到应用.