一种基于动态规划的协议一致性测试序列生成算法

摘要：

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

关键词： 通信协议 一致性测试 序列生成 可执行性

作者: 尤娟 李俊全 夏松 万伟

作者单位: 解放军信息工程大学,郑州市,450004 解放军电子工程学院,合肥市,230037 北京航天飞行控制中心,北京,100094

会议类型: 国内会议

会议名称: 第十八届全国青年通信学术年会

会议地点: 厦门

会议语种:中文

页码: 129-134

在线出版日期: 2013-11-30（万方平台首次上网日期，不代表论文的发表时间）