边界条件的结构相似性及用于目标冲突识别的高效局部搜索算法
软件工程
2021-02-24 v1 人工智能
计算机科学中的逻辑
摘要
在面向目标的需求工程中，目标冲突识别对需求分析至关重要。该任务旨在寻找使目标在域内背离的可行情形，称为边界条件（BCs）。然而，现有目标冲突识别方法无法找到充分的 BCs 以及覆盖更多情形组合的一般 BCs。从现有方法找到的 BCs 中，我们观察到一种有趣现象：一些 BC 对 in formula structure 上相似，这在实验案例中频繁出现。换言之，一旦找到一个 BC，通过对前者稍作改变可快速发现新 BC。这启发我们开发名为 LOGION 的局部搜索算法来寻找 BCs，其中结构相似性由公式的邻域关系捕获。基于结构相似性，LOGION 可在短时间内找到大量 BCs。此外，由于识别出大量 BCs，它潜在地从中选择更一般的 BCs。通过在一组案例上实验，我们表明 LOGION 有效利用了 BCs 的结构相似性。我们还将算法与两种最先进方法比较。实验结果显示 LOGION 产生的 BCs 数量比最先进方法多一个数量级，并证实 LOGION 因大量 BCs 找到了更一般的 BCs。
引用
@article{arxiv.2102.11482,
title = {Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification},
author = {Hongzhen Zhong and Hai Wan and Weilin Luo and Zhanhao Xiao and Jia Li and Biqing Fang},
journal= {arXiv preprint arXiv:2102.11482},
year = {2021}
}