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

随着分布式系统的不断发展更新 ,CTMF(ISO/IEC 96 46 )所给出的测试方法已经不能满足实际的需要 .提出了用于分布式系统的一致性测试、互操作测试和性能测试的通用测试结构 (generic test architecture) ,并建立了通用测试结构的形式化模型 ,给出了各部件的操作语义 ,为设计开发具有灵活动态的通信结构的分布式测试系统提供了理论基础和依据 .分布式系统通用测试结构扩展了当前基于被测系统类型的测试方法 ,它可以对实际的分布式系统进行整体测试 .