登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
一种软件故障诊断过程框架
  • 摘要

    软件在国民经济和社会生活中发挥着重要作用.软件出现故障给人们的工作、生活带来不便,甚至造成严重危害.但是当前所进行的多为软件故障诊断中单项活动的研究,较少有对各项诊断活动及其相应方法进行有效集成的研究.文中分析软件失效机理和软件故障产生原因,讨论软件故障模型,提出一种由故障检测、故障定位、故障排除、交付等组成的集成化的软件故障诊断过程框架,研究软件故障检测、定位和排除中所采用的方法及相应的过程,并且将该框架应用于实际的软件故障诊断.

  • 作者

    单锦辉  徐克俊  王戟  SHAN Jin-Hui  XU Ke-Jun  WANG Ji 

  • 作者单位

    北京特种工程设计研究院,北京,100028;中国酒泉卫星发射中心,甘肃酒泉732750/中国酒泉卫星发射中心,甘肃酒泉,732750/国防科学技术大学计算机学院,长沙,410073

  • 刊期

    2011年2期 ISTIC EI PKU

  • 关键词

    软件故障  故障诊断  故障检测  故障定位  故障排除 

参考文献
  • [1] 陈火旺,王戟,董威. 高可信软件工程技术. 电子学报, 2003,z1
  • [2] 单锦辉,王戟,齐治昌,吴建平. Improved Method to Generate Path-Wise Test Data. 计算机科学技术学报(英文版), 2003,2
  • [3] 朱荣,徐拾义. 软件测试中故障模型的建立. 计算机工程与应用, 2003,17
  • [4] 徐宝文,聂长海,史亮,陈火旺. 一种基于组合测试的软件故障调试方法. 计算机学报, 2006,1
  • [5] de Almeida J.R. Jr.;Camargo J.B. Jr.;Basseto B.A.;Paz S.M.. Best practices in code inspection for safety-critical software. IEEE Software, 2003,3
  • [6] Zeller A.;Hildebrandt R.. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 2002,2
  • [7] Prattana Deeprasertkul;Pattarasinee Bhattarakosol;Fergus O'Brien. Automatic detection and correction of programming faults for software applications. The Journal of Systems and Software, 2005,2
  • [8] 宫云战. 一种面向故障的软件测试新方法. 装甲兵工程学院学报, 2004,1
  • [9] Munson, JC;Nikora, AP;Sherif, JS. Software faults: A quantifiable definition. Advances in Engineering Software, 2006,5
  • [10] Lee I.;Iyer RK.. Diagnosing rediscovered software problems using symptoms. IEEE Transactions on Software Engineering, 2000,2
  • [11] 单锦辉,姜瑛,孙萍. 软件测试研究进展. 北京大学学报(自然科学版), 2005,1
  • [12] Bérard B;Bidoit M;Finkel A;Laroussinie F,Petit A,Petrucci L,Schnoebelen P,McKenzie P. Systems and Software Verification-Model-Checking Techniques and Tools. Beilin:Springer-Verlag, 2001
  • [13] Baudry B;Fleurey F;Traon Y L. Improving test suites for efficient fault localization. 上海, 2006
  • [14] 黄锡滋. 软件可靠性、安全性与质量保证. 北京:电子工业出版社, 2002
  • [15] Humphrey W. Managing the Software Process. MA,Addison-Wesley, 1989
  • [16] Chang C P;Chu C P. Defect prevention in software processes:An action-based approach. Journal of Systems and Software, 2007,04
  • [17] IEEE. IEEE Std 610.12-1990,IEEE Standard Glossary of Software Engineering Terminology. 1990
  • [18] 甘茂治;康建设;高崎. 军用装备维修工程学. 北京:国防工业出版社, 2005
  • [19] 周彬;孙军;李晋霞. 故障诊断技术研究现状及其在载人航天中的应用. 载人航天, 2006,05
  • [20] 徐克俊;郑永煌;孙传飞. 待发段航天员地面应急救生系统. 北京:国防工业出版社, 2006
  • [21] 齐治昌;谭庆平;宁洪. 软件工程. 北京:高等教育出版社, 2004
  • [22] Jiang Y;Hou S-S;Shan J-H;Zhang L,Xie B. Contractbased mutation for testing components. Budapest,Hungary, 2005
  • [23] Weiser M. Program slicing. IEEE Transactions on Software Engineering, 1984,04
  • [24] Steve McConnell;天奥;熊可宜. 代码大全. 北京:学苑出版社, 1993
  • [25] GB/T 11457-1995,软件工程术语. 1995
  • [26] 蔡开元. 软件可靠性工程基础. 北京:清华大学出版社, 1995
  • [27] Offutt A J;Hayes J H. A semantic model of program faults. San Diego,California,USA, 1996
  • [28] 陈炳忠;王朋. 载人航天工程软件化趋势及其启示. 载人航天, 2006,04
  • [29] Baekken J S;Alexander R T. A candidate fault model for AspectJ Pointcuts. Raleigh,North Carolina,USA, 2006
  • [30] 徐拾义. 可信计算系统设计与分析. 北京:清华大学出版社, 2006
  • [31] Baresi L;Young M. Test oracles. University of Oregon:Technical Report CIS-TR01-02, 2001
  • [32] 郑人杰. 计算机软件测试技术. 北京:清华大学出版社, 1992
  • [33] Myers G J. The Art of Software Testing. Hoboken,New Jersey:John Wiley & Sons, 2004
  • [34] 朱鸿;金凌紫. 软件质量保障与测试. 北京:科学出版社, 1997
  • [35] Cleve H;Zeller A. Locating causes of program failures. St.Louis,MO,USA, 2005
  • [36] Gupta N;He H;Zhang X;Gupta R. Locating faulty code using failure-inducing chops. Long Beach,CA,USA, 2005
  • [37] Zhang X;Gupta N;Gupta R. Locating faults through automated predicate switching. 上海, 2006
查看更多︾
相似文献 查看更多>>
3.227.252.54