余童兰

作品数：18被引量：60H指数：4
导出分析报告
供职机构：南华大学更多>>
发文主题：软件测试基于组件组件深度优先搜索贝叶斯网络更多>>
发文领域：自动化与计算机技术环境科学与工程文化科学核科学技术更多>>
发文期刊：《洛阳工业高等专科学校学报》《课程教育研究》《计算机与现代化》《南华大学学报（自然科学版）》更多>>
所获基金：湖南省教育厅科研基金湖南省普通高等学校湖南省科技厅科技计划项目湖南省科技计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于组合测试模型的系统测试工具设计与实现
《科技视界》2019年第9期141-143,共3页余童兰 张曌寰 周进 徐浩杰 
湖南省教育厅科学研究项目(17C1378);中国核动力重点实验室基金项目(LRSDT2017304)
核电国产化正在持续进行,核电软件作为核电生产的执行和管理体系上的一个重要组成部分。而核电软件测试作为高可信计算的重要验证和保障手段,在整个软件生命周期中占据着相当大的比重。在进行此类软件的系统测试时,不仅要求对照设计说...
关键词：自动化测试 组合测试 系统测试工具 测试用例演化 
基于布尔表达式约束的测试用例生成技术被引量：1
《计算机与现代化》2019年第1期86-94,共9页孙溢 阳小华 刘杰 余童兰 吴志强 陈智 
中国核动力重点实验室基金资助项目(LRSDT2017304);湖南省教育厅科学研究项目(17C1378);南华大学研究生科学基金资助项目(2018KYY082)
布尔表达式约束在软件规格说明和程序中广泛存在,这些约束可作为软件系统的模型,成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法,主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测...
关键词：软件测试 测试用例生成 约束 布尔表达式 
基于Android平台的环保天网应用程序开发
《电脑知识与技术》2017年第4期76-77,共2页邓文斌 余童兰 徐银玉 陈诚益江 唐斌 刘慧熊 
2015年度湖南省大学生研究性学习和创新性实验计划项目资助
基于Android平台,利用移动互联的普及性,通过时间,地点,图片来获取的环境污染的信息,并结合及时上传功能,实现手机端实时污染举报,为环保人士或自身利益受到周围环境污染影响的人们提供监督举报平台,同时便于环保部门及时处理污染事件。
关键词：移动互联网 环保 举报 ANDROID 
基于MC/DC的回归测试数据进化生成
《南华大学学报（自然科学版）》2016年第1期55-60,共6页韩莹 罗扬 吴取劲 余童兰 
湖南省科技厅自然科学省市联合基金资助项目(13JJ9008);湖南省教育厅科研基金资助项目(10C1144)
在合理利用已有测试数据形成优势初始种群的前提下采用遗传算法自动生成回归测试数据是软件测试研究的一个热点.本文通过在已有测试数据的基础上依据MC/DC准则演进增补部分用例提升MC/DC覆盖率.首先,通过记录每个已有测试数据覆盖的条...
关键词：回归测试 遗传算法 适应度函数 初始种群 软件测试 
基于慕课理念的《云计算与物联网》课程知识体系构建探究被引量：1
《课程教育研究》2015年第25期248-248,共1页伍大清 罗江琴 余童兰 
湖南省教育科学“十二五”规划课题(NO.XJK015BGD064)资助:基于慕课理念的课程知识体系构建与应用研究;南华大学2015年网络教育资源建设项目:基于慕课理念的《云计算与物联网》网络课程设计与开发;南华大学船山学院高等教育改革与研究项目:基于blended learning理念的独立学院大规模在线开放课程的研究与实践
慕课是近年来开放教育领域出现的一种新课程模式,将为更多的人提供接受优质教学资源和参与学习的机会。高质量的慕课资源开发与建设将是在线教育未来面临与解决的关键性问题。本文针对慕课在我国高等教育应用的现状,提出《云计算与物联...
关键词：慕课 课程知识体系 云计算与物联网 构建 
基于STAMP模型的核动力蒸汽发生器水位控制系统安全性分析被引量：18
《中国安全生产科学技术》2014年第5期78-83,共6页刘杰 阳小华 余童兰 刘华 刘朝晖 
湖南省普通高等学校科学研究(重点)资助项目(11A105);湖南省科技厅科技计划资助项目(2011GK3192;2012GK3129)
核电厂蒸汽发生器(SG)水位控制系统的安全可靠运行是保证核电厂安全性和经济性的关键因素,其控制对象具有高度复杂、非线性的特点。由于复杂系统的安全性是特定环境下由系统相关要素交互作用所产生的一种涌现特性,运用系统理论,以STAMP...
关键词：蒸汽发生器水位控制系统 安全性分析 
基本路径生成算法的图形化设计与实现被引量：1
《南华大学学报（自然科学版）》2014年第1期88-90,96,共4页张娟 余童兰 吴取劲 周文 
湖南省高等学校科学研究重点基金资助项目(11A105);湖南省科学技术厅科技计划基金资助项目(2011GK3192)
介绍了一种从程序VISIO流程图直接获取基本路径集合的算法.在前期研究的基于图深度优先搜索的基本路径集自动生成优化算法基础上,利用VSTO工具开发了图形界面处理程序,提取VISIO图元信息,分析处理图形矩阵并生成基本路径集合,保证基本...
关键词：软件测试 深度优先搜索 基本路径 VSTO 图形化实现 
STAMP模型及其在核电厂DCS安全分析中的应用展望被引量：18
《核安全》2013年第3期42-47,88,共7页阳小华 刘杰 刘朝晖 刘华 余童兰 
湖南省普通高等学校科学研究(重点)资助项目(No.11A105);湖南省科技厅科技计划资助项目(No.2011GK3192;No.2012GK3129)
数字化控制是核电发展的必然趋势,核电厂数字化控制系统(Digital Control System,DCS)的应用在提高核电厂系统控制能力的同时也增加了系统的复杂性,以事件链模型为基础的传统安全分析技术面临挑战。为提高核电厂DCS的安全性能,需要关注...
关键词：核电安全分析 STAMP STPA 展望 
一种基于图深度优先搜索的基本路径集自动生成优化算法被引量：8
《南华大学学报（自然科学版）》2012年第3期87-90,共4页吴取劲 阳小华 鹿江春 余童兰 
湖南省高等学校科学研究重点基金资助项目(11A105);湖南省科学技术厅科技计划基金资助项目(2011GK3192)
本文介绍了一种结合边访问标志集合使用图深度优先搜索方法遍历控制流程图,生成最小长度测试序列基本路径集合的优化算法.以矩阵工具为算法提供输入,利用回滚机制避免程序控制流中环造成的不收敛,提出引入结点复用路径最小长度记忆机制...
关键词：软件测试 深度优先搜索 基本路径 
基于Java的即时通讯软件设计与开发被引量：1
《电脑知识与技术》2010年第9期7049-7051,共3页余童兰 张娟 何杰 
目前即时通讯工具在互联网上使用广泛，便利、易用受欢迎，结合Java语言在跨平台、安全性、多线程、网络Socket编程等方面的优点，该文设计了一个基于Java虚拟机可跨平台特性的即时通讯工具-JavaHi。文中对JavaHi即时通讯系统的体系结...
关键词：JAVA SOCKET 多线程 即时通讯 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部