EFSM模型中测试序列的产生方法  

作　　者：张宏丽[1] 田振清[1] 高浥川 邱国华 

机构地区：[1]内蒙古师范大学电化教育系 [2]内蒙古农业大学,内蒙古呼和浩特010022

出　　处：《内蒙古师范大学学报（自然科学汉文版）》2003年第S1期46-48,共3页Journal of Inner Mongolia Normal University(Natural Science Edition)

摘　　要：在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中,测试实例产生的方法非常重要。介绍了EFSM模型中E-UIO序列的产生方法。

关 键 词：扩展有限状态机 有限状态机 形式描述语言 

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