叶焰锋

作品数：4被引量：17H指数：2
导出分析报告
供职机构：华中师范大学计算机学院计算机科学系更多>>
发文主题：数组越界软件测试软件体系结构应用软件开发计算机技术更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机与数字工程》《计算机应用研究》更多>>
所获基金：国防科技技术预先研究基金湖北省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于构件组装的应用软件开发过程研究被引量：7
《计算机应用研究》2008年第6期1736-1738,1752,共4页叶俊民 陈卓 雷志翔 叶焰锋 詹泽梅 
湖北省自然科学基金资助项目(2007ABA034);华中师范大学科学技术研究基金资助项目(2006AA22)
基于构件的软件开发方法是目前一种流行的软件生产技术,其核心围绕着构件的开发与组装技术。但如何结合实际应用要求实施基于构件组装的软件开发过程是一个值得进一步研究的课题。为此,根据基于构件的软件组装技术的概念和原理,提出一...
关键词：构件 软件体系结构 构件组装 网络课堂教学系统 
构件中非法除故障的容错性检测方法研究
《计算机应用研究》2008年第5期1402-1403,1407,共3页叶俊民 叶焰锋 雷志翔 贺鹏程 张红春 
湖北省自然科学基金资助项目(2007ABA034);华中师范大学科学技术研究基金资助项目(2006AA22)
提出了通过向构件中关键位置注入故障的方式来判定构件的容错性能。实践表明,该方法将有效地检测构件的容错能力。
关键词：构件 故障注入 容错性检测 
数组越界的故障模型及其检测方法研究被引量：10
《微计算机信息》2007年第31期145-147,共3页叶焰锋 叶俊民 詹泽梅 雷志翔 
115国防重点预研基金资助(编号不公开)
数组越界是C程序中的常见故障,该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析,提出了检测数组越界的判定准则,建立了故障模型。根据该故障模型,采用程序控制流图和路径条件,并结合静态分析思想,给出了可有效地检...
关键词：软件测试 数组越界 故障模型 
一种数值溢出故障判定准则研究
《计算机与数字工程》2007年第10期15-17,共3页詹泽梅 叶俊民 叶焰锋 雷志翔 
十一.五国防重点预研基金项目(编号:513270104)资助
针对数值溢出故障出现概率小、传统测试方法极难检测的特点,提出采用面向故障的测试方法检测数值溢出问题。分析数值溢出故障的故障模型,重点研究数值溢出故障的判定准则,该准则能有效地用于数值溢出故障的检测。
关键词：数值溢出 故障模型 判定准则 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部