严格的编程规范是软件开发的基础，但这仅仅是提升软件质量的第一步。为了提升软件的重用性和维护性，静态质量度量显得尤为重要。静态质量度量主要依据ISO9126标准，该标准将软件质量分为功能性、可靠性、可用性、有效性、可维护性和可移植性六个维度。
在静态测试中，特别关注的是软件的可维护性，这可以从四个关键指标来评估：可分析性（Analyzability）、可改变性（Changeability）、稳定性（Stability）以及可测试性（Testability）。衡量可测试性时，我们通常关注两个度量元：圈复杂度和输入/输出数量。圈复杂度数值越大，表明代码中控制流的路径越多，这需要更多的测试用例去覆盖。同样，输入/输出的丰富程度也直接影响测试的全面性。
在实际操作中，专业的质量度量工具是必不可少的。没有这些工具，仅靠人工进行静态测试会变得异常困难。例如，Testbed和Logiscope等工具在静态质量度量过程中发挥着关键作用，它们能够自动化执行这些复杂的度量任务，大大提高效率和准确性。
静态方法是指不运行被测程序本身，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析，找出欠缺和可疑之处，例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错，并为测试用例选取提供指导。