李运坚
- 作品数:5 被引量:7H指数:1
- 供职机构:北京广利核系统工程有限公司更多>>
- 相关领域:自动化与计算机技术核科学技术电气工程电子电信更多>>
- 核电厂安全级DCS应用软件V&V缺陷分类体系研究与应用
- 核电厂安全级DCS应用软件缺陷是V&V活动识别的主要对象,对缺陷进行分类和分析可以获得大量有价值的工程数据,并有助于评估应用软件开发现状及潜在的风险因素,进而可以促进安全级DCS系统安全性与可靠性的提高。文章以某百万千瓦...
- 张冬伟李运坚李相健
- 关键词:核电厂安全级
- 文献传递
- 基于组合测试的V&V单元测试用例设计研究被引量:1
- 2012年
- 核电安全级应用软件的特点包括:复杂的数字逻辑结构,输入变量多等。组合测试旨在使用较少的测试用例,有效地检查出由各因素之间的作用而产生的缺陷。针对核电安全级应用软件输入变量多的特点,结合传统组合测试算法,提出一种基于分级组合测试思想的单元测试用例设计方法。实践表明该方法能够大幅度减少测试用例数量,有效提升测试效率,更快速地发现潜在软件缺陷,是一种值得继续深入研究的可行方法。
- 刘博李运坚张磊
- 关键词:核电站
- 一种核电厂安全级DCS应用软件可靠性评估方法
- 核电厂安全级DCS应用软件的可靠性评价是当前核电厂数字化仪控系统应用中的一项难点。为了定量评估核电厂安全级DCS应用软件的可靠性,本文提出了一种基于软件开发生命周期各阶段V&V缺陷密度的软件可靠性评估方法。该方法首先通过...
- 李运坚张磊刘元
- 关键词:核电厂软件可靠性评估
- 文献传递
- 核电厂安全级DCS应用软件V&V缺陷分类体系研究与应用
- 核电厂安全级DCS应用软件缺陷是V&V活动识别的主要对象,对缺陷进行分类和分析可以获得大量有价值的 工程数据,并有助于评估应用软件开发现状及潜在的风险因素,进而可以促进安全级DCS系统安全性与可靠性的提 高。文章以某百万...
- 张冬伟李运坚李相健
- 关键词:SAFETY
- 文献传递
- 核电厂DCS安全级应用软件开发的危险分析被引量:6
- 2012年
- 为了减小或避免因控制系统软件而导致的核电厂安全性降低的不良后果,提出了对核电厂数字控制系统安全级应用软件开发过程进行危险分析的活动。采用验证和确认的方法,并结合安全保护层模型、预先危险分析方法(PHA)、故障树分析等方法对应用软件开发过程中的系统设计、软件设计、软件实现各个阶段的危险进行分析。通过CPR1000项目工程实践表明,采用验证和确认的方法能有效地减小软件开发过程中的危险以提高应用软件的安全性,从而最终提高核电厂的安全性。
- 艾九斤李运坚李相建
- 关键词:数字控制系统软件开发预先危险分析故障树分析