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

邓 * * 说过，不要以为，一说计划经济就是社会主义，一说市场经济就是资本主义，不是那么回事，两者都是手段，市场也可以为社会主义服务（）

①明确了计划和市场都是经济手段②认识了市场经济属于社会主义基本制度范畴③为我国经济体制改革目标模式的选择奠定了理论基础④消除了把计划经济和市场经济看作社会基本制度范畴的思想束缚

A.①②③

B.①②④

C.①③④

D.①②③④