填空题 动态测试包括（）法和黑盒法，检查程序是否满足功能要求应采用（）法，测试程序的内部逻辑是否正确应使用（）法。

填空题 被测试程序不在机器上运行而采用人工分析检测或计算机辅助分析检测称为（）测试，使被测试程序在机器上运行的测试方法称为（）测试。

填空题 软件测试方法一般分两大类：（）测试法和动态测试法，动态测试包括（）法和白盒法。