在软件调试中， (18) 通过演绎或归纳并利用二分法来定位问题源。

A．蛮力法

B．回溯法

C．原因排除法

D．直觉

如果卫生防疫站经过调查，正式对严某作出不颁发卫生许可证的决定，严某不服，打算提起诉讼，该以谁为被告理由何在