行业应用软件是软件体系中的重要组成部分,也是中国软件产业发展的一个非常好的机遇。但是随着软件产业的不断发展壮大,行业应用软件系统的规模日趋庞大,软件的功能也日益复杂,软件的正确性保证也越来越困难。　　 样本程序是为了提高行业应用软件的开发效率和正确性,降低开发成本而提出的。实践证明,在行业应用软件的开发过程中,样本程序起着非常重要的作用。但是随着样本程序的普遍使用,衍生程序的质量无法保证、样本程序的使用情况无法得知等问题逐渐暴露出来。　　 代码走查是提高软件功能正确性的一种重要的方式,在大规模的软件系统中,人工走查的效果非常有限,代码自动化检查工具能够起到非常好的补充作用。目前常用的一些代码自动化检查工具,适用于对所有可识别的功能代码进行常规问题的检查,但是对于基于样本程序的应用系统来说,还需要检查根据样本程序相似性复用而产生的衍生程序的局部代码问题,针对于小部分“相似但不完全相同”的局部代码的集中规则检查,是目前常用的代码自动化检查工具无法做到的。　　 因此,本文提出了基于样本程序和规则库的代码自动化检查工具,该工具以程序静态分析的方法为指导,结合样本程序和检查规则等知识库内容,对衍生程序进行识别和检查。该工具在全局的常规代码问题检查之后,进行基于样本程序的个性化规则检查:利用样本程序的特征点检查规则,检查衍生程序的结构特征点的完整性；利用样本程序的常见问题检查规则,检查衍生程序功能代码的正确性。　　 目前该检查工具在部分基于样本程序开发的行业应用软件系统中得到了应用,取得了不错的应用效果。