CTCS-2级列控车载ATP组合测试用例集生成方法 被引量：15

1

作者 饶畅 郭进 +1 位作者 张亚东 查志 《铁道学报》 EI CAS CSCD 北大核心 2020年第11期110-117,共8页

车载ATP是CTCS-2级列控系统的核心设备之一,针对车载ATP的组合测试,在保障设备功能安全方面具有重要意义。根据车载ATP设备接口参数的特点,提出一种基于最优覆盖数组的带约束组合测试用例集生成方法。首先,辨识出车载ATP接口参数及其约... 车载ATP是CTCS-2级列控系统的核心设备之一,针对车载ATP的组合测试,在保障设备功能安全方面具有重要意义。根据车载ATP设备接口参数的特点,提出一种基于最优覆盖数组的带约束组合测试用例集生成方法。首先,辨识出车载ATP接口参数及其约束条件;其次,基于参数映射算法,将接口参数映射到最优覆盖数组中重构该覆盖数组;然后,在重构的覆盖数组中移除不满足约束的无效行,并扩展覆盖数组;最终,得到满足约束条件和覆盖强度的车载ATP测试用例集。以车载ATP模式转换等三种场景为例,对本方法进行了验证。结果表明,相比于现有方法,本方法生成的测试用例集普遍更加精简,其规模降幅最高可达11.11%,有效降低了测试成本,提高了测试效率。 展开更多

关键词 列控系统 车载设备 组合测试 测试用例生成 最优覆盖数组

在线阅读 下载PDF 职称材料

铁路信号安全关键软件的组合测试序列集约简 被引量：8

2

作者 饶畅 李楠 +2 位作者 张亚东 郭进 李耀 《西南交通大学学报》 EI CSCD 北大核心 2020年第3期596-603,共8页

针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列,导致测试执行成本较高的问题,提出了一种基于贪婪-粒子群混合优化算法的t-路组合测试序列集约简方法,用于降低序列集的执行成本.首先,以... 针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列,导致测试执行成本较高的问题,提出了一种基于贪婪-粒子群混合优化算法的t-路组合测试序列集约简方法,用于降低序列集的执行成本.首先,以执行成本最低为约简目标,建立针对t-路组合测试序列集约简的优化模型;然后,在保证测试序列集逻辑覆盖特性的基础上,采用贪婪-粒子群混合优化算法求解模型,计算约简后的测试序列集;最后,以ZPW-2000轨道电路接收器软件作为研究对象,以其生成的2-路组合测试序列集为例开展约简验证.结果表明,所提方法在保证2-路组合覆盖和逻辑覆盖的前提下,对单个序列集的执行成本约简幅度最高达到98.33%,对序列集总的执行成本约简幅度达到36.10%,验证了所提方法的可行性和有效性. 展开更多

关键词 安全关键软件 基于模型的测试 组合测试 测试序列约简 二进制粒子群优化

在线阅读 下载PDF 职称材料

制造业投入服务化对碳生产率影响的理论建模和实证检验——以珠三角为例 被引量：12

3

作者 饶畅 《经济与管理》 CSSCI 2013年第6期81-86,共6页

制造业投入服务化有利于制造业提高劳动生产率,且具有生态效益。在短期内,制造业服务化的发展会引起碳生产率的降低;但随着制造业服务化发展到一定程度,服务化对碳生产率的负向影响转为正,促进制造业碳生产率的提高。碳生产率与制造业... 制造业投入服务化有利于制造业提高劳动生产率,且具有生态效益。在短期内,制造业服务化的发展会引起碳生产率的降低;但随着制造业服务化发展到一定程度,服务化对碳生产率的负向影响转为正,促进制造业碳生产率的提高。碳生产率与制造业服务化之间存在非线性关系且呈U型。 展开更多

关键词 制造业投入服务化 碳生产率 珠三角

在线阅读 下载PDF 职称材料

浅谈陌生化设计手法在城市家具设计中的运用 被引量：2

4

作者 饶畅 漆平 《家具与室内装饰》 2011年第7期26-27,共2页

