以下关于软件开发方法的叙述,错误的是()。A. 对于较为复杂的应用问题,适合采用形式化方法进行需求分析B. 形式化方法的优势在于能够精确地表述和研究应用问题及其软件实现C. 净室软件工程将正确性验证作为发现和排除错误的主要机制D. 净室软件工程强调统计质量控制技术,包括对客户软件使用预期的测试