摘要
随着软件系统的规模和复杂度的增加,软件测试的自动化提上日程,软件测试用例的自动化生成成为降低测试成本的重要途径。模型检测技术和工具的出现,使得软件测试用例的生成更加自动化。本文对基于模型检测技术的测试用例自动生成方法进行评估,与传统的基于有限状态机(FSM)模型的测试用例自动生成方法进行比较,采用系统文献综述和可控实验的方法,进行定性和定量的比较分析。结果显示,基于模型检测技术的测试用例自动生成方法在自动化程度、测试覆盖率、测试成本等方面都具有优势,是一种可以应用和进一步研究的测试用例自动生成方案。
With the increase of scale and complexity of software systems, software test automation is on the agenda, the software test cases generation is an important way to reduce the test cost. It is possible to generate test cases more automatically due to the emergence of model check- ing techniques and tools. Compares software test case generation approaches based on model checking with the approaches based on Fi- nite State Machine（FSM） model, combines systematic literature review and controlled experimental method to do qualitative and quantita- tive analysis. Evaluates that the model checking technology has advantages on the degree of automation, flexibility, test coverage and test cost over traditional methods. Using model checking to generate software test cases automatically is a feasible and effective method.
出处
《现代计算机》
2017年第3期20-26,共7页
Modern Computer
