单项选择题检查软件产品是否符合需求定义的过程称为______。
单项选择题有如下程序 main() int x=3； do printf( %d ,x--)； while(!x)； 该程序的执行结果是______。
