陶传奇 金成植 朱丹 李思昆 杜林 李暾 张重峰 孙小兵 李必信 江海燕 万海 郭阳 易彤 张晶 孙鹤 马培军 苏小红 邹俊 吴方君

程序依赖图 程序分析 程序理解 系统依赖图 控制度函数 正向工程 多线程程序 再工程 距离函数 进程依赖图 逆向工程 模块内聚度度量 软件测试 度量 重构识别 电路提取 链接切片 波动效应 形式化 动态切片 基于搜索的软件工程 切片算法 规格说明