需求验证时，对自动化分析方法的描述，错误的一项是（）。

A.一般采用形式化语言检查软件需求规格说明书存在的问题

B.到目前为止，该方法使用较多，效果较好。

C.理论上，软件需求规格说明书的问题、缺陷、漏洞、不完整性、不统一性等诸多问题，可以被自动分析后发现。

D.自动化分析方法实现的技术难度很大。