一个面向分布式程序的测试系统框架

提出了一个面向分布式程序的测试系统框架tfds(testsystemframeworkfordistributedsoftwaresystem),并介绍了它在异构网络中的一个实现原型pset*(distributedprogramstructureandeventtrace,revisedversion).框架的主要功能是对分布式程序进行单元测试和集成测试.包括面向规约设计和源码分析的静态部分和面向程序执行和事件序列分析的动态部分.在构件的基础上,pset*的功能可以较容易