全部 标题 作者 关键词 摘要
Keywords: [自适应搜索, 扩展有限状态机, 状态格局, 可达性分析, 测试序列, adaptive exploration, extend finite state machine (EFSM), state configuration, reachability analysis, test sequence]
Full-Text Cite this paper Add to My Lib
基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测..
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133