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

空白（1）处应选择（）

A.形式化

B.迭代式

C.瀑布式

D.交互式

某女，23岁，有不洁性生活史，近半月来，外阴皮肤黏膜潮红，小阴唇周围见数个小菜花状赘生物，宫颈轻糜，余无异常。

哪项检查有助于诊断（）

A.赘生物活检

B.宫颈分泌物培养

C.宫颈刮片

D.血清病毒测定

E.超声检查