A . 在实现阶段，检查通过模块界面的输出和输出数据是否符合运行规定
B . 检查模块涉及的全部数据结构
C . 检查模块内部的重要执行路径
D . 程序员自行测试的效果