在V模型中，以下哪个阶段对概要设计进行验证，哪个阶段对详细设计进行验证，以及哪个阶段追溯用户需求说明？

在软件测试的V模型中，单元测试主要关注代码的详细设计，对概要设计进行验证；集成测试关注模块间的集成和交互，对详细设计进行验证；而验收测试则关注系统是否满足用户需求，因此当追朔到用户需求说明时进行验收测试。因此，选项A、B和D是正确的答案。