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

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

为保证形式化系统的有效性,下面哪个选项不是形式化系统需要具有的性质()A. 一致性B. 可靠性C. 可判定性D. 完备性

为保证形式化系统的有效性,下面哪个选项不是形式化系统需要具有的性质()A. 可靠性B. 完备性C. 可判定性D. 一致性

为保证形式化系统的有效性，下面哪个选项不是形式化系统需要具有的性质（）A. 一致性B. 可判定性C. 可靠性D. 完备性

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

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

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

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

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

为保证形式化系统的有效性,下面哪个选项不是形式化系统需要具有的性质( )A完备性B可靠性C一致性D可判定性为保证形式化系统的有效性,下面哪个选项不是形式化系统需