基于EFSM不定型切片测试用例自动生成的研究

发布时间：2018-11-04 18:14

【摘要】：基于模型的测试是软件测试中一个重要分支,但随着模型规模的增大,测试用例生成也变得越来越困难.扩展有限状态机(extended finite state machine,EFSM)是一种广泛应用的模型,它是对有限状态机(finite state machine,FSM)的扩展,能够更精确地刻画软件系统的动态行为.对EFSM模型的测试主要包含2个部分:测试迁移路径的生成和覆盖测试迁移路径的测试数据的生成.基于搜索的方法已被应用于测试数据的生成.为了提高在大规模EFSM模型中测试用例生成的效率,在前期对EFSM模型非终止性研究新型依赖性分析和切片技术的基础上,提出了基于EFSM模型不定型切片的测试用例生成方法和测试用例补全方法.通过2个案例分析得出:基于模型切片可以更加准确地生成可行路径和提高测试强度.基于7个基准EFSM模型的实验结果表明,在大多数情况下,在切片上生成测试用例的效率都比在原模型上高.
[Abstract]:Model-based testing is an important branch of software testing, but with the increase of model size, test case generation becomes more and more difficult. Extended finite state machine (extended finite state machine,EFSM) is a widely used model. It is an extension of finite state machine (finite state machine,FSM) to describe the dynamic behavior of software system more accurately. The test of EFSM model consists of two parts: the generation of test migration path and the generation of test data covering test migration path. Search-based methods have been used to generate test data. In order to improve the efficiency of test case generation in large-scale EFSM model, a new dependency analysis and slicing technique for non-termination of EFSM model was studied. A test case generation method and a test case completion method based on EFSM model are proposed. Through the analysis of two cases, it is concluded that model-based slicing can generate feasible paths more accurately and improve the test intensity. The experimental results based on the seven benchmark EFSM models show that in most cases, the efficiency of generating test cases on slices is higher than that in the original model.
【作者单位】：北京化工大学信息科学与技术学院;
【基金】：国家自然科学基金项目(61170082,61472025) 教育部新世纪优秀人才支持计划项目(NCET-12-0757)~~
【分类号】：TP311.53

【相似文献】