论文部分内容阅读
测试序列自动生成是通信协议测试中的重要问题，高覆盖率、完备、精简的测试序列对提高整个测试系统的效率起着重要的作用。对不含汇聚边、基于FSM模型的协议一致性测试，论文提出了一种新的测试序列自动生成方法：将FSM用关联矩阵图表示，引入线性规划概念，利用整数线性规划求解得到对称图，最后用中国邮递员算法遍历得到最短遍历序列，以欧拉回路的任意节点UIO序列或欧拉路径尾状态的UIO序列作为验证序列，研究表明此方法具有可行性与优越性。