填空题 黑盒技术设计方法主要有（）、（）、错误推测、因果图等。

填空题 动态测试中，主要测试程序功能的方法称为（）法，测试程序内部结构及处理过程的方法称为（）法。

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