自适应EFSM可执行测试序列生成

Keywords: [自适应搜索, 扩展有限状态机, 状态格局, 可达性分析, 测试序列, adaptive exploration, extend finite state machine (EFSM), state configuration, reachability analysis, test sequence]

Full-Text   Cite this paper   Add to My Lib

Abstract:

基于扩展有限状态机(EFSM)模型自动生成测试序列可以提高测..

Full-Text