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

摘要

基于模型的测试是软件测试中一个重要分支,但随着模型规模的增大,测试生成也变得越来越困难.扩展有限状态机(EFSM)模型是一种广泛应用的模型,它是对有限状态机(FSM)模型的扩展.对EFSM模型的测试主要包含两个部分:测试迁移路径的生成和覆盖测试迁移路径的测试数据的生成,其中基于搜索的方法广泛应用于测试数据的生成.为了提高在大规模EFSM模型中测试用例生成效率,本文在前期针对EFSM模型非终止性研究新型依赖性分析和切片技术的基础上,提出了基于EFSM模型不定型切片的测试用例生成方法.通过2个案例分析得出:基于模型切片可以更加准确的生成可行路径和提高测试强度.基于7个EFSM模型的实验结果表明,在大多数情况下,在切片上生成测试数据的效率都比在原模型上高.