静态测试实际上是对软件中的需求说明书、设计说明书、程序源代码等进行非运行的检查。静态测试包括走查、符号执行、需求确认等。文中未提及对用户操作手册进行检查。因此A、B、C选项正确，D选项错误。