本文通过对城市家具设计手法的研究,提出了陌生化放计的设计方法,将有助于我们认识城市家具设计中的艺术化的规律性,掌握设计的基本要点,从而改变城市家具设计中的单调性,从艺术中吸取灵感来丰富形式语言,美化环境,提高城市形象的艺术含... 本文通过对城市家具设计手法的研究,提出了陌生化放计的设计方法,将有助于我们认识城市家具设计中的艺术化的规律性,掌握设计的基本要点,从而改变城市家具设计中的单调性,从艺术中吸取灵感来丰富形式语言,美化环境,提高城市形象的艺术含量,提高人们生活质量的同时,也在潜移默化中影响市民的审美品味。 展开更多

关键词 城市形象 城市家具 艺术化 陌生化

在线阅读 下载PDF 职称材料

装饰艺术理念与现代设计 被引量：6

5

作者 饶畅 《家具与室内装饰》 2005年第6期18-19,共2页

今天,人们日益重视设计理念对于设计的影响,设计理念已成为装饰艺术设计的一个重要组成部分。设计师只有真正理解设计理念的含义,才能熟练掌握设计的基本语言,并将设计理念贯穿于设计始终。

关键词 理念 装饰艺术 设计师

在线阅读 下载PDF 职称材料

浅谈几种城市家具设计的艺术化手法 被引量：3

6

作者 饶畅 《家具与室内装饰》 2016年第6期54-56,共3页

城市家具是一种社会公共设施,体现出一个城市对文化的追求及公众共同的文化价值观。在城市家具设计中,从艺术造型中吸取灵感来丰富形式语言,从艺术设计学的角度对城市家具在城市景观中进行合理的规划、设计,以及在形态视觉美学和地域文... 城市家具是一种社会公共设施,体现出一个城市对文化的追求及公众共同的文化价值观。在城市家具设计中,从艺术造型中吸取灵感来丰富形式语言,从艺术设计学的角度对城市家具在城市景观中进行合理的规划、设计,以及在形态视觉美学和地域文化两个方面展现出具有地域性的、表达地方传统文化的设计。所以在诸多艺术化设计手法中,直接引用是将现成的艺术作品直接引用于城市家具的设计中,在设计中引用艺术作品营造特定的艺术空间,营造特定的精神主题,形成感人的人文氛围。借用是在城市家具设计中将艺术的思潮、表现方法、艺术形式和视觉表现力作为理论指导,力求艺术地再现。 展开更多

关键词 城市家具 艺术化 直接引用 提炼 借用 艺术的再现

在线阅读 下载PDF 职称材料

城市特长隧道分车型动态诱导方法 被引量：1

7

作者 刘伟 包宇宁 +1 位作者 饶畅 李江蓉 《重庆交通大学学报(自然科学版)》 北大核心 2025年第2期99-107,共9页

为了实现城市特长隧道的交通安全与效率协同提升,提出考虑车型差异的城市特长隧道车道动态诱导模型。首先,基于隧道事故的空间分布特性,将城市特长隧道细分为多个区段,并明确车辆换道的诱导区域;然后,基于元胞自动机原理,以单向三车道... 为了实现城市特长隧道的交通安全与效率协同提升,提出考虑车型差异的城市特长隧道车道动态诱导模型。首先,基于隧道事故的空间分布特性,将城市特长隧道细分为多个区段,并明确车辆换道的诱导区域;然后,基于元胞自动机原理,以单向三车道隧道为研究对象,构建基于NS模型优化的换道模型和车速诱导模型,以引导车辆在不同交通流条件下的车道选择和速度调整;最后,选取重庆双碑隧道作为实证对象,利用VISSIM软件的COM接口进行二次开发,构建仿真平台,对比分析诱导前后的交通冲突率、车速标准差、平均行程时间及平均车速等指标。结果显示:车道动态诱导实施后,交通冲突显著降低了20.9%,车速标准差最高缩减3.24 km/h,平均行程时间缩短3.7%~16.1%,平均车速提升5.1%~14.5%。尤其在高密度交通流情形下,动态诱导策略展现出更为显著的优化效果,且对小型车辆的改善更为突出,证实了所提方法的实用性和有效性。 展开更多

关键词 交通运输工程 城市特长隧道 NS模型 换道模型 车速诱导

在线阅读 下载PDF 职称材料

