单项选择题

是指通常的上机测试,这种方法使程序有控制地进行,并从多种角度观察以发现错误。

A. 静态测试
B. 功能测试
C. 动态测试
D. 正确性证明