假设选修课程数目的输入范围为1-4，则根据黑盒测试中的等价类划分技术，下列划分正确的是（）
A、2个有效等价类，2个无效等价类B
暂无解析
由于软件错误的复杂性，在软件工程测试中，应综合运用测试技术，并且应实施合理的测试序列：单元测试、___________、有效性测试和系统测试。
软件开发的本质概括为不同抽象层术语之间以及不同抽象层处理逻辑之间的_______________。
由于软件错误的复杂性，在软件工程测试中，应综合运用测试技术，并且应实施合理的测试序列：单元测试、___________、有效性测试和系统测试。
CMMl模型提供了两种过程改善路径，一是称为能力等级的过程改善路径，二是称为_________的过程改善路径。
以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
