提出了一个面向分布式程序的测试系统框架 TFDS(test system framework for distributed softwaresystem) ,并介绍了它在异构网络中的一个实现原型 PSET* (distributed program structure and event trace,revised version) .框架的主...提出了一个面向分布式程序的测试系统框架 TFDS(test system framework for distributed softwaresystem) ,并介绍了它在异构网络中的一个实现原型 PSET* (distributed program structure and event trace,revised version) .框架的主要功能是对分布式程序进行单元测试和集成测试 .包括面向规约设计和源码分析的静态部分和面向程序执行和事件序列分析的动态部分 .在构件的基础上 ,PSET* 的功能可以较容易地得以改进和增强 .展开更多
由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向Java语言的分布式程序测试系统JDPT(Java-oriented distributed program testing system).JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运...由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向Java语言的分布式程序测试系统JDPT(Java-oriented distributed program testing system).JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运行过程,并定义事件约束检测可行事件序列集的有效性.通过该技术,JDPT可以有效地判断程序在运行环境中并发执行的正确性,适用于跨平台的Java程序测试.展开更多
文摘由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向Java语言的分布式程序测试系统JDPT(Java-oriented distributed program testing system).JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运行过程,并定义事件约束检测可行事件序列集的有效性.通过该技术,JDPT可以有效地判断程序在运行环境中并发执行的正确性,适用于跨平台的Java程序测试.
