静态检验（static check）是2018年经全国科学技术名词审定委员会审定发布的计算机科学技术名词。
某一部件或程序运行之前或一组数据在使用、传输之前进行的正确性检查。
《计算机科学技术名词 》 (第三版)
