面向java的分布式程序测试系统

由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向java语言的分布式程序测试系统jdpt(java-orienteddistributedprogramtestingsystem).jdpt基于运行环境定义事件,通过事件序列记录分布式程序的运行过程,并定义事件约束检测可行事件序列集的有效性.通过该技术,jdpt可以有效地判断程序在运行环境中并发执行的正确性,适用于跨平台的java程序测试.