您的位置: 专家智库 > >

湖北省自然科学基金(2007ABA034)

作品数:8 被引量:29H指数:3
相关作者:叶俊民董威齐治昌雷志翔叶焰锋更多>>
相关机构:华中师范大学国防科学技术大学更多>>
发文基金:湖北省自然科学基金国家自然科学基金软件工程国家重点实验室开放基金更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 8篇中文期刊文章

领域

  • 6篇自动化与计算...
  • 2篇文化科学

主题

  • 2篇课程
  • 2篇教学
  • 2篇故障检测
  • 1篇应用软件
  • 1篇应用软件开发
  • 1篇约束边
  • 1篇软件工程
  • 1篇软件工程理论
  • 1篇软件开发
  • 1篇软件体系结构
  • 1篇实验教学
  • 1篇体系结构
  • 1篇系统课程
  • 1篇流图
  • 1篇内存
  • 1篇内存泄漏
  • 1篇课程教学
  • 1篇课程实验
  • 1篇课堂
  • 1篇课堂教学

机构

  • 8篇华中师范大学
  • 3篇国防科学技术...

作者

  • 8篇叶俊民
  • 3篇齐治昌
  • 3篇董威
  • 2篇叶焰锋
  • 2篇雷志翔
  • 2篇李蓉
  • 1篇张涛
  • 1篇张红春
  • 1篇詹泽梅
  • 1篇张维
  • 1篇杨艳
  • 1篇王敬华
  • 1篇贺鹏程
  • 1篇张清国
  • 1篇王俊杰
  • 1篇魏鹏
  • 1篇熊华根
  • 1篇李敏
  • 1篇周伟
  • 1篇金聪

传媒

  • 2篇计算机工程
  • 2篇计算机应用研...
  • 2篇计算机科学
  • 2篇计算机教育

年份

  • 1篇2010
  • 2篇2009
  • 4篇2008
  • 1篇2007
8 条 记 录,以下是 1-8
排序方式:
构件中非法除故障的容错性检测方法研究
2008年
提出了通过向构件中关键位置注入故障的方式来判定构件的容错性能。实践表明,该方法将有效地检测构件的容错能力。
叶俊民叶焰锋雷志翔贺鹏程张红春
一种基于程序DD图的无约束边生成算法被引量:3
2009年
基于相似路径集进行软件故障定位是众多有效故障定位方法中的一种,该方法利用测试技术、程序切片和削片技术给出具体的软件故障定位报告。在实现上述方法时,求出程序DD图(Decision-to-Decision Graph)的无约束边就是关键步骤。目前,针对这一关键步骤的研究中,虽然取得了一定进展,但如何基于程序DD图生成无约束边,尚需要进一步研究。首先选用十字链表结构存储程序的DD图,进而计算出该程序DD图中各边对应的主宰树和蕴含树,
叶俊民王俊杰董威齐治昌
关键词:故障定位
计算机专业师范生的“操作系统”课程教学被引量:1
2009年
本文针对计算机专业师范生的特点,在研究了我国中小学信息技术课程标准并作了相关调研的前提下,设计了师范生的"操作系统"课程,修改了原来课程的内容、课时,并对课程的授课、实验和考核方式做出了调整,使学生所学内容能满足社会需要。课程上过后,学生反应良好,达到了课程效果,并能促进学生的个性发展,培养学生的自学和创新能力。
李蓉叶俊民
关键词:操作系统课堂教学实验教学
软件工程理论、实验和综合实践教学环节的改革被引量:1
2007年
本文研究了本科生的软件工程综合实践教学环节的改革,提出相关的解决方案,实践证明,这些解决方案对于解决学生的动手能力有利。
叶俊民杨艳李蓉周伟李敏
关键词:软件工程教学改革课程实验
内存泄漏故障静态分析研究被引量:5
2010年
目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务。为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析。实验证实,该方法取得了理想的效果。
叶俊民魏鹏金聪王敬华张清国张维
关键词:内存泄漏故障检测控制流图
运行时软件故障注入器的设计与实现被引量:6
2008年
针对实际故障诊断中难以有效获得故障现场信息的问题,提出通过在软件运行时注入故障的方式获取故障现场信息,设计并实现一种运行时软件故障注入器,给出其中的故障脚本描述语言、故障库和故障注入器算法。实验结果表明,该注入器能有效实现故障注入,获取故障现场信息。
叶俊民熊华根董威齐治昌
关键词:故障诊断
基于程序静态分析和故障树的软件故障检测被引量:3
2008年
为提高软件安全性和可靠性,探讨一种在软件故障检测过程中将故障定位和原因分析相结合的方法,该方法基于对程序的静态分析,找出故障的位置,利用故障树定位故障原因。非法计算是一种常见的软件故障,该类故障极易导致系统崩溃,该文以一个非法计算故障为例,说明该方法的分析过程,实验表明其可以有效地定位故障并分析其原因。
叶俊民张涛董威齐治昌
关键词:程序静态分析故障树故障检测
基于构件组装的应用软件开发过程研究被引量:10
2008年
基于构件的软件开发方法是目前一种流行的软件生产技术,其核心围绕着构件的开发与组装技术。但如何结合实际应用要求实施基于构件组装的软件开发过程是一个值得进一步研究的课题。为此,根据基于构件的软件组装技术的概念和原理,提出一种应用系统组装框架,从软件体系结构的角度研究了构件的开发与组装方法,并将这一技术应用到软件工程网络课堂教学系统的开发上。相关实践活动表明,提出的方法可有效地获得一个适应性强的应用系统。
叶俊民陈卓雷志翔叶焰锋詹泽梅
关键词:软件体系结构
共1页<1>
聚类工具0