以下不属于桌上检查的项目是

A．检查小组对程序进行模拟执行，以展示系统的不同构件如何相互作用，暴露程序被忽略的细节

B．检查变量的交叉引用表，重点是检查未说明的变量和违反了类型规定的变量

C．选择、激活路径，检查程序的语句代码

D．比较由程序员设计的控制流图和由实际程序生成的控制流图，寻找和解释每个差异，修改文档和校正错误

短周期非金属元素X和Y能形成XY₂型化合物，下列有关说法正确的是（　　）

A．XY₂一定能与水反应

B．XY₂水溶液不可能呈碱性

C．符合要求的XY₂物质的两种

D．X、Y一定不是同一主族的元素