西南民族大学学报(自然科学版)
西南民族大學學報(自然科學版)
서남민족대학학보(자연과학판)
JOURNAL OF SOUTHWEST NATIONALITIES COLLEGE·NATURAL SCIENCE EDITION
2007年
6期
1382-1387
,共6页
非确定有限状态机%部分有限状态机%协议一致性测试%协议工程
非確定有限狀態機%部分有限狀態機%協議一緻性測試%協議工程
비학정유한상태궤%부분유한상태궤%협의일치성측시%협의공정
在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.
在繫統實際測試過程中,髮現非確定部分有限狀態機的模型可以方便地描述和刻畫許多繫統的邏輯行為.但在這種模型下,狀態機併非完全接受所有的輸入序列,且在某些輸入序列上會產生不確定的輸齣序列,所以,經典的完全確定有限狀態機的一緻性定義,即被測實現和協議規範等價,不適用于非確定部分有限狀態機.本文引入瞭一種新的一緻性定義,併在非確定部分有限狀態機下,給齣瞭該一緻性定義下完備的測試序列生成方法.
재계통실제측시과정중,발현비학정부분유한상태궤적모형가이방편지묘술화각화허다계통적라집행위.단재저충모형하,상태궤병비완전접수소유적수입서렬,차재모사수입서렬상회산생불학정적수출서렬,소이,경전적완전학정유한상태궤적일치성정의,즉피측실현화협의규범등개,불괄용우비학정부분유한상태궤.본문인입료일충신적일치성정의,병재비학정부분유한상태궤하,급출료해일치성정의하완비적측시서렬생성방법.