一种基于EFSM的一致性测试序列生成方法

摘要

协议的一致性测试是用来检验协议实现是否符合协议规范，其关键技术就是测试序列的生成。本文提出了一种基于扩展的有限状态自动机EFSM的全面的可执行的测试序列生成方法。该方法使用UIOE方法对控制流进行分析，使用al-du-path 标准对数据流进行分析。通过使用改进的转换可执行分析TEA和逆向判定性，用深度优先搜索的方法扩展出一棵转换可执行分析树，然后生成包含控制流和数据流的可执行测试序列。