Generating tests automatically from a model can overcome some biases.

根据一个模型自动生成测试可以纠正某些偏差。