单选题 ( )是指通常的上机测试，这种方法使程序有控制地进行，并从多种角度观察以发现错误。
A) 静态测试 B) 功能测试
C) 动态测试 D) 正确性证明