对于分析软件代码的版本差别，有不少成熟的软件工具和算法，常见的工具有：Windows下的diff和Linux下的comp。这些工具大多都是基于文本的，虽然也引入了一些独特高效的算法，来提高比较结果的准确性。但是，实际使用时经常发现工具会对两个不相关的函数进行比较，出现这种情况显然是对代码检查的一种误导。而对于一些对于不同版本使用了不同排版风格，或者仅在使用字符存在差异的代码版本，基于文本的比较工具有时会错误的认为两个版本是截然不同的。
正因为用于代码比较的传统工具存在这些问题，要想代码检查能更准确的引导版本变更情况下的代码检查，代码比较必须采用一个基于结构的，能够排除格式和字符集等影响的方法。
本文参考传统的版本比较方法，给出了一种基于静态分析结果的版本更替时使用的代码检查方法。首先，分别对不同版本的代码都和新代码一样进行静态分析和深层语句分析；然后对各版本代码的静态分析结果进行比较，即比较两棵抽象语法树的结点序列。比较结点序列时，模仿comp工具在设置差异行阈值的方法，设置方法内分支以及分支内部语句的差异阈值，从而确定新代码相对于旧代码，类、方法、方法内部分支、以及语句行的新增/减少/改变（实践中可以处理成新增和减少的组合）等变化情况。比较的结果保存在compareresult.xml中，能够通过着色显示的方式来引导代码测试，按照优先检查变化代码的原则开展代码检查工作。
对于版本变化的代码，其分析过程如图8所示。
图8 版本变化的代码检查过程示意图
由图可知，用于做版本比较的主要是静态分析结果文件结构信息。由于所使用的静态分析器尚存在少许不足，一些位于方法以外的语句由于无法进行语句行定位，使得在后来的深层语句分析中也没法分析到，当然也就不可能被包含在分析结果中。虽然，在代码检查实践中可以使用通过获取方法体外语句行文本方法，并进行即时的代码行分析这种方式作为补充，以实现代码检查样本的获取，继而能够进行合适的代码规则匹配检查。但是，对存在于这些地方的版本差异，代码检查过程中，就不可能对这些代码给出有关变更的引导信息。
总结：本文介绍了代码检查的基本概念、过程以及代码检查规则、代码分析和检查方法，希望通过对本文的阅读，能使读者对代码检查这一静态白盒测试方法有所了解。
参考文献
[1] Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, and Benjamin Chelf, Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code.[J] ,ACM, 2001
[2] Fevzi Belli, Radu Crisan. Towards Automation of Checklist-Based Code-Reviews[J], 1996 IEEE
[3] Tomoko MATSUMURA, Akito MONDEN, Ken-ichi MATSUMOTO, The Detection of Faulty Code Violating Implicit Coding Rules[C], Proceedings of the 2002 International Symposium on Empirical Software Engineering (ISESE’02).
[4] Tomoko MATSUMURA, Akito MONDEN, Ken-ichi MATSUMOTO, A Method for Detecting of Faulty Code Violating Implicit Coding Rules[J], IWPSE 2002 Orlando Florida.
版权声明：51Testing软件测试网及相关内容提供者拥有51testing.com内容的全部版权，未经明确的书面许可，任何人或单位不得对本网站内容复制、转载或进行镜像。51testing软件测试网欢迎与业内同行进行有益的合作和交流，如果有任何有关内容方面的合作事宜，请联系我们。
