郦萌
- 作品数：28 被引量：101H指数：7
- 供职机构：同济大学电子与信息工程学院更多>>
- 发文基金：铁道部科技研究开发计划国家教育部博士点基金铁道部科技基金更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- 面向安全评估的CTCS-2列控系统安全性测试环境被引量：1
- 2010年
- 高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计了场景—事件驱动的测试脚本语言SED_TSL,提出了高速铁路CTCS-2列控系统测试环境的功能、系统框架、测试策略,实现了基于SED_TSL的CTCS-2列控系统自动化测试环境,并投入到铁道部的CTCS-2列控系统产品制式检测中,有效地实现了列控系统产品的功能与安全性测试。
- 熊静喻钢徐中伟郦萌
- 关键词：安全苛求系统安全性安全性测试
- 多版本软件的独立性问题研究
- 1996年
- 在定义、描述和分析软件故障、软件出错、软件失效诸概念的基础上，深入研究了多版本软件的独立性问题。并基于对１９５个本科生程序设计实践实例所做的研究分析得出结论：①从软件设计角度出发，软件故障主要来自于逻辑设计错误（的３５．６０％）；②每１００条语句中平均含有１０个逻辑错误。
- 郦萌朱程荣
- 关键词：容错技术独立性计算机逻辑设计
- 联锁软件的统一建模语言和Petri网建模被引量：3
- 2005年
- 使用统一建模语言(unifiedmodelinglanguage,UML)为联锁软件建立平台无关的模型(platformindependentmodel,PIM),可以实现在异种平台间的移植和复用,并有助于自动生成测试案例和测试脚本。UML建模包括静态结构分析和动态行为分析。Petri网可对联锁软件与安全性相关的动态行为精确和严格地进行形式化描述。
- 杨晋辉郦萌
- 关键词：联锁软件统一建模语言PETRI网
- 软件安全性3M评价模型复杂度因子的研究
- 2005年
- 安全苛求系统需要防范意外事件造成对人的生命、大宗财产或环境的损害。因此,对安全苛求软件的测试、安全性评价非常重要。多元、多模型、多阶段的3M评价法能够利用后续测试得到的信息不断对评价因子进行修正,提高了评价的准确性。该文对软件致险缺陷估计模型作了某些改进,然后着重对复杂度因子作了一些研究。
- 徐翥郦萌
- 关键词：复杂度
- 计算机联锁软件的Z规格说明被引量：11
- 2003年
- 计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。
- 王铁江郦萌
- 关键词：形式化规格说明Z语言安全需求计算机联锁
- 关于磁悬浮交通的若干安全性问题被引量：1
- 2001年
- 近年来磁悬浮技术的研究在一些国家取得了不少成就,有些成果已经进入工程试验和运行展示阶段.将其变为大众交通工具的议题也已经提到中国交通发展规划的议事日程上.如果说它的快捷性和对环境的适用性比较容易被大家所接受的话,它的安全性问题还不能说已经被充分地证明和被大众所认同.本文论述了交通工具安全性问题的5个层面;讨论了磁悬浮交通事故避难安全性问题的特征:避难环境和安全避难原则.认为磁悬浮交通在安全性方面尚有一系列问题的研究有待深入.文章最后强调这些安全性问题的研究和解决,需要及早建立关于磁悬浮交通安全性问题的论证体制,及时制订为各方认同的安全性规范.并期望磁悬浮技术能及早在我国实用化,成为代表21世纪特色的新交通系统.
- 郦萌朱程荣
- 关键词：磁悬浮列车干线运输安全性
- 基于网络的软件测试系统被引量：2
- 1999年
- 文章提出了一种基于黑箱的软件可靠性测试策略，介绍了在这种策略下开发的基于局域网的计算机联锁软件测试系统的结构和特点，并着重讨论了测试系统中数据通信的关键技术。该系统采用ＴＣＰ/ＩＰ协议和Ｅｔｈｅｒｎｅｄ技术，克服了串行口通信的一些弱点，保证了在测试中通信的可靠性和实时性。
- 李志荣郦萌
- 关键词：局域网铁路信号自动控制
- 铁路信号软件工程化及安全性评价被引量：2
- 1996年
- 软件作为“产品”，其开发过程应按生产“工序”进行。为此提出了软件生存周期概念、软件质量管理和工程化开发的若干问题，以及软件测试和安全性评价的一些概念和方法。
- 吴芳美郦萌徐金祥
- 关键词：铁路信号
- 基于黑箱的自动软件测试工具的质量保障方法
- 软件测试需要合适的自动测试工具的有效支持,此时保障测试工具质量的问题显得尤其重要.本文介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法,并详细讨论了软件故障注入方法.长期测试实践证明了这些方法在保障铁路计算机联锁软...
- 王铁江郦萌
- 关键词：测试工具软件测试变异算子
- 文献传递
- 一种安全软件安全性评估的模糊模型被引量：8
- 2003年
- 提出了一种安全软件安全性评估的模糊模型，利用软件测试过程中的客观危险失效的主观评价进行模糊推理，实现了安全软件安全性的一种定性评估，并通过仿真实例给予说明。
- 王铁江郦萌
- 关键词：安全性评估软件测试计算机
