余童兰 作品数:24 被引量:62 H指数:4 供职机构: 南华大学 更多>> 发文基金: 湖南省教育厅科研基金 湖南省普通高等学校 湖南省科技厅科技计划项目 更多>> 相关领域: 自动化与计算机技术 环境科学与工程 文化科学 核科学技术 更多>>
贝叶斯网络在核电站组织因素影响分析中的应用研究 余童兰文献传递 基于STAMP模型的核动力蒸汽发生器水位控制系统安全性分析 被引量:18 2014年 核电厂蒸汽发生器(SG)水位控制系统的安全可靠运行是保证核电厂安全性和经济性的关键因素,其控制对象具有高度复杂、非线性的特点。由于复杂系统的安全性是特定环境下由系统相关要素交互作用所产生的一种涌现特性,运用系统理论,以STAMP模型为基础对SG水位控制系统进行安全性分析,以利于在设计早期阶段发现影响该系统安全运行的潜在风险因素,预防危险事故。该方法将系统理论用于核电厂关键系统和设备安全性分析,为核电厂安全运行提供了新的技术手段支持。 刘杰 阳小华 余童兰 刘华 刘朝晖基于布尔表达式约束的测试用例生成技术 被引量:1 2019年 布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法,主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测试的各种故障类型和测试策略,并比较各种测试策略的适用情形和故障检测能力,也对基于约束语义测试的各种约束获取和求解方法进行性能分析,并介绍了典型工具。最后对未来的研究发展进行展望。 孙溢 阳小华 刘杰 余童兰 吴志强 陈智关键词:软件测试 测试用例生成 C程序不变量动态发现编配工具的设计 被引量:1 2008年 程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现。程序编配是程序不变量过程中的关键步骤。本文介绍了C程序编配的工作原理和主要方法,并详细说明了采用内嵌法的编配工具的设计过程。 刘杰 阳小华 余童兰关键词:程序不变量 STAMP模型及其在核电厂DCS安全分析中的应用展望 被引量:17 2013年 数字化控制是核电发展的必然趋势,核电厂数字化控制系统(Digital Control System,DCS)的应用在提高核电厂系统控制能力的同时也增加了系统的复杂性,以事件链模型为基础的传统安全分析技术面临挑战。为提高核电厂DCS的安全性能,需要关注安全工程领域的新研究成果,将其引入到核电安全领域并加以研究。本文介绍一种新的基于系统理论的事故模型和过程(Systems-Theoretic Accident Modeling and Processes,STAMP)安全模型,对比分析了其与传统安全模型的优缺点,说明了基于STAMP的风险分析(STAMP-Based HazardAnalysis,STPA)技术的基本步骤,并根据STAMP在国内外的应用情况,对STAMP在我国核电领域的发展前景进行了展望。 阳小华 刘杰 刘朝晖 刘华 余童兰关键词:STAMP 贝叶斯网络在组织因素对系统可靠性影响中的应用 被引量:2 2009年 介绍了核电站系统在运行过程中的组织因素对系统可靠性的影响以及贝叶斯网络的理论基础,以贝叶斯概率和贝叶斯网络基本理论为基础建立了相应贝叶斯网络模型,并对该模型展开了进一步分析与解释. 余童兰 张力关键词:贝叶斯网络 可靠性分析 基于组合测试模型的系统测试工具设计与实现 2019年 核电国产化正在持续进行,核电软件作为核电生产的执行和管理体系上的一个重要组成部分。而核电软件测试作为高可信计算的重要验证和保障手段,在整个软件生命周期中占据着相当大的比重。在进行此类软件的系统测试时,不仅要求对照设计说明书进行常规非渐增式系统测试,还要求对输入卡值进行必要的参数替换和用例演化。整个用例演化与执行多依赖于人工,导致系统测试过程中存在工作量大、资源消耗大、效率低等问题。常见的系统测试工具难以满足此类多参数、多可选参数值、多状态的系统测试工作需求,基于这种现状,笔者提出了基于组合测试模型的系统测试工具,以试图解决测试过程中所面临的问题。 余童兰 张曌寰 周进 徐浩杰关键词:自动化测试 基于MC/DC的回归测试数据进化生成 2016年 在合理利用已有测试数据形成优势初始种群的前提下采用遗传算法自动生成回归测试数据是软件测试研究的一个热点.本文通过在已有测试数据的基础上依据MC/DC准则演进增补部分用例提升MC/DC覆盖率.首先,通过记录每个已有测试数据覆盖的条件组合确定要增补用例的目标条件组合,其次,根据适应度函数从已有测试数据中筛选出部分数据作为初始种群,再次,根据已筛选的部分初始种群所覆盖的条件组合与目标条件组合确定遗传操作分量,最后,演进并判定提取目标数据.理论与实验表明,该方法可以提高回归测试数据生成效率及代码覆盖率. 韩莹 罗扬 吴取劲 余童兰关键词:适应度函数 初始种群 软件测试 基于断言的程序正确性检测工具 被引量:3 2007年 文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤。该工具的基本原理是Floyd提出的"用断言式方法"证明程序的正确性的方法,通过一个断言发现工具从程序中发现该程序断言,然后与程序要求满足的断言条件比较,判明其正确性。该工具在复杂条件下对程序正确性判断和大量重复程序检测上能发挥重要的作用。 刘杰 余童兰关键词:断言 一种基于组件合约的逐级求解的系统测试用例生成方法 本发明公开了一种基于组件合约的逐级求解的系统测试用例生成方法,包括如下步骤:步骤1:获取系统的组件合约;步骤2:获取系统各个组件的依赖关系;根据组件的依赖关系生成组件依赖图;步骤3:根据组件依赖图求得系统各个组件合约的求... 刘杰 曹源 阳小华 余童兰 毛宇 闫仕宇 李萌