分布式通用测试结构的形式化研究  

A FORMAL APPROACH TO TEST ARCHITECTURES FOR DISTRIBUTED SYSTEMS

作　　者：王建国[1] 吴建平[1] 

机构地区：[1]清华大学计算机科学系,北京100084

出　　处：《计算机研究与发展》2000年第9期1130-1137,共8页Journal of Computer Research and Development

基　　金：国家自然科学基金资助!(项目编号 6972 5 0 0 3和 69682 0 0 2 )

摘　　要：随着分布式系统的不断发展更新 ,CTMF(ISO/IEC 96 46 )所给出的测试方法已经不能满足实际的需要 .提出了用于分布式系统的一致性测试、互操作测试和性能测试的通用测试结构 (generic test architecture) ,并建立了通用测试结构的形式化模型 ,给出了各部件的操作语义 ,为设计开发具有灵活动态的通信结构的分布式测试系统提供了理论基础和依据 .分布式系统通用测试结构扩展了当前基于被测系统类型的测试方法 ,它可以对实际的分布式系统进行整体测试 .A generic test architecture for conformance, interoperability, and performance testing of distributed systems is presented in this paper. The generic test architecture extends current test architectures with respect to the types of systems that can be tested. In support of the latter requirement, a formal approach to test system for distributed systems is presented in this paper. A test system itself is regarded as a distributed system whose behaviour is determined by the behaviour of components and their interaction using a flexible and dynamic communication structure.

关 键 词：分布式系统 测试结构 CTMF 形式化 通信协议 

分 类 号：TN915.04[电子电信—通信与信息系统]