增强RTP策略：覆盖多样使用场景的基于状态测试套件优化

本文主要探讨了在基于状态的测试（SBT）框架中，特别是往返路径测试套件（RTP）的应用局限性。RTP策略虽然因其成本效益而受到青睐，但有研究指出其在测试实际使用场景时可能存在不足，可能导致故障检测不全面。作者Seonyeol Lee、Hyun-Jae Choi和Heung-Seok Chae针对这一问题，来自韩国釜山国立大学电气计算机工程系，提出了两种增强RTP套件的方法，旨在确保所有可能的事件对得到覆盖。 首先，他们分析了RTP策略的遍历算法中存在的问题，即忽略了某些关键的事件对，如在有序集合中删除和添加操作、巡航控制系统中的连续制动操作，以及录像机的停止和播放操作。这些未被覆盖的事件对可能直接影响系统的功能完整性和用户体验。 为解决这个问题，论文提出了一种方法来增强RTP套件，通过设计新的测试路径生成算法，确保所有可能的事件对都被包含在测试用例中。这种方法增加了测试的复杂性和覆盖面，虽然在一定程度上提高了测试成本，但它能够发现那些传统RTP套件遗漏的潜在缺陷，从而提高测试有效性。 作者通过三个案例研究展示了增强RTP套件的效果，分别提升了原有RTP套件未覆盖事件对的比例。与完全依赖于所有转换对（ATP）套件相比，增强后的RTP套件显示出更好的成本效益，因为它能在增加较低成本的前提下提供更全面的测试。因此，作者认为，增强的RTP套件可以作为一种经济高效的测试策略选择，特别是在关注测试覆盖率和成本之间平衡的场景下。 这篇文章发表在2023年的沙特国王大学学报上，采用的是开放访问的CCBY-NC-ND许可证，允许在特定条件下分享和使用。它强调了状态机在软件工程中的核心作用，并提供了实用的解决方案，对于从事状态机建模和测试的工程师具有重要的参考价值。