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

空白（2）处应选择（）

A.测试

B.仿真

C.实验

D.正确性验证

关于避孕套，以下说法正确的是()。

A．每次使用前应高压消毒

B．每次使用前吹气检查是否漏气

C．用双层避孕套可增加保险度

D．使用避孕套可预防 * * 炎

E．使用后洗净晾干可再用，以免浪费