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