期刊文献+

软件故障诊断技术综述 被引量:7

A Survey of the Technique for Software Fault Diagnosis
下载PDF
导出
摘要 软件系统的日益复杂及广泛应用,使其可用性、可靠性和可维护性等方面面临许多新的挑战。快速的对系统中出现的故障进行检测和定位,对于不断建立一个高可靠的系统和缩小平均修复时间意义重大。简要介绍了软件故障诊断中的基本概念,较系统地总结了故障检测与定位技术的研究进展和成果。 The increasingly complicated software system and its wide application have presented many new challenges to practicability,reliability and reparability of the system.Whether the fault that emerges in the system can be quickly detected and localized has great significance for continuously building a highly reliable system and reducing the average repairing time.After a brief introduction to the basic concepts in software fault diagnosis,this paper systematically summarizes the development and the achievements of the research into the technique for software fault detection and localization.
出处 《微计算机信息》 2010年第34期161-163,211,共4页 Control & Automation
基金 项目申请人:李长云 项目名称:分布式软件运行时诊断技术研究 颁发部门:国家自然科学基金(CX2009B200) 项目名称:开放环境下的软件动态演化研究(60773110)中国博士后科学基金(20080440216) 湖南省自然科学基金(09JJ6087) 湖南省研究生创新基金 湖南省教育厅科研项目(09C325)
关键词 软件故障诊断 软件故障检测 软件故障定位 software fault diagnosis software fault detection software fault localization
  • 相关文献

参考文献30

  • 1王怀民,唐扬斌,尹刚,李磊.互联网软件的可信机理[J].中国科学(E辑),2006,36(10):1156-1169. 被引量:59
  • 2单锦辉,徐克俊.软件故障诊断探讨[J].北京化工大学学报(自然科学版),2007,34(A01):5-8. 被引量:9
  • 3张迎周,徐宝文.一种新型形式化程序切片方法[J].中国科学(E辑),2008,38(2):161-176. 被引量:8
  • 4孙继荣,李志蜀,王莉,殷锋,金虎.程序切片技术在软件测试中的应用[J].计算机应用研究,2007,24(5):210-213. 被引量:14
  • 5徐宝文,聂长海,史亮,陈火旺.一种基于组合测试的软件故障调试方法[J].计算机学报,2006,29(1):132-138. 被引量:38
  • 6Fenkam P, J azayeri M , Reif G. On met hodogies for const ructing correct event-based applications [C]//Proc of t he 3rd Int Workshop on Distributed Event-Based Systems.New York USA, 2004 : 38-42.
  • 7Clarke E M , Grumberg O, Peled D A. Model checking [M]. Cambridge, Massachusetts: The MIT Press,1999.
  • 8Armin Biere. Tutorial on Model Checking Modelling and Verification in Computer Science [C]. In Proc. of the 3rd international conference on algebraic biology (AB'08"), Volume 5147 of LNCS. Springer,2008.
  • 9Bodden E. A lightweight LTL runtime verification tool for Java [C]. Proc of OOPSLA 2004. 2004: 306-307.
  • 10L Mariani, M Pezze. Technique for verifying component-based software [J]. Electronic Notes in Theoretical Computer Science , 2005, 116 (1): 17-30.

二级参考文献105

共引文献132

同被引文献70

引证文献7

二级引证文献12

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部