10.3969/j.issn.1008-0570.2006.18.089
一个用于Java程序可达性测试的改进方案
Java程序的并发性使它比串行程序更难测试,而可达性测试是一种有效的并发程序测试方法.首先比较了现有的Java程序可达性测试技术,进而提出了一种融合的改进方案以提高同步序列集的生成效率.然后指出新方案已覆盖了用伯恩斯坦条件裁减同步序列集的功能.最后详述如何通过扫描源程序来自动获取同步事件的时序约束关系,进而减少不可行的同步序列,并介绍了相应的实现算法和数据结构.
可达性测试、同步序列、伯恩斯坦条件、时序约束
22
TP311.56(计算技术、计算机技术)
中国科学院资助项目60173038;广东省科学基金010421
2006-07-31(万方平台首次上网日期,不代表论文的发表时间)
共4页
252-254,36