单项选择题

A.发现软件错误
B.说明程序正确
C.证明程序没有错误
D.设计并运行测试用例