中央高校基本科研业务费专项资金(CCNU09Y01013)
- 作品数：4 被引量：7H指数：2
- 相关作者：金聪叶俊民谢茜魏鹏张清国更多>>
- 相关机构：华中师范大学武汉大学更多>>
- 发文基金：中央高校基本科研业务费专项资金软件工程国家重点实验室开放基金湖北省自然科学基金更多>>
- 相关领域：自动化与计算机技术政治法律更多>>
- 一种调和序列生成及其在故障定位中的应用
- 2011年
- 为了提高软件的可靠性,在软件运行发生故障时,快速、准确地定位故障点成为非常有意义的研究课题。与以往方法不同,在将故障运行序列和最邻近运行序列进行差异对比前,为了避免选取第一条最近成功路径时引起的"盲区"使得后期搜索空间加大,引入了生物学基因序列比对原理,对最邻近运行序列不是通过编辑距离比较进行选取,而是通过一条调和序列进行处理。实验表明,方法的故障定位效果较好。
- 叶俊民谢茜姜丽李嵩嵩许磊
- 关键词：故障定位
- 一种基于模型检验程序分析技术的前端工具研究被引量：2
- 2010年
- 提出了一种用模型检验技术对程序进行分析的方法,其主要思想是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述待验证的源程序性质,使用NuSMV模型检验工具实施具体的程序分析。基于这一思想,设计并实现了一个自动将C/C++源代码转换为NuSMV输入的工具。所做的实验验证表明,该方法能够有效地对程序进行分析。
- 叶俊民谢茜金聪李明张振方
- 手机段子舆情的监测机制研究
- 2010年
- 构建和谐社会,政府部门需要了解民情民意。手机与段子的结合是当前中国大众文化的一道风景,并成为社会舆情的放大镜。手机段子舆情的监测是手机网络舆情管理的重要组成部分。当前手机段子舆情监测的问题主要是手机段子舆情监测机制不完善。手机段子舆情监测机制中,必须把握手机段子舆情监测的原则,建立和完善手机段子舆情监测机制。
- 金聪金枢炜
- 关键词：手机网络舆情监测
- 内存泄漏故障静态分析研究被引量：5
- 2010年
- 目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务。为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析。实验证实,该方法取得了理想的效果。
- 叶俊民魏鹏金聪王敬华张清国张维
- 关键词：内存泄漏故障检测控制流图
