填空题 黑盒测试依据（），检查程序是否满足（）。因此，黑盒测试由称为功能测试或（）测试。

填空题 动态测试指通过（）发现错误。对软件产品进行动态测试时使用黑盒测试法和（）法。

填空题 软件测试阶段的基本任务应当是根据软件开发各阶段的（）和程序的（），精心设计一批“高产”的测试用例，利用这些测试用例（），找出软件中潜藏的各种错误和缺陷。