柴艳欣 吴光金 李娟 刘宗田 曾一 党齐民 王宏宇 王艳丽 程全良 何允如 许倩钰 雷战波 李心科

对象关系图 形式规格语言 面向对象的分析 复杂性度量 植错算法 形式规格说明 软件复杂性 测试顺序 项目估算 相似学 软件设计方法 类簇级测试 面向对象系统 软件工程 软件测试 复杂性分解