基于模型的软件测试用例生成方法比较研究  

A Comparison of Methods for Software Test Case Generation Based on Model

作　　者：赵鹤[1] 高婉玲 

机构地区：[1]四川大学计算机学院,成都610064

出　　处：《现代计算机》2017年第3期20-26,共7页Modern Computer

摘　　要：随着软件系统的规模和复杂度的增加,软件测试的自动化提上日程,软件测试用例的自动化生成成为降低测试成本的重要途径。模型检测技术和工具的出现,使得软件测试用例的生成更加自动化。本文对基于模型检测技术的测试用例自动生成方法进行评估,与传统的基于有限状态机(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.

关 键 词：软件自动化测试 测试用例自动生成 基于模型的测试用例生成 模型检测 有限状态机 

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论]