陈卫东 张家晨 施凤鸣 郭俊丽 卓琳 王洪媛 刘弘 陈平 庄越挺 曾仁京 潘思 张广泉 蒙移发 刘万伟 张耀鸿 熊齐邦 刘小跃 罗雪山 杨卫东 魏定国 施伯乐 史桂红 邓苏 陈沐天 李龙澍 王绍银 江亮 高强 李洪堃 戎玫

命题标记路径集 测试用例 导航模型 线性无关 状态识别 基本路径集 数字逻辑设计 有限状态机 状态转换 UML 序列图 跳转表 非预期状态转换路径 控制类产品 类图 缺省边 测试方法 确定有限自动机DFA) 可靠性 可达性 agent 有穷命题线性时序逻辑 数据结构 约束 软件测试 基于仿真的设计 路径覆盖 建模 类状态测试 状态向量