填空題程序調(diào)試中發(fā)現(xiàn)程序錯(cuò)誤的方法有（）和（）兩種。前者目前尚處于研究之中，后者是已普遍使用的方法，但用這種方法調(diào)試的程序，只能說是基本正確，需經(jīng)過應(yīng)用，才能得到驗(yàn)證。

參考答案： 理論法，實(shí)驗(yàn)法