留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

基于Object-FMA的软件代码审查方法

黄百乔 张虹 陆民燕 李震

黄百乔, 张虹, 陆民燕, 等 . 基于Object-FMA的软件代码审查方法[J]. 北京航空航天大学学报, 2010, 36(12): 1473-1479.
引用本文: 黄百乔, 张虹, 陆民燕, 等 . 基于Object-FMA的软件代码审查方法[J]. 北京航空航天大学学报, 2010, 36(12): 1473-1479.
Huang Baiqiao, Zhang Hong, Lu Minyan, et al. Object-FMA based software code inspection approach[J]. Journal of Beijing University of Aeronautics and Astronautics, 2010, 36(12): 1473-1479. (in Chinese)
Citation: Huang Baiqiao, Zhang Hong, Lu Minyan, et al. Object-FMA based software code inspection approach[J]. Journal of Beijing University of Aeronautics and Astronautics, 2010, 36(12): 1473-1479. (in Chinese)

基于Object-FMA的软件代码审查方法

详细信息
    作者简介:

    黄百乔(1980-),男,湖南邵阳人,博士生,sunshinefly@dse.buaa.edu.cn.

  • 中图分类号: TP 311.5

Object-FMA based software code inspection approach

  • 摘要: 针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Failure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.

     

  • [1] Oliver Laitenberger.Studying the effects of code inspection and structural testing on software quality // -98 Proceedings of the Ninth International Symposium on Software Reliability Engineering.Paderborn,Germany:IEEE,1998:237-246 [2] GJB/Z141 军用软件测试指南[S] GJB/Z141 Military software testing guide[S](in Chinese) [3] Fagan M E.Design and code inspections to reduce errors in program development [J].IBM Systems Journal,1976,15(3):182-211 [4] Chan Kevin.An agent-based approach to computer assisted code inspections //13 th Australian Software Engineering Conference(ASWEC-01).Canberra,Australia:IEEE,2001:147-152 [5] Jorge Rady de Almeida Jr,Joao Batista Camargo Jr,Bruno Abrantes basseto,et al.Best practices in code inspection for safety-critical software[J].Software IEEE,2003,20(3): 56-63 [6] Les Hatton.Testing the value of checklists in code inspection[J].Software IEEE,2008,25(4):82-88 [7] 胡璇,刘斌,陆民燕.软件代码缺陷分类与应用[J].计算机工程,2008,35(2):30-33 Hu Xuan,Liu Bin,Lu Minyan.Classification of software code errors and its application[J].Computer Engineering,2008,35(2):30-33(in Chinese) [8] McMeekin David A,von Konsky Brian R,Robey Michael,et al.The significance of participant experience when evaluating software inspection techniques //Software Engineering Conference.Gold Coast,Australia:IEEE,2009:200-209 [9] Mantyla Mika V,Lassenius Casper.What types of defects are really discovered in code reviews [J].IEEE Transactions on Software Engineering,2009,35(3):430-448 [10] 曾福萍,钟德明,张虹.一种软件代码审查方法的研究 //第7届国际可靠性、维修性、安全性学术会议.北京:中国宇航学会,2007:1-6 Zeng Fuping,Zhong Deming,Zhang Hong.Study on software code inspection //The Seventh International Conference on Reliability,Maintainability and Safefy.Beijing:Chinese Society of Astronautics,2007:1-6(in Chinese) [11] Goddard P L,Troy Raytheon.Software FMEA techniques //Proceedings Annual Reliability and Maintainability Symposium 2000.Los Angeles,CA,USA:IEEE,2000:118-123
  • 加载中
计量
  • 文章访问数:  3978
  • HTML全文浏览量:  172
  • PDF下载量:  25951
  • 被引次数: 0
出版历程
  • 收稿日期:  2010-01-06
  • 网络出版日期:  2010-12-30

目录

    /

    返回文章
    返回
    常见问答