修建水库主要解决的是水资源_______（时间、空间）分布不均的问题；跨流域调水主要解决的是水资源_______（时间、空间）分布不均的问题。

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