程序调试的任务是（ ）。
A、设计测试用例
B、验证程序的正确性
C、发现程序中的错误
D、诊断和改正程序中的错误
软件验证和确认理论是测试过程的理论依据，其中验证是检查我们是否正在正确地建造一个产品，它强调的是______。
A．过程的正确性
B．产品的正确性
C．测试的正确性
D．规格说明的正确性
