张升 钟慧玲 周颢 李中杰 李春媛 杨飏 郝松侠 胡甜 尹霞 缪淮扣 王红霞 柯尧 屠宇 刘兴伟 孟学军 何立强 何凡 张焕国 刘宗袆 刘咏梅 虞露 吴铁楠 张平 孟光萌 赵玉兰 王之梁 周玲 徐建闽 马发俊 郭闯

时间约束 测试情况 互操作性测试 GE-LOTOS 动态重排序 边界网关协议 知识库 协议测试 E-LOTOS TTCN IPv6协议 测试效率 变量使用 动态测试 Prolog 测试序列 并发TTCN TCL语言 错误定位 B方法 集成方法 协议无关组播稀疏模式 运动图像专家组 计算树逻辑 FTP 智能交通系统 终端 RIP协议 EVM SQL标准