单项选择题

下列各种调试方法中,靠演绎、归纳以及二分法来实现的是( )。

A.强行排错法
B.回溯法
C.原因排除法
D.静态调试