长隧道动态控速与车速离散度优化 被引量：1

8

作者 刘伟 包宇宁 饶畅 《重庆理工大学学报(自然科学)》 北大核心 2025年第1期111-116,共6页

控制长隧道内车辆的超速行驶和速度标准差可以提高交通运行的安全性。由于速度离散度与事故率呈正相关,以车速离散度最小为一级目标函数,平均速度最小为二级目标函数,构建了隧道边缘率LED灯动态控速模型,并利用NSGA-Ⅱ算法对该模型进行... 控制长隧道内车辆的超速行驶和速度标准差可以提高交通运行的安全性。由于速度离散度与事故率呈正相关,以车速离散度最小为一级目标函数,平均速度最小为二级目标函数,构建了隧道边缘率LED灯动态控速模型,并利用NSGA-Ⅱ算法对该模型进行求解。以重庆某隧道为研究对象,基于动态控速区间的始、末端断面车速,以标定的动态控速模型为基础进行数值分析,得到各速度区间优化前后断面的车速离散度与平均速度,其中[70,80)、[80,90)和[90,100]这3个速度区间内平均速度分别下降了10.5%、8.3%、6.8%,车速标准差分别降低了16.7%、12.8%、9.4%,整体平均速度和车速标准差分别下降了8.7%和9.2%。结果表明,基于边缘率的动态控速模型,对降低整体车速与车速离散度具有一定效果。 展开更多

关键词 长隧道 边缘率 速度感知 动态控速 车速离散度

在线阅读 下载PDF 职称材料

铁路计算机联锁系统安全关键软件的安全性能建模方法 被引量：3

9

作者 李耀 张亚东 +3 位作者 郭进 晏姗 饶畅 曹雅鑫 《中国铁道科学》 EI CAS CSCD 北大核心 2017年第2期111-117,共7页

针对现有建模方法不能同时满足铁路信号系统安全关键软件安全功能和安全性能建模的需求,在建模语言SyncCharts的状态和变迁中增加转移频数和失效后果严重度2个参数,提出频率风险SyncCharts建模方法。定义频率风险状态转移图,在此基础上... 针对现有建模方法不能同时满足铁路信号系统安全关键软件安全功能和安全性能建模的需求,在建模语言SyncCharts的状态和变迁中增加转移频数和失效后果严重度2个参数,提出频率风险SyncCharts建模方法。定义频率风险状态转移图,在此基础上给出频率风险SyncCharts的定义、约束条件和宏步规则;依据将频率风险SyncCharts结构转化为马尔可夫决策过程(MDP)结构的规则,给出将频率风险SyncCharts转化为MDP的算法;通过MDP的模型分析方法实现频率风险SyncCharts的模型分析。以铁路计算机联锁系统中信号请求子系统安全关键软件为例,采用频率风险SyncCharts建模方法和模型分析方法,建立该子系统的安全性能分析模型,分析该子系统的激活概率和风险等级2个安全性能指标,定量描述该子系统关键软件的安全性能。 展开更多

关键词 铁路信号系统 软件安全性能 SyncCharts建模 马尔可夫决策过程

在线阅读 下载PDF 职称材料

一种面向城市轨道交通FAO系统危险场景的安全测试用例自动生成方法

10

作者 冉怡明 张亚东 +1 位作者 饶畅 江磊 《铁道标准设计》 北大核心 2025年第6期178-186,共9页

在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试... 在当前FAO系统大规模建设背景下,作为典型的安全苛求系统,FAO系统运营服务水平和安全可靠性的需求日益增高,实际应用之前需要对其进行全面严格的测试,而现有的测试用例生成方法一般难以满足对安全性测试的需求。因此,提出一种安全测试用例自动生成方法:以全自动运行系统中的障碍物脱轨检测场景为例,首先根据场景安全约束建立带安全约束的时间自动机模型,定义CF-SC安全测试覆盖准则,用于刻画场景运行下危险致因和安全约束的测试需求;然后针对此覆盖准则,设计一种考虑安全约束的深度优先搜索算法,算法在深度优先搜索框架下增加补充判别策略,用于覆盖安全测试需求的边和节点,实现安全测试用例的自动化生成。结果表明,CF-SC安全测试覆盖准则强于传统的路径覆盖准则,相对于现有方法,本方法在实现路径全覆盖的基础上,可对潜在的危险致因进行充分测试,对含有安全约束的路径覆盖率提升达33%,可有效满足安全测试需求,对提高全自动运行系统安全性具有重要研究意义和应用价值。 展开更多

