应用于路由协议测试的在线测试系统

在深入分析路由协议特点的基础上 ,提出了适应于路由协议测试的在线测试方法。该方法在通信线路上以监听方式对协议实现进行测试 ,可在实际网络运行环境下进行而不干扰网络运行 ,并具有其他有益特性。在分析解决了关键技术问题之后 ,提出了在线测试系统OLTS的设计目标和系统框架 ;OLTS通过状态同步算法对路由协议的状态机进行测试 ,通过拓扑结构分析和内部过程模拟等手段测试路由信息的交互和处理 ;OLTS具有直观友好的用户界面和良好的可扩充性。目前已完成了原型系统 ,开展了BGP。

基于分层有限状态自动机的一致性测试生成

为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基于HFSM的一致性测试生成方法。以组播监听者发现(MLD)协议为例说明了该方法的应用。该方法虽然比传统的转化为有限状态自动机(FSM)描述再进行一致性测试生成的方法在适用性上有所降低,但是仍然能够满足大多数通信系统测试的需求,并且由于该方法利用了HFSM的分层特性,因此该方法生成的测试序列长度较短,执行的效率也较高。