需求自动机引导强化学习测试

Ocan Sankur等提出一种面向强化学习驱动黑盒功能测试的方法：以蒙特卡洛树搜索生成输入，将功能需求表示为自动机，并通过博弈启发式优先搜索更有希望的输入。论文摘要称，实验显示该启发式加快了蒙特卡洛树搜索收敛并改善测试性能，但未给出具体基准或数值。 测试器以到达指定状态、满足覆盖准则为目标，同时监测需求违反；其证据目前仅来自论文摘要。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。