关键词 城市轨道交通 全自动运行系统 覆盖准则 时间自动机 UPPAAL 测试用例生成

在线阅读 下载PDF 职称材料

一种列控系统安全关键软件测试用例的实例化方法 被引量：8

11

作者 刘思琪 张亚东 +2 位作者 杨武东 童音 饶畅 《小型微型计算机系统》 CSCD 北大核心 2019年第2期378-382,共5页

针对基于模型的抽象测试用例在列控安全关键软件测试中的可执行问题,从软件DFSM模型抽象测试用例实例化为可执行测试用例的过程入手,提出了输入空间划分和逻辑覆盖相结合的抽象测试用例自动实例化方法.首先,根据模型测试路径中各迁移条... 针对基于模型的抽象测试用例在列控安全关键软件测试中的可执行问题,从软件DFSM模型抽象测试用例实例化为可执行测试用例的过程入手,提出了输入空间划分和逻辑覆盖相结合的抽象测试用例自动实例化方法.首先,根据模型测试路径中各迁移条件的逻辑表达式,生成满足逻辑覆盖准则的子句逻辑值组合;其次,对表达式中的输入变量进行输入空间划分,得到各变量的取值集合;然后,以子句的逻辑值组合为约束条件,计算取值集合中满足条件的取值子集将其作为测试输入,并将各变量的测试输入子集进行组合,以此生成可执行的测试用例.最后,以CTCS-0/CTCS-2车载设备手动等级转换功能为研究对象,验证该方法的可行性. 展开更多

关键词 软件测试 测试用例 逻辑覆盖 确定性有限状态机 列车运行控制

在线阅读 下载PDF 职称材料

基于场景法的列控系统等级转换功能测试用例设计 被引量：4

12

作者 窦磊 张亚东 +1 位作者 李耀 饶畅 《铁道标准设计》 北大核心 2019年第7期141-145,152,共6页

为了改善当前列控系统等级转换功能测试用例覆盖不全面的问题,以CTCS-2级转CTCS-3级功能为研究对象,采用场景法分析转换逻辑,设计测试用例。首先,分析CTCS-2级转CTCS-3级的功能逻辑;然后,介绍场景法设计测试用例的过程及基本流和备选流... 为了改善当前列控系统等级转换功能测试用例覆盖不全面的问题,以CTCS-2级转CTCS-3级功能为研究对象,采用场景法分析转换逻辑,设计测试用例。首先,分析CTCS-2级转CTCS-3级的功能逻辑;然后,介绍场景法设计测试用例的过程及基本流和备选流划分原则;最后,采用场景法对CTCS-2级转CTCS-3级过程中的基本流和备选流进行划分,确定基本流和备选流有向图,设计测试用例。结果表明,该方法设计的测试用例能够提高列控系统功能性和安全性测试的完备性,从而保障列控系统产品的质量。 展开更多

关键词 高速铁路 列控系统 等级转换 场景法 事件流 测试用例

在线阅读 下载PDF 职称材料

基于UPPAAL的二乘二取二逻辑建模与仿真 被引量：5

13

作者 华颖 张亚东 +4 位作者 饶畅 胡智杰 王天成 张琳 徐坤 《铁道标准设计》 北大核心 2018年第4期181-186,共6页

二乘二取二冗余结构以其高安全性和高可靠性特点,被广泛应用于核电、航空航天和铁路等安全关键领域。为验证二乘二取二冗余结构的核心逻辑,保证其高安全性和高可靠性的要求,对二乘二取二逻辑进行建模与验证。基于时间自动机理论,以列控... 二乘二取二冗余结构以其高安全性和高可靠性特点,被广泛应用于核电、航空航天和铁路等安全关键领域。为验证二乘二取二冗余结构的核心逻辑,保证其高安全性和高可靠性的要求,对二乘二取二逻辑进行建模与验证。基于时间自动机理论,以列控车载ATP子系统二乘二取二冗余逻辑为研究对象,在分析工作原理的基础上,利用UPPAAL工具建立二乘二取二冗余逻辑的时间自动机模型,分别验证二乘、二取冗余逻辑的基本安全属性。根据验证后的软件逻辑模型,实现冗余逻辑仿真。模型构建与程序仿真的结果表明:车载ATP二乘二取二冗余逻辑结构具有高安全性与高可靠性。 展开更多

