软件编程后的调试分为（）、（）和（）三种。白盒法主要用于（）调试。