In the former case, Socrates generates a number of test cases equal to the cross product of the number of arguments times their possible values.

• 在第一种情况下,Socrates将生成许多测试案例,其数量等于参数数量与其可能值的乘积。