关键词 时间自动机 二乘二取二 仿真 建模 验证

在线阅读 下载PDF 职称材料

CTCS-2级列控车载设备层次化组合测试方法 被引量：6

14

作者 张亚东 饶畅 +1 位作者 李祎珂 郭进 《铁道学报》 EI CAS CSCD 北大核心 2023年第2期67-74,共8页

对列控车载设备开展组合测试,可有效提高设备的安全性。针对现有组合测试方法未充分考虑车载设备测试过程中输入的时序性、设备状态等影响软件安全的各种因素组合的问题,提出一种车载设备层次化组合测试方法。首先,划分CTCS-2级车载设... 对列控车载设备开展组合测试,可有效提高设备的安全性。针对现有组合测试方法未充分考虑车载设备测试过程中输入的时序性、设备状态等影响软件安全的各种因素组合的问题,提出一种车载设备层次化组合测试方法。首先,划分CTCS-2级车载设备测试过程中各种影响因素的组合层次,设置层次化覆盖强度。其次,提出了车载设备层次化组合覆盖准则,给出形式化定义,构建层次化组合测试模型。然后,提出一种两阶段层次化组合测试用例生成方法,高效精简构造层次化组合测试集。最后,以CTCS-2/0等级转换测试为例对方法进行验证。结果表明,在保证各种影响因素组合覆盖的前提下,相对于现有方法,在覆盖强度t={2,2,2}时,采用本方法的测试成本可降低23.53%,有效提高测试的针对性,验证了方法的有效性。 展开更多

关键词 列控系统 车载设备 层次化组合测试 等级转换

在线阅读 下载PDF 职称材料

列控车载设备现场测试案例执行距离估算方法研究 被引量：4

15

作者 张亚东 袁榆淞 +1 位作者 饶畅 郭进 《铁道学报》 EI CAS CSCD 北大核心 2022年第7期55-62,共8页

针对当前列控车载设备现场测试案例的执行距离估算主要依赖于人工经验,易产生较大偏差,导致列车在测试过程中发生空跑等问题,提出一种基于列车动力学模型的现场测试案例执行距离估算方法。首先,根据列车在测试过程中的动力学状态演变关... 针对当前列控车载设备现场测试案例的执行距离估算主要依赖于人工经验,易产生较大偏差,导致列车在测试过程中发生空跑等问题,提出一种基于列车动力学模型的现场测试案例执行距离估算方法。首先,根据列车在测试过程中的动力学状态演变关系,构建车载设备的测试过程模型。其次,对于给定的现场测试案例,基于测试过程模型将案例的执行过程进行离散划分,映射得到模型的有向图路径。然后,根据有向图路径刻画的列车动力学状态演变轨迹,依次计算每个状态节点下的列车速度变化规律和走行距离,最终得到现场测试案例的执行距离。以CTCS-2级列控车载设备现场测试案例为例,基于车载测试平台对本方法进行检验。检验结果表明:本方法能有效估算测试案例的执行距离,为高效合理串接现场测试序列提供了有力依据。 展开更多

关键词 测试案例 执行距离 车载设备 现场测试 动力学分析

在线阅读 下载PDF 职称材料

基于时间自动机的无信号交叉口车路协同系统建模与验证 被引量：1

16

作者 刘伟 肖七瑞 +3 位作者 陈新海 饶畅 张宇 王博思 《系统仿真学报》 CAS CSCD 北大核心 2024年第7期1682-1698,共17页

