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

Java语言在并发程序方面的广泛应用对软件测试提出了新的挑战。众所周知，由于并发程序的不确定性，使得并发程序的设计、开发、调试和测试都非常困难。文章介绍了Safepro／Java中的多线程测试技术，通过对Java源程序进行适当的修改并且保持语义不变，跟踪并发Java程序的运行过程，收集有关数据并对数据进行分析，最终控制并发Java程序的重演。