测试的目的是（），而不是对正确性进行形式化证明。

[单选题]是用来论证被测试的系统满足需求的情况，它的目的是为了证明其充分性和正确性，而不是为了发现问题。A．确认测试B．回归测试C．验收测试D．第三方测试

[单选题]软件测试的目的是______。A．) 证明软件的正确性B．) 尽可能多地发现软件系统中的错误C．) 找出软件系统存在的所有错误D．) 证明软件系统中存在错误A．B．C．D．

[名词解释] 形式化的社会控制和非形式化的社会控制

[多选题] 静态测试是以人工的、非形式化的方法对程序进行分析和测试。常用的静态测试方法有（）。A .运行程序并分析运行结果B .桌前检查与代码会审C .数据流分析图D .调用图

[单选题]以下现象中，（）是形式化的社会控制，（）是非形式化的社会控制。A . 法律、法规；道德、宗教B . 风俗习惯、道德；法律、宗教C . 军队、艺术；法庭、法律D . 条例、习惯；规程、时尚

[主观题]程序正确性证明是用______来证明程序正确性的方法。

[判断题]根据教育的正规程度，教育的形态可分为非形式化教育和形式化教育。（）A.对B.错

[判断题]根据教育的正规程度，教育的形态可分为非形式化教育和形式化教育。（）A.对B.错

[判断题]根据教育的正规程度，教育的形态可分为非形式化教育和形式化教育。（）A.对B.错

[单选题]软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是( )。A.IB.I和ⅡC.IID.I、Ⅱ和I