期刊文献+

软件密集型装备软件故障诊断技术研究 被引量:2

Research on Software Fault Diagnosis in Software-intensive Equipment
下载PDF
导出
摘要 针对当前软件密集型装备软件故障诊断方法的缺陷,提出了一种基于粗诊断与细诊断技术相结合的软件故障定位方法。对故障进行初步定位,找出软件故障可疑模块集,利用切片技术对故障模块集进行检测,将故障定位到程序语句集中,采用代码分析辅助诊断工具对可疑代码集进行排查、定位。软件密集型装备故障诊断原型系统的应用表明,该方法能有效地进行软件故障的定位。 Aiming at limitations of the current software fault diagnosis of the software-intensive equipment, this paper presents a new method based on both coarse-grained diagnosis and fine-grained diagnosis for the software fault location, discovers fault location, finds the set of the suspicious module, uses slicing algorithm to check the set of fault module, positions the fault to the program code set, eliminates the codes with assistant tool and locates the fault codes. The method is proved to be effective for software fault location by practice of fault diagnosis system of software-intensive equipment.
出处 《计算机工程》 CAS CSCD 北大核心 2008年第3期69-71,共3页 Computer Engineering
基金 国家部委预研基金资助重点项目
关键词 软件密集型装备 故障诊断 程序切片 粗诊断 细诊断 software-intensive equipment fault diagnosis program slicing coarse-grained diagnosis fine-grained diagnosis
  • 相关文献

参考文献6

  • 1Parikh G. Software Support, Management, and Evolution in the Coming Decade and Beyond Opportunities & Challenges[C]// Proceedings of the 21st IEEE International Conference on Software Maintenance. Washington, D. C.: [s. n.], 2005.
  • 2Tribble A C, Miller S P. Software-intensive Systems Safety Analysis[J]. IEEE A&E Systems Magazine, 2004, 19(10): 21-26.
  • 3古乐,史九林.软件测试技术概论[M].北京:清华大学出版社,2004
  • 4郭远东.基于模块化设计的嵌入式软件测试方法[EB/OL].(2005-01-01).http://article.ednchina.com/2006-04/200643084501.htm.
  • 5聂长海,徐宝文,史亮.一种基于组合测试的软件故障诊断方法[J].东南大学学报(自然科学版),2003,33(6):681-684. 被引量:8
  • 6张威,肖庆,卢庆龄,马雪雁.面向故障的软件测试方法研究[J].装甲兵工程学院学报,2004,18(2):6-8. 被引量:4

二级参考文献15

  • 1[1]Cohen D M, Dalal S R, Fredman M L, et al. The AETG system: an approach to testing based on combinatorial design [J]. IEEE Trans on Software Engineering, 1997, 23(7): 437-444.
  • 2[2]Cohen D M, Dalal S R, Parelius J, et al. The combinatorial design approach to automatic test generation [J]. IEEE Software Sep, 1996, 13(5):83-87.
  • 3[3]Cohen D M, Fredman M L. New techniques for designing qualitatively independent systems [J]. J Combin Designs, 1998, 6(6): 411-416.
  • 4[4]Cohen D M, Dalal S R, Kajla A, et al. The automatic efficient tests generator [A]. In: Fifth Int'l Symposium on Software Reliability Engineering IEEE[C]. Maonterey, CA, 1994. 303-309.
  • 5[5]Lei Y, Tai K C. In_Parameter_Oder: a test generation strategy for pairwise testing [R]. Raleigh, North Carolina: Department of Computer Science, North Carolina State Univ, 2001.
  • 6[6]Tai K C, Lei Y. A test generation strategy for pairwise testing [J]. IEEE Trans on Software Engineering, 2002,28(1):109-111.
  • 7[7]Kobayashi Noritaka, Tsuchiya Tatssuhio, Kikuno Tohru. A new method for constructing pair-wise covering designs for software testing [J]. Information Processing Letters,2002,81: 85-91.
  • 8[8]Williams A W, Probert R L. A practical strategy for testing pair-wise coverage of network interfaces [A]. In: Proc 7th Internet Symp Software Reliability Engineer[C]. White plains, NY, USA, 1997. 246-254.
  • 9[9]Heller E. Using design of experiment structures to generate test cases [A]. In: Proc 12th Int'l Conf Testing Computer Software ACM [C]. New York, 1995. 33-41.
  • 10[10]Mandl R. Orthogonal Latin squares: an application of experimental design to compiler testing [J]. Communications of the ACM, 1985, 28(10): 1054-1058.

共引文献37

同被引文献17

引证文献2

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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