利用目标的语法与语义信息识别边界条件
软件工程
2022-03-28 v2 形式语言与自动机理论
摘要
在面向目标的需求工程中,边界条件(BC)用于捕获目标的分歧,即在某些情形下目标无法整体被满足。由于目标由时序逻辑形式化描述,自动求解BC有助于工程师判断目标需求中是否存在疏忽。已有若干工作致力于计算BC以及减少冗余BC的数量。然而,现有最优算法未利用规约背后的逻辑信息,且不足以高效用于实际。此外,尽管先前工作探索了冗余BC的约简,所计算的BC对于调试可能仍无工程价值。本文从零开始建立BC问题的基础框架。在此基础上,我们首先提出一种新方法SyntacBC,利用目标的语法信息识别BC。实验结果表明,该方法相较先前最优方法可实现>1000倍的加速。受此启发,我们发现了由本方法及先前方法求解的BC的缺陷,即大多数计算的BC难以用于调试。为此,我们利用目标的语义信息提出一种基于自动机求解BC的方法,称为SemanticBC,其不仅能找到最小分歧范围,还能在不损失性能的前提下产生易于理解的BC。
引用
@article{arxiv.2203.12903,
title = {Identifying Boundary Conditions with the Syntax and Semantic Information of Goals},
author = {Yechuan Xia and Jianwen Li and Shengping Xiao and Weikai Miao and Geguang Pu},
journal= {arXiv preprint arXiv:2203.12903},
year = {2022}
}