软件工程国家重点实验室开放基金(SKLSE20080705)
- 作品数：11 被引量：38H指数：3
- 相关作者：叶俊民金聪周伟杨艳王敬华更多>>
- 相关机构：华中师范大学华南农业大学武汉大学更多>>
- 发文基金：软件工程国家重点实验室开放基金湖北省自然科学基金湖北省高等学校省级教学研究项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 一种基于二分图故障检测模型的软件故障定位方法研究被引量：1
- 2013年
- 软件故障诊断过程中代价最昂贵和最耗时的活动之一就是软件故障定位。为了辅助测试人员进行软件故障的定位,在设计分层思想的指导下,在分析软件及其各个模块以及模块中代码之间复杂关系的基础上,通过分析历史数据中软件故障与现象之间的对应关系,建立了基于拓扑图的软件故障传播模型,使得软件故障诊断人员能够利用该拓扑图模型描述具体的软件故障现象。通过该拓扑图模型,软件故障传播模型可转换成更容易进行问题求解的基于二分图的故障检测模型。然后针对该模型设计了基于贪心策略的算法,该算法解决了基于二分图故障检测模型的最小覆盖求解问题,这一问题的求解结果描述了软件故障原因假设集合,通过故障原因与软件模块关系分析可找出与该故障原因对应的相应模块,从而实现故障定位。实验表明,本研究方案能够有效处理软件故障定位问题。
- 王耀宣叶俊民陈静汝欧中红
- 关键词：故障定位二分图
- 一种源程序级软件验证方法研究被引量：3
- 2014年
- 软件质量对使用软件的各行各业有很深的影响,因此验证软件是否满足某些关键性质成为一个重要的问题.提出一种基于C语言的源程序级验证方法,其主要思想是将C源程序转换为与控制流图等价的Kripke结构,将这一Kripke结构作为程序的抽象模型,用CTL描述期望程序具备的性质,然后利用NuSMV模型验证工具检验该模型是否满足所期望的性质公式,从而达到检验程序是否满足该性质的目的.基于这种思想,设计并实现了一个自动将C源程序和其待检验的性质转换为NuSMV的输入文件并对其进行验证的环境原型.
- 叶俊民王珍戴跃庭金聪
- 关键词：KRIPKE结构控制流图NUSMV
- 内存泄漏故障静态分析研究被引量：5
- 2010年
- 目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务。为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析。实验证实,该方法取得了理想的效果。
- 叶俊民魏鹏金聪王敬华张清国张维
- 关键词：内存泄漏故障检测控制流图
- 参数化运行时监控研究被引量：1
- 2014年
- 随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要。作为一种广泛使用于各种平台的软件解决方案,运行时监控是提高软件可靠性的最灵活的解决方案之一。但随着运行时监控技术以及软件技术的发展,人们希望通过运行时监控技术来验证系统的动态属性,从而提出参数化性质的运行时监控技术。由于其在面向对象系统中的适用性,参数化性质的运行时监控已经受到了越来越多的关注。综述了参数化运行时监控的研究进展,提出了参数化运行时监控的问题定义,介绍了这一领域的主要研究内容:参数化运行时监控方法、减少参数化监控开销的技术、多属性规约的参数化运行时监控。
- 王珍叶俊民陈曙辜剑金聪
- “操作系统原理”理论与实践课教学研究被引量：7
- 2009年
- 本文结合多年的教学经验,从操作系统的教学方法、教学手段、实验设计等方面探讨了操作系统课程的理论与实践教学。经过多届学生的实践推广,证明这些措施能够有效促进学生对"操作系统原理"的基础理论学习和实践动手能力提高,进而增强其分析问题及编程能力。
- 叶俊民喻莹李源周伟张茂元杨艳
- 关键词：计算机操作系统实践教学教学改革
- 一种基于模型检验程序分析技术的前端工具研究被引量：2
- 2010年
- 提出了一种用模型检验技术对程序进行分析的方法,其主要思想是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述待验证的源程序性质,使用NuSMV模型检验工具实施具体的程序分析。基于这一思想,设计并实现了一个自动将C/C++源代码转换为NuSMV输入的工具。所做的实验验证表明,该方法能够有效地对程序进行分析。
- 叶俊民谢茜金聪李明张振方
- 计算机专业师范生的“操作系统”课程教学被引量：1
- 2009年
- 本文针对计算机专业师范生的特点,在研究了我国中小学信息技术课程标准并作了相关调研的前提下,设计了师范生的"操作系统"课程,修改了原来课程的内容、课时,并对课程的授课、实验和考核方式做出了调整,使学生所学内容能满足社会需要。课程上过后,学生反应良好,达到了课程效果,并能促进学生的个性发展,培养学生的自学和创新能力。
- 李蓉叶俊民
- 关键词：操作系统课堂教学实验教学
- “操作系统原理”理论与实践课教学研究被引量：14
- 2010年
- 结合多年的教学经验,从操作系统的教学方法、教学手段、实验设计等多个方面探讨了操作系统课程的理论与实践教学。经过若干届学生的实践推广,证明这些措施能够有效地扩展学生的计算机基础理论知识,进而增强其分析问题和编程的能力。
- 叶俊民李源周伟杨艳王敬华
- 关键词：实践教学教学改革
- 一种调和序列生成及其在故障定位中的应用
- 2011年
- 为了提高软件的可靠性,在软件运行发生故障时,快速、准确地定位故障点成为非常有意义的研究课题。与以往方法不同,在将故障运行序列和最邻近运行序列进行差异对比前,为了避免选取第一条最近成功路径时引起的"盲区"使得后期搜索空间加大,引入了生物学基因序列比对原理,对最邻近运行序列不是通过编辑距离比较进行选取,而是通过一条调和序列进行处理。实验表明,方法的故障定位效果较好。
- 叶俊民谢茜姜丽李嵩嵩许磊
- 关键词：故障定位
- 面向服务的语义互操作能力研究被引量：1
- 2012年
- 提出了一种面向服务的语义互操作能力度量的方法.该方法采用概念树对Web服务的输入、输出数据进行语义标注,明确该数据概念的外延.根据数据概念外延的关系,将面向服务的语义互操作分为完全语义互操作、部分语义互操作和无语义互操作三个层次,并提出了计算语义互操作能力的方法,将该方法运用于Web服务组合参数传递时的语义合法性的判断.最后,设计了面向服务的语义互操作能力评价系统实现框架.
- 李蓉何克清陈华峰
- 关键词：语义互操作WEB服务
