张涌 程建平 薛云皎 朱三元 钱乐秋 徐如志 任洪敏

分段梯度最优下降算法 可复用构件 构件描述 XML 树匹配 体系结构 区间削减 构件检索 构件查询 测试输入数据自动选取 软件测试 软件构件 测试输入序列选取 有限状态机 刻面分类方案 构件库 软件复用 扩展有限状态机 规约说明 复用库 构件系统 面向对象

复旦大学计算机科学系 复旦大学计算机科学技术系 复旦大学计算机科学与工程系软件工程实验室 上海计算机软件中心 复旦大学计算机与信息技术系 中创软件工程股份有限公司软件研究院 上海计算机软件技术开发中心 山东济南