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

Dynamic Analysis and Replay of Concurrent Java Programs

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

： The Java language supports the use of monitors，sockets and remote method invocation for concurrent programming．However，The nondeterministic behavior of concurrent Java programs，like other concurrent programs，make the results of replay and regression testing uncertain，so they are difficult to specify，design，code，test and debug．This paper，describes the design of a tool，called Safepro／Java，which provides testing and debugging tools for concurrent Java programs．To collect run－time information or control program execution，Safepro／Java requires transformation of a concurrent Java program into a slightly different Java Program．