张磊
- 作品数：2 被引量：5H指数：1
- 供职机构：北京广利核系统工程有限公司更多>>
- 发文基金：国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于组合测试的V&V单元测试用例设计研究被引量：1
- 2012年
- 核电安全级应用软件的特点包括:复杂的数字逻辑结构,输入变量多等。组合测试旨在使用较少的测试用例,有效地检查出由各因素之间的作用而产生的缺陷。针对核电安全级应用软件输入变量多的特点,结合传统组合测试算法,提出一种基于分级组合测试思想的单元测试用例设计方法。实践表明该方法能够大幅度减少测试用例数量,有效提升测试效率,更快速地发现潜在软件缺陷,是一种值得继续深入研究的可行方法。
- 刘博李运坚张磊
- 关键词：核电站
- 三维需求矩阵在核电安全级DCS软件V&V中的研究与应用被引量：4
- 2013年
- 需求追踪管理是核电厂安全级DCS系统开发与软件V&V的重要任务。本文基于DCS系统分布式架构的特点,以系统需求与DCS系统架构为基础,将需求分配到不同的子系统中,建立"需求—子系统"二维平面矩阵,对该平面矩阵沿系统开发生命周期展开追踪,形成"需求—子系统—生命周期阶段"三维需求矩阵。三维需求矩阵能够对整个系统开发生命周期内的需求实现及变更响应进行清晰表达、管理与追踪,有效识别出开发活动对于需求的偏离,提示项目风险,提高软件产品质量,适用于核电仪控系统中基于计算机的分布式控制系统的需求追踪。
- 申高军张磊张冬伟杨阳
- 关键词：核电厂
