净室软件工程是软件开发的一种 (44) 方法，可以开发较高质量的软件。它使用盒结构规约进行分析和建模，并将 (45) 作为发现和排除错误的主要机制，采用统计测试来获取验证软件可靠性所需要的信息。

45（）

A．测试

B．仿真

C．实验

D．正确性验证

下列说法正确的是( )。

A．生产力的发展、私有制的产生，是警察产生的经济条件
B．阶级矛盾和统治阶级内部矛盾的不可调和性，是警察产生的社会条件
C．维护统治秩序与惩罚犯罪的客观需要，是警察产生的文化条件
D．国家机器的形成，是警察产生的政治条件