X、Y、Z、W都是短周期元素，核电荷数依次增大．X和Z同主族，Y、Z、W同周期，Y的原子半径是所处周期中最大的，W的最高价氧化物所对应的水化物是强酸，X与W的核电荷数之比为3：8．据此判断下列说法正确的是（　　）

A．Y是第三周期ⅦA族元素

B．非金属性：W＞X

C．Z一定是金属元素

D．Y与W的最高正价之和为8

Myers在1979年提出了一个重要观点，即软件测试的目的是为了 ______。

A．证明程序正确

B．查找程序错误

C．改正程序错误

D．验证程序无错误