杜栓柱 郭东辉 梅登华 王崑声 陈伟 李明树 高建华 薛云志 陈国梁 顾燕萍 冯东伟 范素娟 张旭 聂长海 王天青 蔡素梅 张敏 陆国栋 潘金贵 童小娇 张健 熊利 李军义 余侠 陈锦富 陶秋铭 龚红仿 王永吉 陈驰 姚尧

软件测试 充要策略 基于类型的划分 等价类划分 高级编译优化 用例自动执行 加速 实时系统 状态空间爆炸 唯一输入输出 模型检测 覆盖率 过程图 递归调用 测试与测控标记 事件 数据依赖 TCDA 自动化测试 事件驱动Petri网 分支函数插装 时间自动机 进化算法 进化测试 软件 最简稳定符号状态迁移图 测试自动化 循环优化 面向对象 测试用例

软件测试