静态测试是一种重要的软件测试方法。静态测试工具在测试中往往存在着误报和漏报。误报虽然可以通过手工的方式消除,但是会降低用户的体验度；漏报会让用户误以为软件有较高的质量,一旦这些漏报的错误在软件运行时显现出来,就有可能产生很严重的后果。本文通过对静态缺陷检测工具DTS的检测结果进行分析,发现数组相关的错误占了30%左右,缺陷密度大约是0.3个/千行。DTS在对数组进行检测的时候存在着数组内存建模不完整、数组元素计算不准确等等问题。针对这些问题,我们提出了一种新的数组内存模型——符号化的数组模型,这种内存模型可以有效地解决DTS测试数组时的一些问题,它也可以和数组相关的计算结合起来,实验结果表明使用该内存模型可以达到降低检测数组误报和漏报的目标。静态的数组分析技术的研究可以扩展到很多方面,例如缓冲区溢出、内存泄漏、空指针引用等缺陷的检测。如果能够解决好这些问题,可以提高软件的质量,这具有很重要的实际意义。