程序调试中发现程序错误的方法有（）和（）两种。前者目前尚处于研究之中，后者是已普遍使用的方法，但用这种方法调试的程序，只能说是基本正确，需经过应用，才能得到验证。