计算机工程与应用2007,Vol.43Issue(7):62-64,74,4.
基于扩展有限状态机测试序列生成方法研究
Research on test sequence generation methods based on EFSM
蒋凡 1魏蓉 1郐吉丰1
作者信息
- 1. 中国科学技术大学,计算机科学与技术系,合肥,230026
- 折叠
摘要
关键词
扩展有限状态机/有限状态机/测试序列生成/数据流测试/可执行性分类
信息技术与安全科学引用本文复制引用
蒋凡,魏蓉,郐吉丰..基于扩展有限状态机测试序列生成方法研究[J].计算机工程与应用,2007,43(7):62-64,74,4.