蔡菊 刘煜坤 王红霞 谈文蓉 张礼勇 叶新铭 程时端 张旭 王迪 张世杰 吴限德 蔡云飞 孙兆伟 林志文 李必信 苏彤 杨士元 王小银 曹泽翰 刘松风 金跃辉

组合服务 OWL-S 变量使用 建模 遗传算法 有限状态机 故障覆盖率 故障仿真 模型驱动 唯一输入输出序列 测试质量 综合业务数字网 最短路径树 功能测试 协议规格说明 抽象机 数据流 综合诊断 通信协议 小卫星 需求分配 动态路由协议 协议一致性测试 一致性测试 D矩阵 Petri网 集成电路 有色petri网 测试性分析评估