单项选择题
A．程序员 B．测试员 C．审查者 D．架构师
A．过程的正确性 B．产品的正确性 C．测试的正确性 D．规格说明的正确性
A．证明程序正确 B．查找程序错误 C．改正程序错误 D．验证程序无错误