陆公正 费立志 张育 蔡伟鸿 宋自林 杨厚群 张广泉 缪淮扣 张冬华 何红悦 邢诒杏 周波 欧少闽 林雄

模型检测 一致性 测试准则 DL-Safe规则 集成测试 测试用例 时序约束 UML 协议测试 公理化评估 工作流 UML协作图 描述逻辑