我看到了Bertrand Meyer的一篇印刷文章,他在文章中指出可以根据规格生成测试.我的开发团队没有这样做,但这听起来像是一个很好的技术.你是如何根据规格生成测试的?您如何描述通过此方法发现程序错误的成功?