【单选题】

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

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