张岩 郑国梁 杨拥民 翟正军 阮启明 施健 戴先中 刘玉 陆淼 刘晓燕 张海洋 何志明 熊光泽 李俊昌 陈丽容 胡飞 金茂忠 李宣东 王林章 雷航 汤铭端 范洪达 张学宏 刘超 陈仲生 周敏刚 马旭东 赵国庆 陈雪松 孙昌爱

安全关键实时系统 测控系统 测试方案 模块 系统冗余 测试用例生成 顺序图 家庭自动化 软件工程 统一建模语言 接口自动机 定时器 实时响应 图形设计环境 代码自动生成器 状态图 可靠性测评 面向对象设计 构件式设计 贝叶斯理论 汇编语言 软件测试 软件设计 模型检验 语音调制解调器 测试系统 高级语言 嵌入式建模 软件 最大执行时间