基于EFSM的自检测试  

Self-Checking Based on EFSM Model

作　　者：周晓煜[1] 赵保华[1] 屈玉贵[1] 

机构地区：[1]中国科技大学计算机系,安徽合肥230027

出　　处：《小型微型计算机系统》2002年第4期438-440,共3页Journal of Chinese Computer Systems

基　　金：国家自然科学基金重大研究计划项目 ( 90 10 40 10 )资助;国家 86 3计划项目 ( 2 0 0 1AA112 0 6 2 )资助;教育部博士点基金项目 ( 2 0 0 0 0 35 80 2 )资助 ;安徽省自然科学基金项目 ( 0 10 42 2 0 8)资助

摘　　要：在 EFSM (Extended Finite State Machine)的测试中 ,通常需要一些特征序列来判断当前的状态 ,以确定是否存在转换错误 .由于 EFSM中转换可执行条件的存在 ,使这些序列的生成比较困难 .本文引入了自检测试思想 ,通过比较待测实现与从 EFSM得到的直接实现的执行结果 ,来确定是否到达了正确的状态 。In the protocol testing based on EFSM model ,some special sequences are needed to determine the current state so that we can determine whether the transition faults exist.But it is difficult to generate these sequences in EFSM because of the existence of conditions of the transitions.In this paper ,the self-checking is introduced to EFSM.The current state is determined by comparing the Implementation Under Testing(IUT)and the direct implementation of EFSM.So the generation of the special sequences are not necessary.

关 键 词：扩展有限状态机 自检测试 通信协议 一致性测试 

分 类 号：TN915.04[电子电信—通信与信息系统]