期刊文献+
共找到30篇文章
< 1 2 >
每页显示 20 50 100
考虑多维驾驶环境的列车自动驾驶场景库构建及测试案例使用方法
1
作者 王成涛 邓海 +4 位作者 谢宪毅 雒国凤 沈迪 金立生 闫一凡 《中国铁路》 北大核心 2025年第9期77-84,共8页
针对高铁列车自动驾驶仿真测试场景单一问题,基于列车限速规范提取8类因素、26项场景元素,结合元素互斥性与语义冲突概率,随机生成多维测试场景。通过建立场景数据与列车运行速度、等级的映射,实现测试场景与自动驾驶系统的关联。以列车... 针对高铁列车自动驾驶仿真测试场景单一问题,基于列车限速规范提取8类因素、26项场景元素,结合元素互斥性与语义冲突概率,随机生成多维测试场景。通过建立场景数据与列车运行速度、等级的映射,实现测试场景与自动驾驶系统的关联。以列车DDQN节能控制策略为例,阐述场景数据的使用方法。结果表明,生成场景中简单、一般、复杂场景占比分别为84.3%、13.7%和2.0%,且8类因素分布均匀,DDQN节能控制策略在临时限速和运行等级转换场景中能规划出符合节能趋势的速度曲线。研究结果可为丰富列车自动驾驶场景提供思路,提升高速智能动车组自动驾驶测试效率,并进一步推动列车自动驾驶系统升级。 展开更多
关键词 ATO 多维驾驶环境 场景库 临时限速 列车等级转换 节能 测试案例 DDQN
在线阅读 下载PDF
基于模型演化的列控车载设备组合测试案例重构方法
2
作者 刘晗熠 张亚东 +1 位作者 饶畅 郭进 《铁道标准设计》 北大核心 2024年第6期214-220,共7页
车载设备作为列控系统的关键设备之一,其测试需求在不断迭代。测试案例重构通过更新原有组合测试集覆盖变更的测试需求,实现对测试案例的高效重用,对生成演化后的测试集具有重要意义。根据车载设备输入模型的变化情况,提出一种基于模型... 车载设备作为列控系统的关键设备之一,其测试需求在不断迭代。测试案例重构通过更新原有组合测试集覆盖变更的测试需求,实现对测试案例的高效重用,对生成演化后的测试集具有重要意义。根据车载设备输入模型的变化情况,提出一种基于模型演化的测试集重构方法。首先,通过比较演化前后组合模型的差异性,辨识出失效和新增的测试需求,并结合测试参数、参数取值、约束可能出现的演化情况分析两类测试需求的具体构成;其次,基于演化后的组合模型,依次采取修改、扩充、新增3个步骤重构原有测试集,修改不满足变更测试需求的原有案例,扩充新增参数取值,新增案例覆盖剩余测试需求;之后,根据约束间的相容性,将互不干扰的多条约束置于1条测试案例集中处理以精简测试集;最终,得到完备覆盖所有演化后测试需求的组合测试集。以车载设备模式转换等3种场景为例,对本方法进行了验证,研究结果表明:相较于现有方法,本方法能更充分地重用原有案例,测试集总体重合度提高了7.82%,后续人工修改测试案例文档的工作量相应减少,时间成本可降低18.26%。 展开更多
关键词 列控系统 车载设备 组合测试 测试案例重构 模型演化
在线阅读 下载PDF
基于RailBERT的列控车载ATP测试案例事件抽取方法研究
3
作者 程烨 李开成 魏国栋 《北京交通大学学报》 CSCD 北大核心 2024年第5期10-20,共11页
在列车超速防护(Automatic Train Protection,ATP)车载设备的实验室测试中,测试案例的数量庞大、复杂性高且存在大量列控领域专业术语,现有方法和模型由于缺乏列控领域知识,难以准确解析其语境信息并自动生成详细的结构化表示.针对这一... 在列车超速防护(Automatic Train Protection,ATP)车载设备的实验室测试中,测试案例的数量庞大、复杂性高且存在大量列控领域专业术语,现有方法和模型由于缺乏列控领域知识,难以准确解析其语境信息并自动生成详细的结构化表示.针对这一问题,提出一种基于铁路双向编码器表示(Rail Bidirectional Encoder Representations from Transformers,RailBERT)模型的测试案例事件抽取方法.首先,通过新词挖掘算法扩展列控领域的专业术语并构建语料库,在此基础上采用基于铁路领域全词掩码(Railway Whole Word Masking,RWWM)预训练任务训练针对铁路列控领域的RailBERT模型,以增强模型对领域语境的理解.然后,提出一种基于事件抽取的方法来自动提取车载ATP测试案例的预期结果,通过预定义事件类型及事件论元,全方位解析和表征预期结果.最后,将RailBERT与双向长短期记忆网络(Bidirectional Long Short-Term Memory,BiL⁃STM)和条件随机场(Conditional Random Field,CRF)结合,以增强模型捕捉序列信息和标签之间依赖关系的能力,从而更有效地从测试案例中提取事件.实验结果表明:在测试案例事件抽取数据集中,所提模型的F1值达到90.3%,能够较准确地从测试案例中提取预定义的事件,进而生成测试案例预期结果的结构化表示,为实现自动测试奠定基础. 展开更多
关键词 车载设备 测试案例 自然语言处理 事件抽取 预训练模型
在线阅读 下载PDF
基于模型的CTCS-3级列控系统测试案例自动生成方法 被引量:15
4
作者 吕继东 朱晓琳 +2 位作者 李开成 唐涛 王海峰 《西南交通大学学报》 EI CSCD 北大核心 2015年第5期917-927,共11页
为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process,HCSP)形式化模型和时间自动机(timed automaton,TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场... 为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process,HCSP)形式化模型和时间自动机(timed automaton,TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center,RBC)切换场景为例,生成了100%全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02 s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30%. 展开更多
关键词 形式化模型 列控系统 HCSP TA 测试案例自动生成 测试
在线阅读 下载PDF
Codecomb:基于符号执行的嵌入式软件测试案例自动生成与缺陷检测 被引量:10
5
作者 郭文生 汪勇 +1 位作者 杨霞 高敏 《小型微型计算机系统》 CSCD 北大核心 2017年第6期1250-1255,共6页
嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户... 嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户端和服务器端架构实现被测软件与测试工具的分离,将复杂的测试计算转移到服务器上,同时分离的测试架构可以更好的适用于不同嵌入式平台软件的测试.采用动态符号执行技术生成测试案例可以实现较高的分支覆盖度,进而针对程序的缺陷检查也会更加全面和深入,能够发现程序中隐藏较深的错误.实验结果表明,本文所设计的工具能够实现软件缺陷的自动化判定,并对程序运行过程中的缓冲区溢出、内存泄漏等错误准确地进行定位. 展开更多
关键词 嵌入式软件测试 插桩 动态符号执行 测试案例生成 缺陷检测
在线阅读 下载PDF
列控车载设备现场测试案例执行距离估算方法研究 被引量:4
6
作者 张亚东 袁榆淞 +1 位作者 饶畅 郭进 《铁道学报》 EI CAS CSCD 北大核心 2022年第7期55-62,共8页
针对当前列控车载设备现场测试案例的执行距离估算主要依赖于人工经验,易产生较大偏差,导致列车在测试过程中发生空跑等问题,提出一种基于列车动力学模型的现场测试案例执行距离估算方法。首先,根据列车在测试过程中的动力学状态演变关... 针对当前列控车载设备现场测试案例的执行距离估算主要依赖于人工经验,易产生较大偏差,导致列车在测试过程中发生空跑等问题,提出一种基于列车动力学模型的现场测试案例执行距离估算方法。首先,根据列车在测试过程中的动力学状态演变关系,构建车载设备的测试过程模型。其次,对于给定的现场测试案例,基于测试过程模型将案例的执行过程进行离散划分,映射得到模型的有向图路径。然后,根据有向图路径刻画的列车动力学状态演变轨迹,依次计算每个状态节点下的列车速度变化规律和走行距离,最终得到现场测试案例的执行距离。以CTCS-2级列控车载设备现场测试案例为例,基于车载测试平台对本方法进行检验。检验结果表明:本方法能有效估算测试案例的执行距离,为高效合理串接现场测试序列提供了有力依据。 展开更多
关键词 测试案例 执行距离 车载设备 现场测试 动力学分析
在线阅读 下载PDF
基于梦境蚁群算法的车载VOBC测试案例约减策略研究 被引量:2
7
作者 何涛 王婧 《铁道科学与工程学报》 CAS CSCD 北大核心 2020年第4期832-840,共9页
测试案例作为CBTC通用测试平台的基础,研究其约减策略,构建高效完备的测试案例集更加有助于CBTC系统的测试。提出梦境蚁群算法,在传统蚁群算法的信息素更新方式中引入做梦因子,并将其运用在车载VOBC的测试案例约减中,利用CBTC通用测试... 测试案例作为CBTC通用测试平台的基础,研究其约减策略,构建高效完备的测试案例集更加有助于CBTC系统的测试。提出梦境蚁群算法,在传统蚁群算法的信息素更新方式中引入做梦因子,并将其运用在车载VOBC的测试案例约减中,利用CBTC通用测试平台所用的有关测试案例集以matlab作为仿真平台对其进行验证,结果表明梦境蚁群算法能有效地减少测试案例数量,减少测试时间,节约测试成本,且减少比例比使用蚁群算法提高了10%。该算法为测试案例约减研究提供了新的方法,同时该算法扩大了解的搜索空间,能很好改善传统方法易产生局部最优的缺点,而且考虑了需求覆盖度和测试代价两重因素,使最后所得的测试案例集易行全面。 展开更多
关键词 CBTC通用测试平台 车载VOBC 梦境蚁群算法 测试案例 约减
在线阅读 下载PDF
UML建模技术在轨道交通CTCS-3级列车控制系统测试案例生成中的应用 被引量:4
8
作者 王倩倩 张勇 《城市轨道交通研究》 北大核心 2012年第3期41-44,共4页
针对CTCS-3级列车控制系统测试案例的特点和生成过程,提出了UML建模技术在测试案例生成中的应用。说明了利用这种方法生成测试案例的优势,介绍了生成测试案例的总体思路。测试案例的生成分为两步,即功能特征的提取和基于UML建模的测试... 针对CTCS-3级列车控制系统测试案例的特点和生成过程,提出了UML建模技术在测试案例生成中的应用。说明了利用这种方法生成测试案例的优势,介绍了生成测试案例的总体思路。测试案例的生成分为两步,即功能特征的提取和基于UML建模的测试案例生成。从UML的静态建模分析和动态建模分析两个方面阐述了具体实现过程,并举例说明了UML建模技术在测试案例生成过程中的应用。 展开更多
关键词 轨道交通 统一建模语言 列车控制系统 测试案例
在线阅读 下载PDF
基于TAIO变异的CTCS-3列控系统测试案例生成方法 被引量:8
9
作者 魏柏全 吕继东 +2 位作者 陈柯行 唐涛 王唯 《西南交通大学学报》 EI CSCD 北大核心 2020年第5期937-945,962,共10页
为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子(改变... 为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子(改变行为、改变目标位置、改变源位置等),形成了15106个变异体;利用输入输出一致性关系(tioco)和k-Bounded模型检验方法生成了10843个测试案例;应用一致性关系分数(CRS)、平均一致性关系分数(ACRS)和加权一致性关系分数(WCRS)进行了故障覆盖度的分析.研究结果表明:该方法设计和生成的测试案例能够有效覆盖改变行为、改变不变量和增加sink位置3种故障模式,而对于约束取反和复位取反的故障模式覆盖度不高,需通过额外的观测信息来检测故障. 展开更多
关键词 CTCS-3级列控系统 输入输出时间自动机(TAIO) 变异分析 模式转换 测试案例
在线阅读 下载PDF
高速铁路信号安全软件自动测试案例建模研究 被引量:1
10
作者 徐中伟 吴芳美 《铁道学报》 EI CAS CSCD 北大核心 1997年第S1期110-117,共8页
以微机联锁安全软件测试为例,提出了划分高速铁路微机控制铁路信号设备安全软件输入空间的一种方法。在此基础上,根据所需进行的功能测试、可靠性测试、安全性测试的要求,得到静态和动态两种适于自动生成,可被连续加载的测试案例。... 以微机联锁安全软件测试为例,提出了划分高速铁路微机控制铁路信号设备安全软件输入空间的一种方法。在此基础上,根据所需进行的功能测试、可靠性测试、安全性测试的要求,得到静态和动态两种适于自动生成,可被连续加载的测试案例。最后,讨论了旨在减少测试案例数目,提高测试效率的测试案例自动生成优化策略。 展开更多
关键词 微机联锁 安全软件 软件测试 测试案例
在线阅读 下载PDF
基于模糊测试生成多样化的数据库隔离级别测试案例 被引量:4
11
作者 卢皙钰 刘维 +2 位作者 翁思扬 李可强 张蓉 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2023年第5期51-64,共14页
在现代信息系统中,数据库管理系统扮演着至关重要的角色.隔离级别测试对数据库管理系统而言具有重要意义,它确保并发操作的隔离性和数据的一致性,从而防止数据损坏和安全风险的发生,并为用户提供可靠的数据访问保障.模糊测试是一种广泛... 在现代信息系统中,数据库管理系统扮演着至关重要的角色.隔离级别测试对数据库管理系统而言具有重要意义,它确保并发操作的隔离性和数据的一致性,从而防止数据损坏和安全风险的发生,并为用户提供可靠的数据访问保障.模糊测试是一种广泛应用于软件和系统测试的方法,通过搜索测试空间并生成多样化的测试案例,探索系统的边界条件、异常情况和潜在问题,以发现可能的漏洞.本文介绍了针对数据库隔离级别进行模糊测试的工具SilverBlade,旨在提升生成测试案例的多样性,深入探索隔离级别测试空间.为了有效搜索庞大的测试空间,设计了结构化的测试输入结构,将测试空间拆分成并发事务组合和并发事务执行交互模式两个子空间进行搜索.为了更全面地测试隔离级别核心实现测试空间,还设计了基于深度和广度的自适应搜索方式,用于有效变异测试案例.实验结果表明, SilverBlade能够生成多样性的测试案例,并能够在流行的数据库管理系统PostgreSQL中更广泛地覆盖数据库隔离级别核心实现代码.与对比工具相比, SilverBlade在提高隔离级别关键区域的测试覆盖率方面表现更佳. 展开更多
关键词 模糊测试 多样性测试案例 隔离级别 并发事务 数据库管理系统
在线阅读 下载PDF
基于分支概率引导的回归测试案例生成方法
12
作者 俞乐晨 王海军 +4 位作者 郑庆华 刘烃 黄小龙 杨子江 魏嵬 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第S2期317-322,共6页
提出一种基于分支概率引导的回归测试案例生成方法。首先,通过对程序建模生成程序控制依赖图并计算分支概率,分支概率是指对某分支取反后所生成的测试案例能够覆盖程序修改部分的概率;然后,根据分支概率引导符号执行来生成能够覆盖程序... 提出一种基于分支概率引导的回归测试案例生成方法。首先,通过对程序建模生成程序控制依赖图并计算分支概率,分支概率是指对某分支取反后所生成的测试案例能够覆盖程序修改部分的概率;然后,根据分支概率引导符号执行来生成能够覆盖程序修改部分的测试案例,符号执行每次选择分支概率最大的分支取反来生成测试案例,并迭代生成测试案例使之逐渐逼近符合期望的测试案例。对2个程序的20个演化版本进行测试案例生成,在相同实验环境下与已有的两种回归测试案例生成方法即eXpress和传统DSE进行比较。实验结果显示:相对原有方法本方法减少了45.6%和61.1%的搜索次数。 展开更多
关键词 回归测试 测试案例生成 分支概率 符号执行 控制依赖
在线阅读 下载PDF
基于因果图法的CTCS-3级列控系统测试案例完备性验证方法
13
作者 穆建成 辛未 +1 位作者 马连川 曹源 《中国铁道科学》 EI CAS CSCD 北大核心 2016年第1期124-131,共8页
通过建立CTCS-3级列控系统需求规范(SRS)因果图,并利用改进的遍历式回溯算法生成符合验证需求的SRS判定表;根据SRS判定表内的事件建立列控系统测试案例因果图,生成测试案例判定表,实现测试案例与SRS描述方式的统一;设计基于SRS判定表的... 通过建立CTCS-3级列控系统需求规范(SRS)因果图,并利用改进的遍历式回溯算法生成符合验证需求的SRS判定表;根据SRS判定表内的事件建立列控系统测试案例因果图,生成测试案例判定表,实现测试案例与SRS描述方式的统一;设计基于SRS判定表的测试充分性准则,并据此导出测试覆盖域;通过测试案例判定表内的事件组合与测试覆盖域元素的对比,验证列控系统测试案例的完备性。以CTCS-3级列控系统车载设备待机模式下的模式转换功能为例,运用该验证方法对现有相关测试案例进行完备性验证和结果分析。结果表明:应用该验证方法可以验证测试案例对于SRS的完备性,并能有效发现测试案例中可能存在的不足。 展开更多
关键词 列车运行控制系统 系统测试 测试案例 完备性验证 因果图 判定表
在线阅读 下载PDF
CTCS-3级列控车载设备自动化仿真测试平台优化研究 被引量:2
14
作者 王心仪 程剑锋 +3 位作者 刘育君 李珍萍 尤瑞君 岳林 《铁道标准设计》 北大核心 2024年第11期177-184,共8页
ATP车载设备是保障列车运行控制系统正常工作的核心设备,其测试是列控系统研发过程中至关重要的一环。目前,ATP车载设备测试存在人工依赖性强、效率低、可靠性差等问题。为解决上述问题,在传统CTCS-3级列控车载设备平台的基础上,根据车... ATP车载设备是保障列车运行控制系统正常工作的核心设备,其测试是列控系统研发过程中至关重要的一环。目前,ATP车载设备测试存在人工依赖性强、效率低、可靠性差等问题。为解决上述问题,在传统CTCS-3级列控车载设备平台的基础上,根据车载设备的操作流程,定义操作指令,并将其转化为上位机软件的操作命令,对上位机软件功能模块进行优化;将虚拟网络控制台技术与图像识别功能结合实现人机界面单元自动操控;提取JRU中车载设备采集的原始信息以及输出控制信息的记录,对测试结果进行校验;最后,利用现有ATP车载设备实验室测试序列对提出的列控车载设备自动化仿真测试方法进行验证,确保该方法可以在实际车载设备测试中得到应用。实验表明,本文提出的列控车载设备自动化仿真测试方法符合实验室测试要求,可以实现自动化测试,具有较高的准确性,同时降低测试人员的工作强度,具有一定实际应用价值。 展开更多
关键词 列控车载设备 测试案例 自动化测试 虚拟网络控制台 JRU
在线阅读 下载PDF
金融市场案例测试机制:内容特征、运作程序与价值功能--兼论金融司法审判创新试验 被引量:3
15
作者 乔芳娥 《南方金融》 CSSCI 北大核心 2022年第8期90-100,共11页
为解决金融市场中亟待明晰的重要、典型法律问题,满足金融改革创新对明确规则指引和法律风险压力测试的迫切需求,防范化解金融风险,服务保障浦东新区现代化引领区及上海国际金融中心建设,上海金融法院于2022年7月发布了《关于金融市场... 为解决金融市场中亟待明晰的重要、典型法律问题,满足金融改革创新对明确规则指引和法律风险压力测试的迫切需求,防范化解金融风险,服务保障浦东新区现代化引领区及上海国际金融中心建设,上海金融法院于2022年7月发布了《关于金融市场案例测试机制的规定(试行)》。案例测试机制是一种试验型司法模式,为金融潜在纠纷引入真实司法场景提供先行试验,是司法在金融领域“先行先试”的典型体现。不同于传统民事诉讼程序,该机制具有性质的特殊性、启动的合意性、案例的测试性、效力的扩张性等基本特征。案例测试机制参照民事诉讼程序运行的主要环节,就启动程序、审前程序与审理裁判等进行了明确规定。案例测试机制的有效运行有助于发挥金融司法的理念转换与角色定位作用,探索金融立法与金融监管的规范边界,为金融市场主体更加明确的提供行为指引与心理预期,提升上海国际金融中心综合竞争力。 展开更多
关键词 金融法制 司法创新 案例测试机制 上海金融法院 金融监管
在线阅读 下载PDF
基于模型的进路建立过程测试用例自动生成 被引量:9
16
作者 谢林 杨扬 《铁道标准设计》 北大核心 2017年第2期109-116,共8页
为了生成进路建立过程完备的测试案例,分析设备故障和人环因素的影响并结合对应的逻辑过程,建立了进路建立过程的状态机模型,并对模型解析得到状态与边的关系,将状态和边的关系抽象成图论中边和节点的关系进行存储。通过讨论3种覆盖准... 为了生成进路建立过程完备的测试案例,分析设备故障和人环因素的影响并结合对应的逻辑过程,建立了进路建立过程的状态机模型,并对模型解析得到状态与边的关系,将状态和边的关系抽象成图论中边和节点的关系进行存储。通过讨论3种覆盖准则的优劣,设计深度优先搜索算法遍历模型,得到抽象测试案例,采用Java反射机制对抽象案例进行反推,结果生成8种类型的测试片段,每种类型的片段进行组合生成所有的测试案例。最后分析进路正常建立所需的输入案例和引入的故障案例对建立过程的影响。 展开更多
关键词 铁路信号 联锁系统 测试案例 状态机 图论 反射机制
在线阅读 下载PDF
插电式混合动力汽车硬件在环测试 被引量:2
17
作者 叶明 舒红 刘永刚 《重庆大学学报(自然科学版)》 EI CAS CSCD 北大核心 2012年第3期8-13,19,共7页
分析插电式混合动力系统的结构特点,建立发动机数值模型、电机电池联合工作数值模型、自动离合器模型和整车动力学模型。分析系统输入输出信号的类型及特征,搭建基于MATLAB/xPC的插电式混合动力客车硬件在环测试系统。以纯电动和纯发动... 分析插电式混合动力系统的结构特点,建立发动机数值模型、电机电池联合工作数值模型、自动离合器模型和整车动力学模型。分析系统输入输出信号的类型及特征,搭建基于MATLAB/xPC的插电式混合动力客车硬件在环测试系统。以纯电动和纯发动机工况切换为例,将驾驶员操作油门变化的实际数据作为测试的输入条件,对插电式混合动力客车的控制逻辑进行了硬件在环测试。测试结果显示自动离合器在油门变化剧烈时会出现频繁分离结合的现象。通过对测试数据和控制逻辑的分析,发现故障原因并进行了控制逻辑修正。采用修正后的控制逻辑在道路测试中取得良好的效果。 展开更多
关键词 插电式混合动力 电动汽车 硬件在环 控制 测试案例
在线阅读 下载PDF
基于仿真平台的列控系统自动测试研究 被引量:6
18
作者 程剑锋 王东 贺广宇 《中国铁路》 2012年第2期49-51,共3页
CTCS-3级列控系统仿真测试是一项非常耗时的工程,恰当的测试方法可以最大限度地提高测试效率,并尽快找到解决问题的对策。在建设国家高速列控系统实验室基础上,提出基于仿真平台的列控系统自动测试方案,通过列控系统功能测试中案例判断... CTCS-3级列控系统仿真测试是一项非常耗时的工程,恰当的测试方法可以最大限度地提高测试效率,并尽快找到解决问题的对策。在建设国家高速列控系统实验室基础上,提出基于仿真平台的列控系统自动测试方案,通过列控系统功能测试中案例判断与故障诊断的专家系统,给出测试案例执行结果及分类、测试案例故障原因及对策。 展开更多
关键词 列控系统 测试案例 专家系统 仿真平台
在线阅读 下载PDF
城市轨道交通CBTC系统验收测试方法 被引量:9
19
作者 王大庆 《城市轨道交通研究》 北大核心 2016年第3期21-27,共7页
CBTC(基于通信的列车控制)系统是一个安全苛求系统,其系统功能以及系统的可靠性和安全性,直接影响到城市轨道交通运营效率和行车安全。研究了在试验室条件下CBTC系统功能验收测试方法。简要介绍了CBTC系统的组成和各子系统功能,重点阐... CBTC(基于通信的列车控制)系统是一个安全苛求系统,其系统功能以及系统的可靠性和安全性,直接影响到城市轨道交通运营效率和行车安全。研究了在试验室条件下CBTC系统功能验收测试方法。简要介绍了CBTC系统的组成和各子系统功能,重点阐述了测试案例的设计原则和方法、实验室仿真测试平台的构成以及故障-安全功能测试方法。该方法和工具已在实际工程中得到了应用。 展开更多
关键词 城市轨道交通 基于通信的列车运行控制 验收测试 测试案例 故障注入
在线阅读 下载PDF
覆盖矩阵在参数组合配对测试中的应用 被引量:1
20
作者 张丹 高建华 《计算机工程》 CAS CSCD 北大核心 2008年第21期51-53,70,共4页
在实际测试中,用穷尽法测试全部测试案例会造成测试集爆炸、效率低下及资源浪费,正交矩阵虽能生成较优测试集,但其应用范围极为受限。该文提出一种覆盖矩阵构造方法解决上述问题,该矩阵以正交矩阵及其派生矩阵为基础构造,可以减少测试... 在实际测试中,用穷尽法测试全部测试案例会造成测试集爆炸、效率低下及资源浪费,正交矩阵虽能生成较优测试集,但其应用范围极为受限。该文提出一种覆盖矩阵构造方法解决上述问题,该矩阵以正交矩阵及其派生矩阵为基础构造,可以减少测试案例集,扩大其应用范围,提高测试效率。用.net工具实现该算法,证明其能够有效、快速地找到一个较优测试集。 展开更多
关键词 测试案例集合 覆盖矩阵 参数配对组合
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部