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

税人发生解散、破产、撤销等，依法终止纳税义务的，应当在向工商行政管理机关办理注销登记前，持有关证件向原税务登记机关申报办理注销税务登记。