状态格局相关论文
为避免可达性分析方法生成协议测试序列状态过程中爆炸问题的出现,提出了一种启发式探索协议状态格局空间的可执行测试序列生成算......
基于扩展有限状态机（EFSM）模型自动生成测试序列可以提高测试效率．由于EFSM模型包含丰富的变量和谓词条件，它们之间的冲突可能导致自动......
