原文传递
基于Petri网的顺序图形式化测试用例生成
| 论文题名： | 基于Petri网的顺序图形式化测试用例生成 |
| 关键词： | Petri网;顺序图;形式化 |
| 作者： | 肖哲韬 |
| 专业： | 计算机技术 |
| 导师： | 刘振宇 |
| 授予学位： | 硕士 |
| 授予学位单位： | 南华大学 |
| 学位年度： | 2020 |
| 正文语种： | 中文 |
检索历史
应用推荐
| 论文题名： | 基于Petri网的顺序图形式化测试用例生成 |
| 关键词： | Petri网;顺序图;形式化 |
| 作者： | 肖哲韬 |
| 专业： | 计算机技术 |
| 导师： | 刘振宇 |
| 授予学位： | 硕士 |
| 授予学位单位： | 南华大学 |
| 学位年度： | 2020 |
| 正文语种： | 中文 |