基于控制流程的软件测试用例自动生成方法研究 (2011年)

软件测试中最重要的就是设计和生成有效的测试用例，通过测试用例的自动生成可以大大提高设计和生成测试用例的效率。首先提供了一种从流程图自动生成测试用例的方法，然后介绍了从流程图生成交互有限状态自动机的算法以及从交互有限状态自动机生成测试用例的算法。最后，介绍了相关支持工具ATCG。