会议专题

被动测试在协议一致性测试中的应用

协议一致性测试是检验协议实现的重要手段,对于保证平台间可靠交互起着至关重要的作用.目前在协议一致性测试领域研究中较多的测试方法是主动测试.随着协议测试用例集越来越复杂,被动测试应运而生.本文综述了被动测试在协议一致性测试方面的应用,总结了被动测试中FSM,NFSM,CFSM,EFSM模型的特征,以及基于上述四种模型的算法中存在的不足,最后指出了对EFSM模型进行改进的努力方向.

被动测试 协议一致测试 测试模型

李雪 韩柯 陈昱松 董超

总参第六十一研究所

国内会议

中国电子学会电子系统工程分会第十三届信息化理论学术研讨会

合肥

中文

343-346

2006-10-01(万方平台首次上网日期,不代表论文的发表时间)