基于扩展有限状态机的一致性测试例生成研究  

作　　者：韩冰青[1] 张亚图[2] 明朝辉[2] 

机构地区：[1]南京审计学院计算机系,南京210029 [2]江苏教育学院数学与计算机科学系,南京210013

出　　处：《福建电脑》2004年第7期38-39,共2页Journal of Fujian Computer

摘　　要：本文主要讨论基于扩展有限状态机的一致性测试例的生成方法,研究一种动态选择与自动机相结合的一致性测试集的生成技术,该技术可以对测试集进行有效优化,并能提高生成测试集的覆盖率。

关 键 词：扩展有限状态机 一致性测试 测试例 网络通信 EFSM模型 UIO方法 

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