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