您的位置： 专家智库 > >

周庭梁

作品数：6 被引量：9H指数：2
供职机构：同济大学交通运输工程学院道路与交通工程教育部重点实验室更多>>
发文基金：国家自然科学基金上海市科委科技攻关项目国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术交通运输工程更多>>

合作作者

文献类型

  • 6篇中文期刊文章

领域

  • 5篇自动化与计算...
  • 3篇交通运输工程

主题

  • 2篇列车
  • 2篇仿真
  • 1篇地铁
  • 1篇调度
  • 1篇调试技巧
  • 1篇形式化
  • 1篇形式化方法
  • 1篇虚拟化
  • 1篇因果关系
  • 1篇约简方法
  • 1篇软件测试
  • 1篇软件工程
  • 1篇实时系统
  • 1篇嵌入式
  • 1篇嵌入式系统
  • 1篇列车控制
  • 1篇列车控制系统
  • 1篇列车运行
  • 1篇列车运行控制
  • 1篇列车运行控制...

机构

  • 6篇同济大学
  • 2篇华东师范大学

作者

  • 6篇周庭梁
  • 3篇赵时旻
  • 2篇陈小红
  • 1篇孙海英
  • 1篇杜德慧
  • 1篇杨文臣
  • 1篇刘静

传媒

  • 2篇同济大学学报...
  • 1篇城市轨道交通...
  • 1篇铁路计算机应...
  • 1篇中国科学：信...
  • 1篇科技与创新

年份

  • 1篇2016
  • 2篇2015
  • 3篇2014
共 6 条 记 录，以下是 1-6
全选 清除 导出
排序方式：
基于因果关系的列控系统模型约简方法
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%,大幅提高了系统测试效率.
周庭梁黄涛杨文臣赵时旻
关键词：敏捷测试
全选 清除 导出
共1页<1>
聚类工具0