国家自然科学基金(60673118)
- 作品数：3 被引量：12H指数：3
- 相关作者：叶俊民董威齐治昌熊华根王俊杰更多>>
- 相关机构：国防科学技术大学华中师范大学更多>>
- 发文基金：湖北省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 运行时软件故障注入器的设计与实现被引量：6
- 2008年
- 针对实际故障诊断中难以有效获得故障现场信息的问题,提出通过在软件运行时注入故障的方式获取故障现场信息,设计并实现一种运行时软件故障注入器,给出其中的故障脚本描述语言、故障库和故障注入器算法。实验结果表明,该注入器能有效实现故障注入,获取故障现场信息。
- 叶俊民熊华根董威齐治昌
- 关键词：故障诊断
- 基于程序静态分析和故障树的软件故障检测被引量：3
- 2008年
- 为提高软件安全性和可靠性,探讨一种在软件故障检测过程中将故障定位和原因分析相结合的方法,该方法基于对程序的静态分析,找出故障的位置,利用故障树定位故障原因。非法计算是一种常见的软件故障,该类故障极易导致系统崩溃,该文以一个非法计算故障为例,说明该方法的分析过程,实验表明其可以有效地定位故障并分析其原因。
- 叶俊民张涛董威齐治昌
- 关键词：程序静态分析故障树故障检测
- 一种基于程序DD图的无约束边生成算法被引量：3
- 2009年
- 基于相似路径集进行软件故障定位是众多有效故障定位方法中的一种,该方法利用测试技术、程序切片和削片技术给出具体的软件故障定位报告。在实现上述方法时,求出程序DD图(Decision-to-Decision Graph)的无约束边就是关键步骤。目前,针对这一关键步骤的研究中,虽然取得了一定进展,但如何基于程序DD图生成无约束边,尚需要进一步研究。首先选用十字链表结构存储程序的DD图,进而计算出该程序DD图中各边对应的主宰树和蕴含树,
- 叶俊民王俊杰董威齐治昌
- 关键词：故障定位
