以下关于软件开发方法的叙述，错误的是（）

A.对于较为复杂的应用问题，适合采用形式化方法进行需求分析

B.形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现

C.净室软件工程将正确性验证作为发现和排除错误的主要机制

D.净室软件工程强调统计质量控制技术，包括对客户软件使用预期的测试

回采工作面编号是22031，其中，第二位数字代表（）。

A、煤层

B、采区

C、上下山

D、层别