用QESAT/C工具进行软件分析与测试时，以下说法错误的是 ______。

A．白盒测试又称为程序结构测试，它主要进行程序逻辑结构的覆盖测试
B．在进行测试之前，必须先建立以.prj为后缀的测试项目
C．被测源文件可放在任意目录下
D．进行软件静态分析不必运行被测程序

结婚的必备条件有：①（），②必须达到法定年龄，③必须符合一夫妻制。