Parasoft：以自动化强化侦错能力

Parasoft APAC资深技术顾问　Anthony Lonergan

在任何软件开发上，最重要的工作就是除错。但是除错的过程中往往会因为许多因素，导致问题不断发生，如此不但影响软件品质，更拖累团体的生产力。而测试过程中有许多环节都需要注意，但现实与理想总是有所差距，在无奈的妥协之下，往往就让产品潜藏着不少错误。这时候自动化会是有效的解决方案，透过强大的除错工具，能够自动找出系统中发生错误的位置，并且提供有效的建议方案，让开发过程中最后也最重要的除错程序更快也更完整。

嵌入式系统由于软硬件整合的关系，因此在软件开发过程中都需要特别留意除错的过程，以免产品产生瑕疵。而其中的关键就在于软件品质与团体生产力。为了要掌握上市时间(Time to Market)，往往软件开发人员都必须花费大量的时间与精力，尽快地完成所需功能。但在这种状况下，软件系统难免会出现错误，该如何快速且精准地找出问题所在，就成为软件专案成功的最后也最重要的关键。

以自动化兼顾品质与生产力

生产力决定企业是否能够在最快的时间推出最适合市场需求的产品，但在此同时，品质就成为相当关键的因素。俗话说慢工出细活，但是这又与市场竞争机制相违背，如何能够让产品上市又快又好，就成为软件开发过程中相当重要的关键。

为了协助软件开发部门达成此一目标，一套良好的除错工具是相当重要的。过去大多人采行的是人工除错方式，速度不但慢，同时也需要花费大量人力，才能够及时找到问题所在。

但是现在使用者所需求的功能越来越复杂，程序码也越来越庞大，透过人工方式已经没有办法在时限之内完成所有除错工作。这时候就必须有所妥协，舍弃部分测试方式或是提高可容许的门槛，这样反而会造成产品功能不彰或是不稳定。因此最好的方式应该是导入自动化，透过适当的工具快速找出问题所在，并协助软件开发人员解决问题。

Parasoft所推出的除错工具，能够以C++测试，能够协助嵌入式设备的开发人员，侦测C与C++语言开发阶段所产生的错误，并以错误预防与侦测技术，提高软件开发的品质。

而自动化流程，则能够降低人工工作的负担，同时排除任何人为错误的可能性，并能够整合常见的开发工具环境，提供嵌入式产品开发与补丁模块的测试机制，并整合自动化建构系统，让软件开发流程更加顺畅。

自动化状态分析

自动化状态分析可分为3大项目：模式为主的状态分析、流量为主的状态分析与矩阵分析。

模式为主的状态分析能够提高生产力，并且提供多种规则以检核软件中的错误，并且支持图形化界面，让规则设定与定制化更为容易。流量为主的状态分析，能够找出复杂的执行错误，并且能够以更深层且多重档案的方式，分析实际运作中可能产生的问题。矩阵分析则可以找出复杂的程序码错误，并直接点出程序码或应用程序中的错误，协助软件开发人员除错。

对自动化除错流程来说，透过原始码管理器(Source Control Manager)能够协助开发者检核关键程序码，同时可与专家协同，同时检核并产生相同版本的程序码，以避免版本落差导致的问题。

打造嵌入式程序检核完整流程

一套好的除错工具，应该要能从单一程序到整体运作，彻底检查其程序码与应用程序的正确性与健全性。Parasoft所推出的除错工具，能够根据整体程序码、编译过程、执行结果乃至于实际部署，都提供完整且正确的检查机制，确保程序码在每个环节都是正确无误。

而该除错工具也能够验证正在运作的程序码，以不中断的方式检查各项执行结果，并找出相关问题制作成完整的报表，作为软件开发人员更新或改善的依据。

一套好的除错工具，应该是协助软件开发人员在品质与生产力方面，都达到最佳状态，而不是以妥协的方式取得平衡。透过自动化方式侦错，不但能够节省过滤程序码的时间，同时能够降低人为疏失，让产品品质更佳，且有效提高生产力，这是软件开发过程中最重要的一环。