一个用于Java程序可达性测试的改进方案

摘要：

Java程序的并发性使它比串行程序更难测试,而可达性测试是一种有效的并发程序测试方法.首先比较了现有的Java程序可达性测试技术,进而提出了一种融合的改进方案以提高同步序列集的生成效率.然后指出新方案已覆盖了用伯恩斯坦条件裁减同步序列集的功能.最后详述如何通过扫描源程序来自动获取同步事件的时序约束关系,进而减少不可行的同步序列,并介绍了相应的实现算法和数据结构.

关键词：可达性测试、同步序列、伯恩斯坦条件、时序约束

所属期刊栏目：22

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

资助基金：中国科学院资助项目60173038;广东省科学基金010421

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

页数：共4页

页码：252-254,36