车路协同系统(cooperative vehicle infrastructure system,CVIS)是提高交叉口车辆通行安全的重要解决方案之一。针对CVIS现有技术规范和标准未明确系统对象状态交互的动态时序及迁移过程,无法有效保障系统的通行控制逻辑安全问题,采用... 车路协同系统(cooperative vehicle infrastructure system,CVIS)是提高交叉口车辆通行安全的重要解决方案之一。针对CVIS现有技术规范和标准未明确系统对象状态交互的动态时序及迁移过程,无法有效保障系统的通行控制逻辑安全问题,采用形式化语言对无信号交叉口车路协同系统功能逻辑进行描述,验证系统对象的状态交互和控制逻辑安全,提高无信号交叉口的车辆通行安全性。以单车无冲突、双车冲突和多车冲突场景分别进行仿真,明确状态交互和使能迁移路径;结合工具和需求规范语句进行系统安全属性验证,证明了控制逻辑的可靠性和安全性,为研发高安全架构的车路协同系统提供了可信依据。 展开更多

关键词 城市交通 形式化语言 车路协同系统 时间自动机 控制逻辑 可信验证

在线阅读 下载PDF 职称材料

心肌梗死二级预防生活方式和膳食指南/共识的质量评价与内容分析 被引量：11

17

作者 李文姣 程侣 +4 位作者 赵梦竹 饶畅 金昌德 靳英辉 李艳 《中国全科医学》 CAS 北大核心 2020年第4期377-387,共11页

背景健康的生活方式和膳食作为心肌梗死二级预防的重要组成部分,可有效降低再发心肌梗死的危险,改善心肌梗死患者预后。有必要检索相关高质量证据进行总结,以促进心肌梗死二级预防的临床实践。目的系统检索并筛选当前国内外心肌梗死二... 背景健康的生活方式和膳食作为心肌梗死二级预防的重要组成部分,可有效降低再发心肌梗死的危险,改善心肌梗死患者预后。有必要检索相关高质量证据进行总结,以促进心肌梗死二级预防的临床实践。目的系统检索并筛选当前国内外心肌梗死二级预防生活方式和膳食指南/共识,对纳入指南/共识的质量进行严格评价,提取、分析并综合相关指南推荐意见,为心肌梗死二级预防的生活方式和膳食指导提供最佳干预方案,为促进证据的临床转化提供理论依据。方法计算机系统检索各专业指南网站和中英文数据库,包括国际指南协作网(GIN)、英国国家卫生与临床优化研究所(NICE)、苏格兰校际指南协作网(SIGN)、美国国立指南库(NGC)、澳大利亚临床实践指南数据库(ACPG)、新西兰指南工作组(NZGG)、世界卫生组织(WHO)、PubMed、中国知网(CNKI)、万方数据知识服务平台(WanFang Data)、维普网(VIP),有关心肌梗死的指南、规范及专家共识,或内容涉及心肌梗死预防生活方式或膳食指导的相关指南/共识,并请心血管方面专家进行指南推荐及追溯参考文献补充检索相关指南,检索时间为2013-01-01至2018-12-31,并于2019年6月完成检索。采用临床指南研究与评估系统Ⅱ(AGREEⅡ)对指南/共识进行质量评价,归纳总结指南/共识中生活方式和膳食指导的推荐意见。结果共纳入来自美国、英国、澳大利亚、新西兰、中国的10篇指南/共识,其中A级1篇,B级7篇,C级2篇。汇总49条推荐意见,其中生活方式涵盖戒烟、控制饮酒、体质量管理、睡眠管理、情绪管理、体育锻炼6个方面;膳食推荐涵盖饮食习惯、营养结构、膳食模式及膳食目标等相关内容。结论纳入指南/共识的总体质量较高,但还需进一步规范指南/共识的制定和报告流程;心肌梗死指南/共识中有关生活方式和膳食推荐的内容涉及范围较广,为临床实践提供了证据支持。临床医护人员在进行证据转化时应基于最佳证据,将研究证据充分整合到卫生保健提供中,在综合考虑证据应用的促进及阻碍因素、患者的价值观和偏好等后,选择最佳证据进行临床实践;患者指南的制定者应进一步考虑患者等利益相关者的意见,并更具针对性地细化推荐意见,以最终改善患者结局。 展开更多

关键词 心肌梗死 二级预防 生活方式 膳食疗法 指南 临床指南研究与评估系统Ⅱ

