A . 模块之间呈现高耦合
B . 实现分析模型中的所有需求
C . 包括所有组件的测试用例
D . 提供软件的完整描述
E . 选项B和D
F . 选项B、C和D