基于扩展变迁系统的分布式系统一致性测试研究.pdfVIP

电子学报000238 电子学报 ACTA ELECTRONICA SINCA 2000 Vol.28 No.2 P.130-132 基于扩展变迁系统的分布式系统一致性测试研究 毕军　吴建平　朱江 摘　要：本文用形式化技术给出分布式系统的一致性概念和测试结构，并讨论基于扩展变迁系统描 述的包含实现关系、测试例、测试集和测试执行的测试理论. 关键词：计算机网络；一致性测试；分布式系统 分类号：TP393　文献标识码：A 文章编号：0372-2112 (2000) 02-0130-03 Research on Extended Transition Systems Based Conformance Testing for Distributed Systems BI Jun,WU Jian-ping，ZHU Jiang 1　引言 　　形式化的一致性测试基于被测对象的形式化描述来清晰无二义性地讨论什么样的实现是一个一 ［1］ 致性实现 .随着形式化技术不断得到应用，人们越来越注意一致性测试中的形式化方法.ISO/IEC ［2］ 9646 给出协议测试的方法论，但不能很好解决复杂分布式系统测试.本文目的是用形式化的手段 讨论分布式系统测试的概念和方法.本文采用抽象的过程来分解分布式系统，提出一个通用的分布式 System，ETS)来形式化地描述分布式系统中的实体，并给出ETS表述的有关概念. 2　分布式系统的一致性测试 2.1　一致性概念 　　定义1　　DSSPECS是分布式系统实例化描述的集合.VPTSPECS 是视点i的实例化描述的集合.一 i 个参数化的描述svpt :Dsvpt→VPTSPECS 可以认为是从参数空间Dsvpt(形式参数的所有可能的实际值 i i i i 的集合)到实例化描述空间VPTSPECS 的函数.VPTREQS 是基于需求描述语言的视点动态一致性描 i i 可表示为一个需求的集合RsvptVPTREQS .元素r∈Rsvpt表示某个动态一致性 述，实例化描述svpt i i i i i 需要.VPTSPECS =PowerSet(VPTREQS).ESPECS是svpt中实体e的实例化描述. i i ij i ij 　　定义2　关系svpt-ofVPTSPECS ×DSSPECS,表示某视点描述属于某分布式系统描述，对 i s ∈DSSPECTS,svpt∈VPTSPECS ，如s =svpt,…,svpt,…,svpt,则svpt svpt-of s.关系ivpt- DS i i DS 1 i n i DS file:///E|/qk/dianzixb/dian2000/0002/000238.htm（第 1／5 页）2010-3-22 16:57:42 电子学报000238 ofVPTMODES ×DSMODES,表示某视点实现属于某分布式系统实现.关系se- i inESPECS ×VPTSPECS ,表示某实体描述属于某视点描述实现.关系ie- ij i inEMODES ×VPTMODES ,表示某实体实现属于某视点实现.