利用基于基禁止元组与混合邻域禁忌搜索的约束交互测试集的生成与应用
软件工程
2019-09-17 v1
摘要
如今,当给定配置组合约束时,对大多数现代软件系统确保质量变得具有挑战性。组合交互策略可在不影响测试有效性的前提下系统地减少测试用例数量以构建最小测试集。本文提出一种新的高效基于搜索的策略,用于生成覆盖所有可能组合的约束交互测试集。本文还展示了约束交互测试在软件故障搜索中的新应用。所提策略最初生成所有可能的 t 元组组合集合;然后,利用基禁止元组(BFT)方法通过移除禁止 t 元组来过滤该集合。该策略还利用混合邻域禁忌搜索(TS)来构建最优或近最优的约束测试集。通过与两种知名前沿工具比较评估了所提方法的效率。评估由针对 35 个标准基准的三组实验组成。此外,使用真实案例研究评估了结果的有效性与质量。实验结果表明,当交互强度为 2 时,所提策略在约 83% 的基准上优于竞争策略之一 ACTS,并在约 65% 的基准上取得与 CASA 相似的结果。当交互强度为 3 时,所提方法在约 60% 和 42% 的基准上分别优于其他竞争策略。所提策略还能生成交互强度为 4 的约束交互测试集,这是许多策略无法做到的。真实案例研究表明,所生成的测试集利用变异测试可有效检测注入的故障。
引用
@article{arxiv.1909.07292,
title = {Generation and Application of Constrained Interaction Test Suites Using Base Forbidden Tuples With Mixed Neighborhood Tabu Search},
author = {Imad H. Hasan and Bestoun S. Ahmed and Moayad Y. Potrus and Kamal Z. Zamli},
journal= {arXiv preprint arXiv:1909.07292},
year = {2019}
}