选择题 7.  净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件，它发现和排除错误的主要机制是______。
【正确答案】 A
【答案解析】 净室软件工程是一种应用数学与统计学理论以经济的方式生产高质量软件的工程技术，力图通过严格的工程化的软件过程达到开发中的零缺陷或接近零缺陷。它提倡开发者不需要进行单元测试，而是进行正确性验证和统计质量控制。所以，选项A正确。