X、Y是元素周期表第ⅦA族中的两种元素。下列叙述中不能说明X的非金属性比Y强的是(　　)。

A．X原子的电子层数比Y原子的电子层数少

B．酸性:HXO₄>HYO₄

C．X的气态氢化物比Y的气态氢化物稳定

D．Y的单质能将X从NaX的溶液中置换出来

在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有： 【15】 才可能证明程序的正确性。