在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有______才有可能证明程序的正确性。
参考答案：程序正确性证明
《境外非政府组织境内活动管理法》所称的境外非政府组织，是指在境外合法成立的基金会、社会团体、智库机构等非营利性、非政府的社会组织。
电解时在阳极上，发生的反应是（），称为阳极反应。
A.氧化
B.析氢
C.析氧
D.还原
