您的位置： 专家智库 > >

余童兰

作品数：24 被引量：62H指数：4
供职机构：南华大学更多>>
发文基金：湖南省教育厅科研基金湖南省普通高等学校湖南省科技厅科技计划项目更多>>
相关领域：自动化与计算机技术环境科学与工程文化科学核科学技术更多>>

合作作者

文献类型

  • 17篇期刊文章
  • 5篇专利
  • 1篇学位论文

领域

  • 13篇自动化与计算...
  • 2篇环境科学与工...
  • 1篇经济管理
  • 1篇核科学技术
  • 1篇一般工业技术
  • 1篇文化科学
  • 1篇理学

主题

  • 4篇软件测试
  • 4篇组件
  • 4篇基于组件
  • 3篇网络
  • 3篇测试用例
  • 2篇依赖图
  • 2篇优先搜索
  • 2篇软件系统
  • 2篇深度优先搜索
  • 2篇树模型
  • 2篇搜索
  • 2篇统一建模
  • 2篇统一建模语言
  • 2篇自动化
  • 2篇组件依赖
  • 2篇模型建立
  • 2篇建模语言
  • 2篇核电
  • 2篇合约
  • 2篇贝叶斯

机构

  • 23篇南华大学
  • 2篇中国核动力研...

作者

  • 23篇余童兰
  • 13篇刘杰
  • 10篇阳小华
  • 5篇李萌
  • 5篇闫仕宇
  • 4篇吴取劲
  • 4篇毛宇
  • 3篇刘朝晖
  • 3篇刘华
  • 3篇张娟
  • 1篇张力
  • 1篇陈智
  • 1篇徐卓然
  • 1篇鹿江春
  • 1篇汤凌志
  • 1篇罗杨
  • 1篇罗扬
  • 1篇龚向坚
  • 1篇李赫男
  • 1篇王丽君

传媒

  • 4篇南华大学学报...
  • 2篇微计算机信息
  • 2篇电脑知识与技...
  • 1篇电脑与信息技...
  • 1篇现代教育技术
  • 1篇计算机与现代...
  • 1篇福建电脑
  • 1篇洛阳工业高等...
  • 1篇高校实验室工...
  • 1篇核安全
  • 1篇中国安全生产...
  • 1篇科技视界

年份

  • 2篇2022
  • 1篇2021
  • 3篇2019
  • 2篇2017
  • 1篇2016
  • 2篇2014
  • 1篇2013
  • 1篇2012
  • 1篇2010
  • 2篇2009
  • 2篇2008
  • 3篇2007
  • 1篇2006
  • 1篇2003
共 24 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
贝叶斯网络在核电站组织因素影响分析中的应用研究
余童兰
文献传递
基于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：根据组件依赖图求得系统各个组件合约的求...
刘杰曹源阳小华余童兰毛宇闫仕宇李萌
全选 清除 导出
共3页<123>
聚类工具0