刘坚 李都 曾纪汉 郭亮 张卫丰 徐宝文 唐稚松 廉婷丽 丁银花

语义一致性 面向对象编程 软件测试 可达性分析 面向对象的程序 软件开发 时序逻辑语言XYZE 继承 VisualFoxPro语言 软件质量 分明矩阵 无用对象 测试顺序 测试桩 动态绑定 FoxPro50 测试成本 面向对象计算 Rough集 日志文件 精化 属性约简 代理机构 类设计器 跟踪调试 数据流异常 软件维护 面向对象语言