周庭梁 作品数:6 被引量:9 H指数:2 供职机构: 同济大学交通运输工程学院道路与交通工程教育部重点实验室 更多>> 发文基金: 国家自然科学基金 上海市科委科技攻关项目 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 交通运输工程 更多>>
基于因果关系的列控系统模型约简方法 2016年 在基于安全需求对验证问题进行投影的方法基础上,针对投影出的验证子问题,提出了基于因果关系的变量约简方法,定义了环境变量间的因果关系,归纳出基本的因果关系组合,并提炼出变量约简规则,通过变量约减减少了验证问题的状态空间.采用国内某地铁线路的相关数据进行建模和验证,结果表明,该方法能够有效降低系统验证复杂度. 周庭梁 许婧 陈小红 赵时旻关键词:因果关系 列车运行控制系统 基于形式化测试的实时系统变更后安全性验证 被引量:1 2014年 变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后系统实现的安全性验证问题归结为一致性测试的方法,尝试通过自动生成的一致性测试用例在系统行为级别上判定系统实现是否安全.为此,首先以时间输入输出自动机及其语义模型为基础,构建了该方法的证明体系,证明了该方法的正确性;其次,建立了变更后系统实现安全性验证的回归测试生成框架.相对于其它实时系统测试方法,这种测试方法不仅可以发现实时系统中常规的不一致性缺陷,而且为变更后系统实现在运行时是否满足指定的安全性属性提供了依据.最后,以轨道交通系统中的列车自动防护功能的变更情景为案例研究,说明了方法的具体应用. 孙海英 刘静 陈小红 杜德慧 周庭梁关键词:软件工程 实时系统 形式化方法 软件测试 安全性测试 安全苛求系统下的嵌入式C语言程序调试技巧 被引量:3 2014年 介绍安全苛求系统下的嵌入式C语言程序调试的技巧。总结安全苛求系统的编码和程序调试工作中的嵌入式C语言调试经验,介绍正式代码调试之前的3件准备工作,代码调试的"版本升级比较法",打印添加技巧以及其它调试技巧和经验。 董高云 周庭梁关键词:安全苛求系统 嵌入式系统 C语言 调试技巧 信号维护支持系统的仿真测试方法研究 被引量:3 2015年 在城市轨道交通运营中,信号维护支持系统是对列车运行控制设备进行集中监测和维护管理,是保证列车运行控制系统正常工作的关键系统。针对维护支持系统的仿真测试需求,基于系统允许的宽恕次数,设计出一种随机筛选调度方法,解决了仿真测试环境常见的性能瓶颈问题。通过实际性能测试,验证了该方法的有效性。 周庭梁 张兵建 赵时旻关键词:城市轨道交通 仿真测试 面向服务的CBTC车载控制器测评支撑环境研究 2014年 CBTC车载控制器是一个对安全性能有较高要求的系统,对其进行完整的测试具有很重要的意义。但在实际的系统研发和测试中,对其核心的车载控制器还缺乏可信的安全生命周期集成和测试手段。最原始的方法就是把待测的CBTC车载系统安装到真实车辆上进行测试,但这种方法成本大,安全系数不高。从仿真模型、测试程序集和与被测单元的接口等三方面提出通用方法,并尝试在自主CBTC系统的产业化过程中建立测评公共服务平台。 周庭梁 查伟关键词:CBTC 地铁 仿真器 基于计算机虚拟化列车控制系统敏捷测试方法 被引量:2 2015年 传统的基于通信的列车运行控制(communication based train control,CBTC)系统测试受真实硬件设备环境的制约而存在瓶颈,针对该问题提出一种基于计算机虚拟化的CBTC系统测试方法.采用计算机虚拟技术模拟物理硬件设备环境,构建CBTC系统虚拟化测试平台.基于该测试平台,设计了一种自适应测试用例约简优排算法,可以在保证测试覆盖率的前提下,约简测试用例的数量,并通过优化测试用例的执行顺序,缩短系统的测试时间.该方法应用于深圳市地铁2号线CBTC系统测试,与传统测试方法进行了对比.实验表明,本测试方法可精简测试用例幅度约45%,测试时间缩短约33%,大幅提高了系统测试效率. 周庭梁 黄涛 杨文臣 赵时旻关键词:敏捷测试