证明程序正确最常用的方法是______，它对程序提出一组命题，如在数学上证明这些命题不成立，就能保证程序不发生错误。
参考答案：归纳断言法
青藏铁路格拉段是（）年开工建设的。
A.2000
B.2001
C.2002
在企业征信系统中，目前可供选择的接口程序升级数据上报方式有以下几种？（）
A.直接上报
B.直接上报；并行上报
C.直接上报；并行上报；删除重报
D.直接上报；删除重报
