程序功能检验（program function inspection），工学-公安技术-网络安全与执法-电子数据取证，判断待检的程序是否具有特定功能的操作过程。对于待检程序按照如下过程进行检验：① 根据需要检验的功能结合程序特点，设计检验方案；②根据检验方案配置待检程序的运行环境；③确保待检程序已正确安装在运行环境中后设置相关参数进行功能检验；④对检验结果进行记录，如程序无法正常运行则停止检验并做详细记录。程序功能检验主要记录：①程序的名称、版本、大小等属性信息；②程序的哈希值；③程序运行的操作系统及版本；④录像/图像文件文件名和哈希值。程序功能检验的结果分为3种：①具备特定的功能，描述程序具备的功能；②不具备特定的功能；③无法正常运行，不具备检验条件。