系统新增OA期刊资源的通知
登 录
|
IP登 录
|
注 册
|
知识中心首页
联系我们
版权声明
首 页
交科信研
信息资源
专题数据库
"一带一路"交通基础设施
网上展厅
沥青路面典型病害样本数据集
知识应用
交通综合经济运行分析
交通科技发展态势
全球港口通
信息服务
当前位置:
首页
>
学位论文
>
详情
原文传递
基于Petri网的顺序图形式化测试用例生成
论文题名:
基于Petri网的顺序图形式化测试用例生成
关键词:
Petri网;顺序图;形式化
作者:
肖哲韬
专业:
计算机技术
导师:
刘振宇
授予学位:
硕士
授予学位单位:
南华大学
学位年度:
2020
正文语种:
中文
相关文献
基于着色Petri网的测试用例生成及其在列控系统中的应用
基于着色Petri网的ETCS 2级形式化建模
基于时间有色Petri网的联锁软件的形式化建模与分析
基于UML顺序图的测试用例产生方法研究
基于碰撞域的自动化测试用例生成算法研究
测试用例自动生成算法设计及自动化测试平台构建
检索历史
应用推荐