CAJ | 학술논문

协议的一致性测试是用来检验协议实现是否符合协议规范，其关键技术就是测试序列的生成。本文提出了一种基于扩展的有限状态自动机EFSM的全面的可执行的测试序列生成方法。该方法使用UIOE方法对控制流进行分析，使用al-du-path 标准对数据流进行分析。通过使用改进的转换可执行分析TEA和逆向判定性，用深度优先搜索的方法扩展出一棵转换可执行分析树，然后生成包含控制流和数据流的可执行测试序列。
협의적일치성측시시용래검험협의실현시부부합협의규범，기관건기술취시측시서렬적생성。본문제출료일충기우확전적유한상태자동궤EFSM적전면적가집행적측시서렬생성방법。해방법사용UIOE방법대공제류진행분석，사용al-du-path 표준대수거류진행분석。통과사용개진적전환가집행분석TEA화역향판정성，용심도우선수색적방법확전출일과전환가집행분석수，연후생성포함공제류화수거류적가집행측시서렬。