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

在一个软件结构中，同一个层次上模块总数的最大值是该结构的____________。

简述泛化的概念及其约束。

对于单___________个需求必须具有的基本性质：必要的、___________、可测的、___________以及可测量的。

瀑布模型规定了各开发阶段的活动：系统需求、软件需求、__________、设计、__________、测试和运行。