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

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

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

问答题软件复杂性有哪几类？软件复杂性度量模型应遵循哪些基本原则？

问答题下面给出一个求实函数方程F（x）在自变量区间[a，b]中的全部实根的算法。首先阅读此程序，然后 （1）画出消去全部goto语句的结构化程序流程图。 （2）将它改成N-S图。 在算法中，a与b是区间[a，b]的两端点值；eps1与eps2是用户要求的求解精度。如果区间中点的函数值的绝对值小于eps1或新的小区间的长度小于eps2，就认为这个中点为根。

问答题下面是两个程序流程图，试分别用N-S图和PAD表示之，并计算它们的McCabe复杂性度量。