徐平 张亚玲 赵明 崔杜武 徐涛 张保卫 杨凯峰 黄西平 姚全珠 郑云 曹晋阳 李惠斌 马臻 魏芳 常颖莉 左咏露 刘军

约束集求解问题 测试方法 静态分析器 计算机辅助分析（CAA） 产品结构表达式 XML Petri网 测试元素 物料清单 软件过程建模模型 测试数据自动生成 产品结构树 产品数据管理 测试特点 参数设计 正规式 计算机辅助设计（CAD） GA 火车调度系统 eBox相容 面向对象软件 反射 质量特性 并行性挖掘与延拓技术

陕西西安 西安理工大学计算机科学与工程学院 西安理工大学自动化与信息工程学院 国际软件自动化上海公司