仝青山 李军义 付云虹 陈焕文 童小娇 邹北骥 周洲仪 高捷 殷苌茗

事件驱动Petri网 并发控制 系统设计 唯一输入输出 类的状态测试 分布式数据库 实时数据库 同步交互序列 有向同步图 UML JDBC EFSM 死锁预防 测试用例生成 系统测试 面向对象 类测试 状态转移图 类继承测试 交互路径 时戳 测试用例生成算法 结构分析 状态模式 分布式

湖南大学计算机与通信学院 长沙理工大学数学与计算科学学院 湖南长沙 长沙理工大学网络中心 湖南长沙410082长沙理工大学数学与计...