论文部分内容阅读
在以扩展有限状态机为模型的协议一致性测试中,为了提高可执行测试序列的生成效率,论文将协议测试序列的生成问题转化为一个最优路径多阶段决策问题,基于互异代表系理论对每个协议转换边赋权值,提出了一种基于动态规划的协议状态转换序列生成算法。新算法对状态搜索策略进行了改进,降低了测试序列的生成冗余度,具有更高的执行效率。