下列选项中，属于进一步审计程序的类型的有（）。

A．分析程序

B．重新执行

C．重新计算

D．函证

下面程序输出的结果是（ ）。　　#include＜iostream.h＞　　voidmain(　)　　{inti；　　　　inta[3][3]：{1，2，3，4，5，6，7，8，9}；　　　　for(i=0;i<3；i++)　　　　cout＜＜a[2-i][i]＜＜""；　　}

A．定义了一个名为a的一维数组

B．a数组有3个元素

C．a数组的元素的下标为1-3

D．数组中的每一个元素都是整型