肖正林 王新会 陆民燕 马春 杜晓舟 阮镰 陈雪松 艾骏 徐军辉 刘斌 钱培贤 王溪波

程序插装 实时 软件工程 网络实体安全 软件测试 用户越权操作 自助分散融合 运行剖面 实时系统 遗传算法 捷联惯组 数据加密技术 可靠性 （非）实时软件 功能剖面 软件 系统模式剖面 统一建模语言 软件可靠性测试 小样本