文档介绍：当前嵌入式系统的应用领域越来越广泛,与人们的生活也越来越密切。随着嵌入式产品更新换代的加快,软件规模急速膨胀,软件的开发周期却越来越短。硬件发展日益稳定,而软件故障却日益突出,这些故障不但会造成重大经济损失,甚至危及人的生命安全。软件的重要性逐渐引起人们的重视,提高嵌入式软件的测试质量势在必行。  为什么嵌入式产品发布后,还残留了许多软件缺陷?原因可能很多,我们试列举以下几种:  ①嵌入式软件本身特点,如实时性,与硬件结合紧密等导致软件测试难度大。  ②在代码规模巨大、开发周期短等客观条件下,软件测试不足。  ③在测试阶段,要动态覆盖所有条件、所有状况的测试几乎是不可能的。  ④嵌入式软件开发主要使用C语言,而C语言非常灵活,容易造成编码错误。  ⑤项目团队未有效建立/遵守编码规范,留用有缺陷代码等导致可移植性、可维护性方面存在缺陷。  ⑥项目团队的惯性思维,不良编码/测试习惯等因素的影响等。  软件测试的分类方法有很多种,如静态测试、动态测试;单元测试、集成测试、系统测试、确认测试;模拟测试、实机测试等。各种测试方法其对测试阶段、测试环境等要求也各具特点,本文就软件代码检查这种静态测试方法进行探讨。  代码检查团队以第三方的角度,运用工具/人工的方式对代码进行静态检查。  软件开发团队根据代码检查团队的检查报告,进行缺陷原因分析、影响范围调查、缺陷修改、修改后验证、缺陷预防措施实施及效果确认活动。  ①代码规范(MISRA等C、C++规范)符合性检查  使用MISRA、QAC等代码规范检查工具,对代码规范的符合性进行检查,然后人工对工具输出的警告进行确认。  ②代码逻辑检查  针对代码规范检查工具不能检查的项目,如公用变量的初始化、函数返回值的使用等方面进行人工检查。  ③中断冲突检查。  对因中断或多任务共同访问全局变量而引起的冲突进行人工检查。  ④功能符合性检查。  对看门狗、AD/DA转换等与硬件相关部分的代码进行人工检查。  ①可在编码~产品发布这一期间内的任何阶段进行。在项当前期经过代码检查可尽可能多地发现缺陷,从而可削减开发成本,提高产品质量。  ②利用第三方的经验、看问题的角度,能够找出自己开发团队因惯性思维、不良编码/测试习惯等因素造成的而自己难于发现的缺陷。  ③不受测试环境、测试设备等客观因素的制约,费用较低。  ①拥有一套检查理论、方法和流程。  ②需要一些辅助工具的配合,以提高检查质量和效率。  ③代码检查人员应熟练掌握C/C++编码规则,熟悉编译器原理。对于功能性检查还应熟悉芯片等硬件知识及通信、汽车等领域产品知识。  ④拥有嵌入式产品代码缺陷库,可进行更有针对性的检查。  ①代码检查与开发团队自己进行的交叉走码有什么区别?  代码检查虽然从形式上来说类似于交叉走码,但交叉走码基本上是属于代码规范符合性检查;而代码检查除代码符合性检查外,更着重逻辑、中断冲突和功能符合性检查。  ②连熟悉开发系统的开发团队都检查/测试不出来的缺陷,不熟悉系统第三方能够吗?  事情有时候就是“成也萧何,败也萧何”。正是由于项目开发团队熟悉自己的系统,但由于惯性思维,有时候会想当然地将缺陷作为正确。第三方代码检查团队虽然对系统不熟悉,可是完全从