荣祺 刘焕洲 刘冬懿 葛玮 秦啸 金茂忠 李毅 陈新丽 刘超 缪淮扣 庄雷 陈小勇 郝克刚 张雪萍 伞云飞 庞丽萍 冯雅丽 刘霞 高建华 马良荔 范艳峰 路晓丽 史殿习 吴文娟 尹刚

测试用例 W模型 数控系统 V模型 X模型 测试工具 分析 映射 Petri网 自动机 流程 实时操作系统 EFSM（扩展有限状态机） 嵌入式软件 标准建模语言 Web应用软件测试 基于状态的测试 测试方法 设计模型 面向对象 模块化设计 多态 Web应用 软件质量 软件测试 UNIX系统 类测试 软件可靠性 Web功能测试 用户非预期行为