解放军理工大学学报（自然科学版）
解放軍理工大學學報（自然科學版）
해방군리공대학학보（자연과학판）
JOURNAL OF PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE EDITION)
2012年
2期
165-170
,共6页
孙涛%叶新铭%刘靖%杨蒙
孫濤%葉新銘%劉靖%楊矇
손도%협신명%류정%양몽
着色Petri网%测试序列%属性%PCO
著色Petri網%測試序列%屬性%PCO
착색Petri망%측시서렬%속성%PCO
针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN(colored petri net)、面向属性的协议一致性测试序列生成方法.首先,构建被测协议规范的CPN模型,即协议模型,并将被测协议的若干功能属性采用CPN进行形式描述,形成属性模型.提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法.该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题,而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素的自动提取处理,使得处理后的测试序列可直接用于协议实际测试过程.为有效验证所提测试序列生成方法的可行性,开发了一套实现该方法的软件,并应用于HMIPv6协议的实际测试过程中.实践表明,这套软件可以对较为复杂的协议一致性测试过程提供强有力的支持.
針對狀態空間規模較大的協議,提齣瞭一種基于著色Petri網CPN(colored petri net)、麵嚮屬性的協議一緻性測試序列生成方法.首先,構建被測協議規範的CPN模型,即協議模型,併將被測協議的若榦功能屬性採用CPN進行形式描述,形成屬性模型.提齣瞭屬性模型到協議模型的狀態投影算法、模型狀態空間的路徑匹配算法和搜索算法,基于這些算法給齣瞭一種完整的基于屬性的測試序列生成方法.該方法不但可以有效避免協議規模龐大所導緻的狀態爆炸問題,而且還對測試中的PCO庫所進行瞭特殊標識,完成測試序列中可觀察元素的自動提取處理,使得處理後的測試序列可直接用于協議實際測試過程.為有效驗證所提測試序列生成方法的可行性,開髮瞭一套實現該方法的軟件,併應用于HMIPv6協議的實際測試過程中.實踐錶明,這套軟件可以對較為複雜的協議一緻性測試過程提供彊有力的支持.
침대상태공간규모교대적협의,제출료일충기우착색Petri망CPN(colored petri net)、면향속성적협의일치성측시서렬생성방법.수선,구건피측협의규범적CPN모형,즉협의모형,병장피측협의적약간공능속성채용CPN진행형식묘술,형성속성모형.제출료속성모형도협의모형적상태투영산법、모형상태공간적로경필배산법화수색산법,기우저사산법급출료일충완정적기우속성적측시서렬생성방법.해방법불단가이유효피면협의규모방대소도치적상태폭작문제,이차환대측시중적PCO고소진행료특수표식,완성측시서렬중가관찰원소적자동제취처리,사득처리후적측시서렬가직접용우협의실제측시과정.위유효험증소제측시서렬생성방법적가행성,개발료일투실현해방법적연건,병응용우HMIPv6협의적실제측시과정중.실천표명,저투연건가이대교위복잡적협의일치성측시과정제공강유력적지지.
