含自发事件的协议一致性测试例的生成  

TEST SEQUENCE GENERATION OF PROTOCOL WITH SPONTANEOUS EVENTS

作　　者：石勇军[1] 屈玉贵[1] 赵保华[1] 

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

出　　处：《计算机应用》2001年第8期1-3,共3页journal of Computer Applications

基　　金：国家863计划项目 (863 30 0 0 2 0 8 99与 863 31 7 0 4 1 6 99);教育部博士点基金项目 (2 0 0 0 0 3580 2 )

摘　　要：目前有许多基于有限状态机生成一致性测试序列的方法 ,但是这些方法还不能应用于含有自发事件的有限状态机。文中对UIO方法加以补充 ,使之适用于含自发事件的有限状态机 ,并已将该方法应用于OSPF协议的一致性测试。Methods are developed to generate test sequence for conformance testing from finite state machine. However, those methods can not be applied to FSM with spontaneous events. In this paper, we propose a complementary step based on UIO method in order to handle spontaneous events in FSM. It has been used in OSPF protocol conformance testing.

关 键 词：一致性测试 有限状态机 自发事件 通信协议 网络协议 

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