什么是静态验证？ -技术百科的定义

定义-静态验证是什么意思？

静态验证是对计算机代码的分析，以确保在不运行程序的情况下遵守了标准编码惯例。 对某些版本的源代码进行了分析，并为程序员提供了一种调试新代码并检测已编译代码中潜在错误的方法。

技术百科解释了静态验证

静态验证广泛用于安全关键型计算机系统的软件中。 静态验证中使用的关键技术是静态时序分析和等效检查。 静态验证流程中的时间和功能验证是分开的，并且并行运行。 静态时序分析提供时序检查，而等效性检查则通过不同的转换（例如扫描链重新排序，布线和布局）来验证同一电路的两个版本在设计规模上的功能等效性。

静态验证的一些实现技术是数据流分析，模型检查，抽象解释和声明用法。

通常用于静态验证的工具包括Sonar，Yasca，复制/粘贴检测器，Stylecop，FxCop，BLAST，Clang，Lint和Checkstyle。