在线阅读 下载PDF 职称材料

基于约束求解的城市轨道交通CBTC系统事件序列测试用例生成方法 被引量：5

18

作者 覃瑶 张亚东 +2 位作者 饶畅 段峰 郭进 《铁道科学与工程学报》 EI CAS CSCD 北大核心 2023年第9期3525-3535,共11页

城市轨道交通CBTC系统采用无线通信技术实现车−地连续双向、大容量信息传输。当前,我国正在大力发展自主化CBTC系统,为保障系统软件安全性,对系统进行信息交互测试是极为必要的。针对现有研究对CBTC系统的信息交互顺序测试不充分而引发... 城市轨道交通CBTC系统采用无线通信技术实现车−地连续双向、大容量信息传输。当前,我国正在大力发展自主化CBTC系统,为保障系统软件安全性,对系统进行信息交互测试是极为必要的。针对现有研究对CBTC系统的信息交互顺序测试不充分而引发的系统软件安全性问题,提出一种基于约束求解的事件序列测试用例生成方法。首先,根据系统蕴含的信息交互事件及其约束关系,提出一种基于事件索引的约束处理方法,实现顺序约束条件的1阶逻辑表示,继而采用约束求解器实现测试用例生成过程中的合法性校验及可扩展性校验。然后,基于贪心算法框架,提出事件序列测试用例的初始化、扩展与校验策略,实现事件序列测试用例集的高效精简生成。最后,以列车进站场景下的CBTC系统移动授权生成功能为研究对象,辨识各子系统间的信息交互事件、交互顺序及其约束,采用所提方法构建CBTC系统事件序列测试用例集。结果表明,所提方法可高效精简生成满足约束条件与覆盖准则的事件序列测试用例集,提高了测试的有效性与完备性。与穷举法相比,所提方法的测试用例集规模精简幅度可达到72.5%。与随机法相比,在生成相同规模的测试用例集时,所提方法的t-维事件序列覆盖率显著高于随机法,可在保证事件序列检错效力的前提下提高测试效率,从而为高效开展CBTC系统的信息交互顺序测试提供了理论依据。 展开更多

关键词 CBTC系统 事件序列测试 测试用例生成 SMT求解器

在线阅读 下载PDF 职称材料

装饰艺术在现代居室设计中的运用 被引量：1

19

作者 饶畅 《家具与室内装饰》 2000年第3期18-21,共4页

作者通过对现代装饰艺术特点的分析，阐述了装饰艺术在现代居室设计中运用的类型与表现手法，从而为室内设计提供了诸多的借鉴方法。

关键词 运用类型 装饰艺术 室内设计 表现手法

在线阅读 下载PDF 职称材料

基于STAMP与组合测试的城轨全自动运行系统车载设备安全测试方法研究 被引量：1

20

作者 赖琴 张亚东 +1 位作者 马牧云 饶畅 《铁道标准设计》 北大核心 2024年第8期187-195,共9页

针对现有城轨全自动运行系统车载设备测试安全性需求考虑不足与测试用例规模较大的问题,提出一种基于STAMP理论与组合测试的城轨全自动运行系统车载设备安全性测试方法。首先,基于STAMP理论对车载设备建立分层控制结构模型,从可测性的... 针对现有城轨全自动运行系统车载设备测试安全性需求考虑不足与测试用例规模较大的问题,提出一种基于STAMP理论与组合测试的城轨全自动运行系统车载设备安全性测试方法。首先,基于STAMP理论对车载设备建立分层控制结构模型,从可测性的角度提取出安全约束,分析安全约束涵盖的车载设备安全性测试特征;然后,以最优覆盖数组与种子测试用例为基础,结合约束条件,利用遗传算法对最优覆盖数组进行重构,扩展生成满足约束条件的精简测试用例集;最后,以全自动运行系统站台发车场景车载设备测试为例,对算法有效性进行验证。结果表明,在组合覆盖强度相同的情况下,本文方法比现有主流方法生成的测试用例数平均降低16.45%,对降低车载设备测试成本、提升测试效率具有一定现实意义。 展开更多

关键词 全自动运行系统 车载设备 组合测试 安全测试 测试用例生成

在线阅读 下载PDF 职称材料