通信学报
通信學報
통신학보
JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS
2000年
11期
48-55
,共8页
协议测试%可执行的唯一输入输出%逆向可判定转换%扩展的有限状态机%转换可执行性分析
協議測試%可執行的唯一輸入輸齣%逆嚮可判定轉換%擴展的有限狀態機%轉換可執行性分析
협의측시%가집행적유일수입수출%역향가판정전환%확전적유한상태궤%전환가집행성분석
在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中,测试序列的可执行性是一个重要的问题.同时,还要考虑到测试序列的优化问题.文中以EFSM为协议的描述模型,引入了逆向判定性的概念,并利用这一概念对转换可执行性分析(TEA)方法进行了改进,缩短了生成的测试序列的长度,并且减小了所需的TEA树扩展空间.
在一箇以擴展的有限狀態機(EFSM)為模型描述的協議測試繫統中,測試序列的可執行性是一箇重要的問題.同時,還要攷慮到測試序列的優化問題.文中以EFSM為協議的描述模型,引入瞭逆嚮判定性的概唸,併利用這一概唸對轉換可執行性分析(TEA)方法進行瞭改進,縮短瞭生成的測試序列的長度,併且減小瞭所需的TEA樹擴展空間.
재일개이확전적유한상태궤(EFSM)위모형묘술적협의측시계통중,측시서렬적가집행성시일개중요적문제.동시,환요고필도측시서렬적우화문제.문중이EFSM위협의적묘술모형,인입료역향판정성적개념,병이용저일개념대전환가집행성분석(TEA)방법진행료개진,축단료생성적측시서렬적장도,병차감소료소수적TEA수확전공간.
