软件测试用例设计自动化
一般来说，用例设计属于重复次数少的智能活动，不太适合自动化。但也有一些场合可以进行一定程度的自动化，提高设计效率，但不能指望能完全取代智力的测试活动。实现这种目的的工具有时称为测试输入生成工具。
所有的测试输入生成工具都存在一个问题，即工具可能产生大量的测试用例，但它不能区分哪些测试是重要的，这些要求创造力的智力活动只能由测试人员完成。工具永远不能回答如何在合理的时间里挑选适当的用例来执行。
工具生成测试用例依赖于规格描述的形式化，如果不能做到形式化描述，是无法按照一定算法实现用例设计自动化的。另外由于用例的生成依赖于所采用的算法，所以工具生成用例比人工设计要彻底、精确。但人工在判断测试需求是否有遗漏方面更有优势。
