并行测试技术及在军事通信系统测试中的应用研究

介绍了并行测试的概念,分析了并行测试实现的硬软件方法和基本结构体系;结合当前军用通信系统后勤保障中测试方法的不足及未来战场快速测试的要求,对并行测试技术在军事通信系统中的应用进行了分析,提出了需要解决的任务调度、预防测试系统死锁等几点关键技术和并行测试系统组建原则。     

一种基于调用链的Java程序数据竞争静态检测算法

多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。论文将竞争静态检测和静态切片分析结合起来,提出了一种类层次的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。