无缺陷代码在嵌入式软件开发过程中的技术可行性

    要想开发出可靠优质的软件，就需要对其不断地进行测试，这样才能尽早地发现软件的缺陷，并及时改进。源代码分析被因其独特的优势被广泛地应用在嵌入式软件开发缺陷检查中，并且随着开发模式的不断更新，对源代码分析的要求也越来越高，尤其是针对现在比较普遍的敏捷开发模式，无缺陷代码是最基本也最重要的条件，但它真的可行吗？今天我们就来分析一下。
    以军工行业及其他大型软件项目为例，在实际生产中一般都会自觉不自觉的按照敏捷开发模式进行。即将软件项目的构建切分成多个可以互相联系，也能独立运行的子项目，并分别完成，且在此过程中软件一直处于使能的状态。这样做的好处是在软件各个阶段和各个模块部分的开发过程中进行持续的需求跟踪，能及时对软件的需求和功能进行调试，保证软件与用户需求的高度符合。

    但是敏捷开发模式有一项最基本也是最重要的前提条件：无缺陷代码。也就是说这种嵌入式软件开发模式非常强调各个开发阶段中的缺陷控制，以使开发团队能顺利的进入下一个迭代周期，并最终确保产品的成功。

    Goanna凭借其先进的荣获图灵奖的分析技术很快便成为了第三代源代码分析技术中的佼佼者，其整合了桌面环境源代码的分析速度、生产率和系统级分析的强大功能。并已经被证明在大型、分布的复杂系统开发中，能有效减少风险，降低成本，提高软件质量，加速开发进度。

    那么新一代的源代码分析工具优势如何与这种开发模式相融合的呢，下面就以源代码分析工具中的领先产品Goanna为例，介绍一下嵌入式软件开发过程中“无缺陷代码”的技术实现。

    Goanna为使用者提供了非常快速便捷的使用方式，能够无缝集成到开发者的桌面开发环境中，如IAR Embedded Workbench、Keil uVision等，且提供更为强大和灵活的命令行构建工具goannamake，使得开发者可以一次性构建并分析工程，且生成图形化的详细报告。即当开发者写完一个工程的或者一个文件后，就可以通过goannamake这样的方式直接编译和分析工程，其原理是将goanna自身的分析功能与开发人员熟知的make完美结合，以节省开发人员多余的分析操作；此外对于单个工程文件还有类似的goannacc。与goannamake一样，goannacc是一个goanna与gcc完美结合的工具，这样便捷的实用的好处对于开发人员来说是不言自明的。

    由于每一种分析方式都是基于一个完整的工程或一个完整的文件而进行的分析，所以goanna在分析过程中是通过收集工程的全局信息而进行的判断，因此极大的提高了分析的准确度和可靠性，有效地减少了误报和漏报的情况。

    上文分析了新一代的源代码分析工具Goanna基本可以实现无缺陷代码，能大大地提高发现软件缺陷和漏洞的程度，保证嵌入式软件开发更高效安全。嵌入式软件的开发需要专业的人才，如果您有这方面的需要，可以注册一品威客网账号发布任务需求，我们期待为您服务。