期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于中国邮路算法及UIO序列的状态机测试序列生成
1
作者 赵明 张毅坤 张保卫 《计算机工程与应用》 CSCD 北大核心 2004年第17期58-60,共3页
状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对... 状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化。该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题。 展开更多
关键词 状态测试 中国邮路算法 唯一输入输出序列 扩展有限状态自动机 遗传算法
在线阅读 下载PDF
基于有色Petri网的车载设备模式转换测试序列生成方法 被引量：18
2
作者 赵晓宇 杨志杰 吕旌阳 《中国铁道科学》 EI CAS CSCD 北大核心 2017年第4期115-123,共9页
为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载... 为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载设备模式转换规则,将车载设备的工作模式及其转换路径映射为有向图,采用中国邮路算法求解有向图,生成1条最优邮路,并对该邮路进行二次优化,生成车载设备模式转换的测试目标序列集;将测试目标序列作为MTCPN模型的输入,仿真生成满足全路径覆盖准则的可执行的测试序列集和XML文件。验证结果表明:基于有色Petri网的测试序列生成方法能够满足测试需求,并且避免了既有方法的状态空间爆炸和搜索死循环问题,提高了测试效率。 展开更多
关键词 测试序列 车载设备 列车控制系统 模式转换 有色PETRI网 中国邮路算法 路径覆盖量
在线阅读 下载PDF
CTCS3级列控系统车载设备测试方法研究 被引量：11
3
作者 章慧 张勇 《铁路计算机应用》 2008年第4期23-27,共5页
重点研究CTCS3级列控系统车载设备的功能测试方法。首先介绍测试系统的组成,然后重点阐述测试案例的设计和基于中国邮路算法的测试序列的设计方法,为实现自动测试奠定基础,最后给出用邮路算法求解测试序列的具体实现。
关键词 CTCS3 功能测试 测试案例 砌试序列 中国邮路算法
在线阅读 下载PDF
基于仿真的CTCS-3级列控系统功能测试方法 被引量：4
4
作者 王菲 《铁道通信信号》 2010年第8期13-17,共5页
主要研究在仿真条件下CTCS-3级列控系统车载设备的功能测试方法。测试是一项非常耗时的工程,恰当的测试方法可以最大限度提高测试的效率。重点阐述测试系统的主要构成,测试案例的设计原则和测试序列的设计方法,简要介绍了中国邮路算法... 主要研究在仿真条件下CTCS-3级列控系统车载设备的功能测试方法。测试是一项非常耗时的工程,恰当的测试方法可以最大限度提高测试的效率。重点阐述测试系统的主要构成,测试案例的设计原则和测试序列的设计方法,简要介绍了中国邮路算法在测试序列设计中的应用,并结合武广线综合试验段给出了测试序列举例。 展开更多
关键词 CTCS-3级列控系统 功能测试 测试案例 测试序列 仿真测试 中国邮路算法
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部