检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:谢磊[1] 奚全生[2] 魏蛟龙[1] 朱光喜[1]
机构地区:[1]华中科技大学电子与信息工程系,湖北武汉430074 [2]北京航天测控公司,北京100830
出 处:《计算机测量与控制》2011年第1期54-56,68,共4页Computer Measurement &Control
摘 要:在协议工程领域,协议测试是非常重要的工作;对于分布式协议的测试多采用多端口有限状态机模型进行描述;由于分布式协议测试存在控制观察问题,需要对测试序列进行同步和协调;通过对现有分布式测试模型的改进,引入虚拟多端口测试的方法,极大地简化了多个测试器之间的同步和协调问题,并且不会显著增加系统的构建成本,提高了测试效率。In protocol engineering area, protocol testing is a very important task. The multi--port Finite State Machine (np--FSM) model is usually used in distributed protocol testing. As a result of controllability and observability problems, synchronization and coordination of test sequence of distributed protocol is needed. In this paper, an improved distributed test model is introduced. The virtual multi-- port test method can greatly simplify the synchronization and coordination problems, and improve the test efficiency.
关 键 词:一致性测试 分布式系统 np—FSM 控制观察问题 测试序列生成
分 类 号:TP393[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222