净室软件工程(Cleanroom)是软件开发的一种形式化方法，可以开发较高质量的软件。它使用 (91) 进行分析和建模，并且将 (92) 作为发现和排除错误的主要机制。使用 (93) 测试来获取认证软件可靠性所需要的信息。

A．正确性验证
B．黑白盒测试
C．集成测试
D．基本路径测试

中 * * 的人文始祖皇帝.炎帝.蚩尤和符釜山的地方，在今天涿鹿县的（）。

A.温泉屯

B.张家堡

C.武家沟

D.矾山