系统开发审计业务包括在各个关键点的检查，以保证开发过程受到恰当地控制和管理。则这些检查不包括：（）

A对可用的硬件、软件和技术性资源进行技术可行性研究。

B确定系统、用户和运行文档是否符合正式标准。

C验证用于程序开发、代码转换和测试的控制和质量保证技术的使用。

D在实施的每一阶段都要检查用户参与水平。