面向行业应用的软件开发检查工具

吴晓辉，王致富，张 正

（1.对外经济贸易大学 金融学院，北京100029；2.中国科学院软件研究所 软件工程技术研究中心，北京100190；3.中国科学院研究生院 信息科学与工程学院，北京100190；4.中科软科技股份有限公司，北京100190）

0 引 言

行业应用软件是某行业内的核心软件，是中国软件产业崛起的好机会，但是由于涉及到管理、工程化、行业知识、个人表达能力等一系列问题［1］，决定了行业应用软件开发的复杂性。如何提高软件开发的效率、保证软件产品的正确性，是行业应用软件开发过程中不可避免的问题。在行业应用软件的开发过程中，自动化检查和测试工具，能够起到很好的辅助作用，它不仅能够提高软件系统的正确性，而且能够通过一定程度的代替人工进行快速检查，降低软件系统的开发成本［2］。目前存在大量的自动化检查工具 （如 FindBugs［3］、PMD［4］）和 自 动 化 测 试 工 具 （如LoadRunner［5］、WinRunner［6］），这些工具提供了非常强大的检查和测试功能，但是对于样本程序［1］的使用情况检查等行业应用软件开发的个性化检查需求，并不能提供很好的支持。因此本文提出了一种面向行业应用的软件开发检查工具，该工具紧密结合行业应用软件的个性检查要求，针对检查的相关功能进行了设计和开发。在现有工具的基础上，进一步改善代码质量，提高系统的正确性，也为开发、测试、维护过程提供便利。

1 现有工具分析

目前存在大量的自动化检查和测试工具，例如在代码自动化检查方面，PMD和FindBugs能够根据配置的规则，检查出大量的代码问题；……