CAJ | 학술논문

协议测试是一种保证网络通信协议实现质量的重要技术,互操作性测试是一类常用的协议测试技术.文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法.首先采用已有的基于可达性分析的方法生成集中式测试序列;然后采用单一错误模型对其进行系统的错误覆盖分析,为达到更高的错误覆盖度,进一步提出一种增强的测试生成算法;最后讨论了互操作性测试中的控制观察问题,选择适当的分布式测试架构,并进而生成分布式同步测试序列.实验结果表明:与原有方法相比,该方法可以有效地提高测试集的错误覆盖,并具备一定的可行性和有效性.
협의측시시일충보증망락통신협의실현질량적중요기술,호조작성측시시일류상용적협의측시기술.문장제출료일충기우통신다단구유한상태궤모형적협의호조작성측시생성방법.수선채용이유적기우가체성분석적방법생성집중식측시서렬;연후채용단일착오모형대기진행계통적착오복개분석,위체도경고적착오복개도,진일보제출일충증강적측시생성산법;최후토론료호조작성측시중적공제관찰문제,선택괄당적분포식측시가구,병진이생성분포식동보측시서렬.실험결과표명:여원유방법상비,해방법가이유효지제고측시집적착오복개,병구비일정적가행성화유효성.