作者：赵鹤; 高婉玲软件自动化测试测试用例自动生成基于模型的测试用例生成模型检测有限状态机
摘要：随着软件系统的规模和复杂度的增加，软件测试的自动化提上日程，软件测试用例的自动化生成成为降低测试成本的重要途径。模型检测技术和工具的出现，使得软件测试用例的生成更加自动化。本文对基于模型检测技术的测试用例自动生成方法进行评估，与传统的基于有限状态机（FSM）模型的测试用例自动生成方法进行比较．采用系统文献综述和可控实验的方法，进行定性和定量的比较分析。结果显示，基于模型检测技术的测试用例自动生成方法在自动化程度、测试覆盖率、测试成本等方面都具有优势，是一种可以应用和进一步研究的测试用例自动生成方案。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
