软件开发的本质概括为不同抽象层术语之间以及不同抽象层处理逻辑之间的_______________。

简述因果图方法生成测试用例的基本步骤。

假设选修课程数目的输入范围为1-4，则根据黑盒测试中的等价类划分技术，下列划分正确的是（）

单元测试期间，通常考虑模块的（）

由于软件错误的复杂性，在软件工程测试中，应综合运用测试技术，并且应实施合理的测试序列：单元测试、___________、有效性测试和系统测试。