钱兰 张英堂 尹霞 王平 吕欣岩 刘云龙 吴鹏辉 李忠诚 兰海涛 祁飞 许建军 蒋雪垠 闫健恩 柳鑫 周颖 施新刚 吕勇 朱雪峰 马玉祥 周颢 范炜玮 詹静 孙娱 苏金树 何强 魏剑嵬 高传善 许海燕 杨志家 庞其祥

IPv6 TTCN 研究 数据库 形式化方法 LDP 互操作测试 互连测试 结构测试 树表结合表示法 互操作性 测试方法 BGP 惟一输入输出序列 TTCN-3 测试传输 形式化描述方法 测试组件 回归测试 路由协议 测试例 外部行为表示 被测实现 自发事件 通信扩展有限状态机 集中监控 SDL WinPcap 测试系统 固定测试集

IPv6

TTCN