等价划分、边界值分析以及错推测法都称为___________。