测试序列生成

作品数：33被引量：56H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李华刘震舒挺黄建国姜淑娟更多>>
相关机构：内蒙古大学中国矿业大学北京交通大学电子科技大学更多>>
相关期刊：《电子制作》《软件学报》《高技术通讯》《软件导刊》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金内蒙古自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=铁道标准设计x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向列控系统的多目标测试序列集生成方法被引量：4
《铁道标准设计》2020年第12期143-149,共7页赵晓宇 
中国铁路总公司科技研究计划课题(P2018G003);中国铁道科学研究院科研课题(2017YJ056)。
为高效生成满足测试案例全覆盖的最优测试序列集,首先,根据《CTCS-3级列控系统系统需求规范》和有色Petri网(CPN)建模规则构建列控系统模型,通过ASK-CTL公式和非标准状态空间查询法对模型进行验证;其次,采用基于改进深度优先搜索算法(ID...
关键词：列控系统 测试序列生成 CPN 多目标优化 IMMAC IDFS 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部