文档详情

基于深度强化学习的EFSM测试用例生成优化.pdf

发布：2024-10-20约8.67万字共76页下载文档
文本预览下载声明

摘要

摘要

软件测试是保证软件质量的重要技术手段。基于扩展有限状态机(Extended

测试的效率和质量。测试用例的自动生成是实施测试的基础前提。EFSM的测试用

例主要由两部分构成：测试序列和输入数据。测试序列对应满足特定覆盖准则的变

迁路径，而输入数据则是能够触发该变迁路径的一组输入。然而，由于EFSM模

型中变迁谓词之间存在数据依赖，可能会导致自动生成的测试序列不可执行的问

题。此外，针对潜在可执行的测试序列，如何高效推演其对应合理的输入数据也

显示全部
相似文档