Java并发程序动态分析技术研究

摘要：

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

关键词：软件测试、动态测试、插装技术、并发程序

所属期刊栏目：41

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家863高技术项目"基于Web Services的系统软件核心技术及运行平台研究"2004AA112030

在线出版日期：2008-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：484-490