-
题名基于路径优化算法的测试序列自动生成及验证
被引量：14
- 1
-
-
作者
梁茨
郑伟
李开成
唐涛
-
机构
北京交通大学轨道交通运行控制系统国家工程研究中心
北京交通大学轨道交通控制与安全国家重点实验室
-
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2013年第6期53-58,共6页
-
基金
国家高技术研究发展计划(863计划)(2011AA010104)
中央高校科研业务费专项资金(2011JB2004)
-
文摘
随着中国铁路运行控制系统的高速发展,列控系统行为功能的正确性与安全性成为业内关注的焦点,本文提出一套完整的测试案例与测试序列自动化生成的方法。制定与系统CPN模型、测试序列相关的定义;利用本文提出的全路径覆盖优化算法和序列优选算法生成XML测试序列;以CTCS-3级列控系统下RBC的切换为例,自动生成测试案例与测试序列,并在RBC测试平台上进行验证。结果表明:本文提出的测试生成方法可实现测试的自动化,针对RBC切换场景生成的测试序列重复度降低了75%,完全覆盖《CTCS-3级列控系统功能需求规范》中的相关内容。
-
关键词
有色PETRI网
全路径覆盖优化算法
序列优选算法
自动化测试
-
Keywords
CPN
apco algorithm
SPS algorithm
automated testing
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
U284.48
[交通运输工程—交通信息工程及控制]
-
-
题名基于IMBE语音编译码算法在PC机上的实时实现
被引量：2
- 2
-
-
作者
韩红帮
肖红
李海雁
-
机构
昆明学院现代教育技术中心
-
出处
《电子设计工程》
2015年第7期186-188,共3页
-
文摘
对APCO 25集群通信系统中采用的改进型多带激励(IMBE)语音编码算法进行了分析,在Windows XP环境下,基于VC++6.0开发平台,利用声卡作为采集与播放设备,通过软件编程实现语音信号的实时采集、IMBE编译码以及译码语音的播放处理。IMBE语音编码算法占用带宽较小,编码语音质量高,适合多媒体语音通信使用。
-
关键词
IMBE算法
apco
25
声卡编程
信号采集
-
Keywords
IMBE algorithm
apco 25
sound card programming
signal collecting
-
分类号
TN912.3
[电子电信—通信与信息系统]
-
