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

作　　者：邸剑[1] 王晓月[1] 李丽芬[1] 

机构地区：[1]华北电力大学控制与计算机工程学院,河北保定071000

出　　处：《电子制作》2013年第21期31-31,共1页Practical Electronics

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

关 键 词：一致性测试 测试序列生成 转换可执行分析 逆向判定性 

分 类 号：TP274[自动化与计算机技术—检测技术与自动化装置]