下列软件测试技术中，依据软件行为描述的是（）
C
暂无解析
在结构化分析方法的基本术语中，数据流的起点称为（）
软件测试是一个有程序的过程，包括_________、测试执行以及测试结果比较等。
以一种基于良构数学概念的符号体系来编制需求规约，则称为_____________需求规约。
软件开发的本质概括为不同抽象层术语之间以及不同抽象层处理逻辑之间的_______________。
假设选修课程数目的输入范围为1-4，则根据黑盒测试中的等价类划分技术，下列划分正确的是（）