静态测试是指不运行程序，而是通过分析源代码、配置文件、设计文档等文档来检查程序的正确性和潜在错误。以下是一些常见的静态测试方法：

代码审查 ：

测试人员对源代码进行仔细审查，以发现潜在的安全弱点、编码错误等。

配置文件分析 ：

分析系统的配置文件，如数据库配置、服务器配置等，以发现潜在的配置错误或敏感信息泄露。

设计文档审查 ：

审查系统的设计文档，包括系统架构、数据流程图、授权模型等，以识别潜在的设计缺陷或安全漏洞。

API 安全审查 ：

分析系统的应用程序接口（API），验证其安全性，并检查是否存在潜在的漏洞或风险。

静态分析工具 ：

使用工具如静态代码分析工具和漏洞扫描工具对源代码和配置文件进行自动化扫描和分析。

词法分析 ：

将源文件处理为token流，与程序缺陷结构匹配，查找不安全的函数调用。

数据流分析 ：

通过确定程序中变量的定义和取值情况来分析潜在的安全缺陷。

模型检验 ：

将软件构造为状态机或有向图等模型，并使用形式化方法描述安全属性，对模型进行遍历检查。

程序结构分析 ：

计算圈复杂度，画出程序流图，检查程序中是否存在孤立语句或非结构化代码。

人工静态方法 ：

包括代码走查、结对编程和同行评审，通过人工检查代码来发现潜在错误。

路径法 ：

通过画程序流程图和程序节点图的方法检查程序中存在的孤立语句或节点。

符号执行 ：

使用符号执行技术对程序进行测试，以发现潜在的错误和漏洞。

静态测试的目的是在软件运行之前发现错误，提高软件的质量和安全性，减少后期修复成本。它包括人工检查和自动化工具的使用，是软件开发过程中不可或缺的一个环节