产品线变体需求的逻辑验证
软件工程
2014-02-25 v1
摘要
变体需求的形式化验证在软件产品线 (SPL) 社区中引起了广泛关注。特征图被广泛用于建模产品线变体。然而，目前缺乏精确定义的形式化符号来表示和验证此类模型。本文提出了一种使用一阶逻辑对 SPL 变体特征图进行建模和验证的方法，为特征图提供了精确且严谨的形式化解释。通过使用命题联结词对变体及其依赖关系进行建模，可以构建逻辑表达式。随后，这些表达式可由任何合适的验证工具进行验证。文中展示了一个计算机辅助调度 (CAD) 系统变体特征模型的案例研究，以说明该验证过程。
引用
@article{arxiv.1402.5595,
title = {Logic Verification of Product-Line Variant Requirements},
author = {Shamim Ripon and Sk. Jahir Hossain and Keya Azad and Mehidee Hassan},
journal= {arXiv preprint arXiv:1402.5595},
year = {2014}
}
备注
4 pages, 4 figures, Sofware Engineering and Applied Computing (ACSEAC), 2012 African Conference on