李虎 刘超 金茂忠 吴际 于濱 汪浩 程杜平 陈起 倪辉

状态序列集 上下文无关文法 测试充分性准则 软件度量 软件测试 话法分析器 BNF范式 构件 可重用类群 面向对象 软件工程 软件工具 詞法树 算法 潜在可重用性 程序语言 文法测试 詞法分析器 预测 语义标志 测试复杂性 语义程序 静态分析

北京航空航天大学计算机科学与工程系