软件测试是一个有程序的过程，包括_________、测试执行以及测试结果比较等。

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

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

根据RUP实现活动，输入为设计类和接口，活动为实现类，则输出为（）

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