在刑事技术鉴定中，对鉴定结论有意见分歧的，应当报送上一级公安机关的刑事技术部门检查核定。( )

程序测试分为静态测试和动态测试。其中______是指不执行程序，而只是对程序文本进行检查，通过阅读和讨论，分析和发现程序中的错误。