期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
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
职称材料
题名
基于中国邮路算法及UIO序列的状态机测试序列生成
1
作者
赵明
张毅坤
张保卫
机构
西安理工大学计算机科学与工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2004年第17期58-60,共3页
基金
陕西省教育厅科研基金项目(编号:00JK265)
文摘
状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化。该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题。
关键词
状态测试
中国邮路算法
唯一输入输出序列
扩展有限状态自动机
遗传
算法
Keywords
state test,Chinese Postman algorithm,UIO sequence,EFSM,GA
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于有色Petri网的车载设备模式转换测试序列生成方法
被引量：
18
2
作者
赵晓宇
杨志杰
吕旌阳
机构
中国铁道科学研究院研究生部
中国铁道科学研究院通信信号研究所
中国铁道科学研究院国家铁路智能运输系统工程技术研究中心
北京邮电大学信息与通信工程学院
出处
《中国铁道科学》
EI
CAS
CSCD
北大核心
2017年第4期115-123,共9页
基金
中国铁路总公司科技研究开发计划项目(2015X002-B)
文摘
为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载设备模式转换规则,将车载设备的工作模式及其转换路径映射为有向图,采用中国邮路算法求解有向图,生成1条最优邮路,并对该邮路进行二次优化,生成车载设备模式转换的测试目标序列集;将测试目标序列作为MTCPN模型的输入,仿真生成满足全路径覆盖准则的可执行的测试序列集和XML文件。验证结果表明:基于有色Petri网的测试序列生成方法能够满足测试需求,并且避免了既有方法的状态空间爆炸和搜索死循环问题,提高了测试效率。
关键词
测试序列
车载设备
列车控制系统
模式转换
有色PETRI网
中国邮路算法
路径覆盖量
Keywords
Test sequence
On-board equipment
Train control system
Mode transition
Colored Petri nets
Chinese postman algorithm
Path coverage
分类号
U284.482 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于中国邮路算法及UIO序列的状态机测试序列生成
赵明
张毅坤
张保卫
《计算机工程与应用》
CSCD
北大核心
2004
0
在线阅读
下载PDF
职称材料
2
基于有色Petri网的车载设备模式转换测试序列生成方法
赵晓宇
杨志杰
吕旌阳
《中国铁道科学》
EI
CAS
CSCD
北大核心
2017
18
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
