赖明志 于重重 高莉 李战怀 王曦 李龙澍 曾凡平 刘晓建 陈志德 张莹 刘杰 尤晋元

扩展有限状态机（EFSM） 测试用例 完备性 扩展状态机 统一建模语言 软件测试 Petri网 时间化自动机 面向对象测试 嵌入式系统 一致性 坐标图形显示类 测试场景 回归测试 类测试用例 扩展的层次自动机 依赖性分析