饶畅
- 作品数：7 被引量：27H指数：4
- 供职机构：西南交通大学信息科学与技术学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：交通运输工程自动化与计算机技术机械工程更多>>
- 基于UPPAAL的二乘二取二逻辑建模与仿真被引量：4
- 2018年
- 二乘二取二冗余结构以其高安全性和高可靠性特点,被广泛应用于核电、航空航天和铁路等安全关键领域。为验证二乘二取二冗余结构的核心逻辑,保证其高安全性和高可靠性的要求,对二乘二取二逻辑进行建模与验证。基于时间自动机理论,以列控车载ATP子系统二乘二取二冗余逻辑为研究对象,在分析工作原理的基础上,利用UPPAAL工具建立二乘二取二冗余逻辑的时间自动机模型,分别验证二乘、二取冗余逻辑的基本安全属性。根据验证后的软件逻辑模型,实现冗余逻辑仿真。模型构建与程序仿真的结果表明:车载ATP二乘二取二冗余逻辑结构具有高安全性与高可靠性。
- 华颖张亚东饶畅胡智杰王天成张琳徐坤
- 关键词：时间自动机仿真
- 铁路信号安全关键软件的组合测试序列集约简被引量：6
- 2020年
- 针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列,导致测试执行成本较高的问题,提出了一种基于贪婪-粒子群混合优化算法的t-路组合测试序列集约简方法,用于降低序列集的执行成本.首先,以执行成本最低为约简目标,建立针对t-路组合测试序列集约简的优化模型;然后,在保证测试序列集逻辑覆盖特性的基础上,采用贪婪-粒子群混合优化算法求解模型,计算约简后的测试序列集;最后,以ZPW-2000轨道电路接收器软件作为研究对象,以其生成的2-路组合测试序列集为例开展约简验证.结果表明,所提方法在保证2-路组合覆盖和逻辑覆盖的前提下,对单个序列集的执行成本约简幅度最高达到98.33%,对序列集总的执行成本约简幅度达到36.10%,验证了所提方法的可行性和有效性.
- 饶畅李楠张亚东郭进李耀
- 关键词：安全关键软件二进制粒子群优化
- CTCS-2级列控车载ATP组合测试用例集生成方法被引量：8
- 2020年
- 车载ATP是CTCS-2级列控系统的核心设备之一,针对车载ATP的组合测试,在保障设备功能安全方面具有重要意义。根据车载ATP设备接口参数的特点,提出一种基于最优覆盖数组的带约束组合测试用例集生成方法。首先,辨识出车载ATP接口参数及其约束条件;其次,基于参数映射算法,将接口参数映射到最优覆盖数组中重构该覆盖数组;然后,在重构的覆盖数组中移除不满足约束的无效行,并扩展覆盖数组;最终,得到满足约束条件和覆盖强度的车载ATP测试用例集。以车载ATP模式转换等三种场景为例,对本方法进行了验证。结果表明,相比于现有方法,本方法生成的测试用例集普遍更加精简,其规模降幅最高可达11.11%,有效降低了测试成本,提高了测试效率。
- 饶畅郭进张亚东查志
- 关键词：列控系统车载设备测试用例生成
- MVBC02一类设备主/从帧数据收发实现方法
- 2013年
- 本文从TCN标准出发,着重论述多功能车辆总线控制器MVBC内部编程模块的具体功能及主控MVBC在一类设备模式下的初始化配置流程,并在此基础上阐明MVBC一类设备模式下的主/从数据帧的基本组成、帧格式配置、功能码、端口属性定义以及实现数据帧收发的具体方法。通过对MVBC一类模式下的主/从数据帧收发具体流程的详细分析,为进一步开展直接针对MVBC控制器底层硬件的数据通信编程打下基础。
- 饶畅杨斌崔超蒋鹏杨秋
- 基于场景法的列控系统等级转换功能测试用例设计被引量：3
- 2019年
- 为了改善当前列控系统等级转换功能测试用例覆盖不全面的问题,以CTCS-2级转CTCS-3级功能为研究对象,采用场景法分析转换逻辑,设计测试用例。首先,分析CTCS-2级转CTCS-3级的功能逻辑;然后,介绍场景法设计测试用例的过程及基本流和备选流划分原则;最后,采用场景法对CTCS-2级转CTCS-3级过程中的基本流和备选流进行划分,确定基本流和备选流有向图,设计测试用例。结果表明,该方法设计的测试用例能够提高列控系统功能性和安全性测试的完备性,从而保障列控系统产品的质量。
- 窦磊张亚东李耀饶畅
- 关键词：高速铁路列控系统事件流测试用例
- 铁路计算机联锁系统安全关键软件的安全性能建模方法被引量：3
- 2017年
- 针对现有建模方法不能同时满足铁路信号系统安全关键软件安全功能和安全性能建模的需求,在建模语言SyncCharts的状态和变迁中增加转移频数和失效后果严重度2个参数,提出频率风险SyncCharts建模方法。定义频率风险状态转移图,在此基础上给出频率风险SyncCharts的定义、约束条件和宏步规则;依据将频率风险SyncCharts结构转化为马尔可夫决策过程(MDP)结构的规则,给出将频率风险SyncCharts转化为MDP的算法;通过MDP的模型分析方法实现频率风险SyncCharts的模型分析。以铁路计算机联锁系统中信号请求子系统安全关键软件为例,采用频率风险SyncCharts建模方法和模型分析方法,建立该子系统的安全性能分析模型,分析该子系统的激活概率和风险等级2个安全性能指标,定量描述该子系统关键软件的安全性能。
- 李耀张亚东郭进晏姗饶畅曹雅鑫
- 关键词：铁路信号系统马尔可夫决策过程
- 一种列控系统安全关键软件测试用例的实例化方法被引量：6
- 2019年
- 针对基于模型的抽象测试用例在列控安全关键软件测试中的可执行问题,从软件DFSM模型抽象测试用例实例化为可执行测试用例的过程入手,提出了输入空间划分和逻辑覆盖相结合的抽象测试用例自动实例化方法.首先,根据模型测试路径中各迁移条件的逻辑表达式,生成满足逻辑覆盖准则的子句逻辑值组合;其次,对表达式中的输入变量进行输入空间划分,得到各变量的取值集合;然后,以子句的逻辑值组合为约束条件,计算取值集合中满足条件的取值子集将其作为测试输入,并将各变量的测试输入子集进行组合,以此生成可执行的测试用例.最后,以CTCS-0/CTCS-2车载设备手动等级转换功能为研究对象,验证该方法的可行性.
- 刘思琪张亚东杨武东童音饶畅
- 关键词：软件测试测试用例逻辑覆盖列车运行控制
