杨朝红 王雅文 任剑 肖庆 杨霄锋 宫云战 高阳 陈发来 杨武 江标

软件测试 几何变换 静态测试 区间B样条曲线 缺陷模式 随机多准则决策 静态分析 可能度 移去节点 降阶 离差最大化 非法计算 区间距离 故障模型 状态机 区间参数线性规划