计算机测量与控制
計算機測量與控製
계산궤측량여공제
COMPUTER MEASUREMENT & CONTROL
2011年
1期
54-56,68
,共4页
谢磊%奚全生%魏蛟龙%朱光喜
謝磊%奚全生%魏蛟龍%硃光喜
사뢰%해전생%위교룡%주광희
一致性测试%分布式系统%np-FSM%控制观察问题%测试序列生成
一緻性測試%分佈式繫統%np-FSM%控製觀察問題%測試序列生成
일치성측시%분포식계통%np-FSM%공제관찰문제%측시서렬생성
在协议工程领域,协议测试是非常重要的工作;对于分布式协议的测试多采用多端口有限状态机模型进行描述;由于分布式协议测试存在控制观察问题,需要对测试序列进行同步和协调;通过对现有分布式测试模型的改进,引入虚拟多端口测试的方法,极大地简化了多个测试器之间的同步和协调问题,并且不会显著增加系统的构建成本,提高了测试效率.
在協議工程領域,協議測試是非常重要的工作;對于分佈式協議的測試多採用多耑口有限狀態機模型進行描述;由于分佈式協議測試存在控製觀察問題,需要對測試序列進行同步和協調;通過對現有分佈式測試模型的改進,引入虛擬多耑口測試的方法,極大地簡化瞭多箇測試器之間的同步和協調問題,併且不會顯著增加繫統的構建成本,提高瞭測試效率.
재협의공정영역,협의측시시비상중요적공작;대우분포식협의적측시다채용다단구유한상태궤모형진행묘술;유우분포식협의측시존재공제관찰문제,수요대측시서렬진행동보화협조;통과대현유분포식측시모형적개진,인입허의다단구측시적방법,겁대지간화료다개측시기지간적동보화협조문제,병차불회현저증가계통적구건성본,제고료측시효솔.
