| 摘要: |
| 提出了一个面向分布式程序的测试系统框架TFDS(test system framework for distributed software system),并介绍了它在异构网络中的一个实现原型PSET*(distributed progra m structure and event trace, revised version).框架的主要功能是对分布式程序进行单 元测试和集成测试.包括面向规约设计和源码分析的静态部分和面向程序执行和事件序列分 析的动态部分.在构件的基础上,PSET*的功能可以较容易 |
| 关键词: 分布式系统,测试系统框架,不确定性,事件序列,分布式程序设计语言. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家“九五”重点科技攻关项目基金(No.98-780-01-07-03)资助. |
|
| A Test System Framework for Distributed Programming |
|
GU Qing,CHEN Dao-xu,HAN Jie,XIE Li,SUN Zhong-xiu
|
| Abstract: |
| This paper puts forward a test system framework TFDS (test system framework for distributed software system) for the testing of distributed programs, and as an illustration, introduces its prototype implementation PSET* (distributed progr am structure and event trace, revised version) on heterogeneous network platform s. The main functions of TFDS are for unit testing and integration testing. And the framework is divided into two parts: one for specification design and source code analysis, which works statically; and the other for program execution and event sequence manipulation, which works dynamically. Along with TFDS, and by a component-based architecture, the functionality of the PSET* can be easily im proved and reinforced. |
| Key words: Distributed system, test system framework, non-determinism, event sequence, dis tributed programming language. |
