代码检查PDF打印版.pdfVIP

学 海 无 涯 代码检查 摘要：代码检查是白盒测试的一种静态测试方法，是众多软件测试方法中发现软件缺陷最有效的方法 之一。本文结合国内外学者在相关领域的研究情况，介绍代码检查相关的基本概念、过程和分析方法。 关键字：白盒测试，代码检查，静态分析，检查规则 一、 引言 按照测试时源代码是否可见，软件测试可以分为白盒测试和黑盒测试两类。 白盒测试（结构测试），即逻辑驱动的测试，是在了解程序内部结构的基础上，对程序的逻辑结构进行检 查，从中获取测试数据。白盒测试关注的是测试用例执行的程度或覆盖程序逻辑结构的程度。白盒测试一 般只应用于软件开发阶段。 白盒测试，又可按照是否需要运行程序，进一步细分为了静态测试和动态测试两种。通常情况下是按照先 静态后动态测试顺序来实施。其中，静态测试包括代码检查、静态结构分析、代码质量度量等测试内容。 静态测试既可以由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。 代码检查是一种对程序代码进行静态检查。传统的代码检查是通过人工阅读代码的方式，检查软件设 计的正确性；用人脑模拟程序在计算机中的运行，仔细推敲、校验和核实程序每一步的执行结果，进而判 断其执行逻辑、控