paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A genetic algorithm for goal-conflict identification

一种用于目标冲突识别的遗传算法
ASE Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering2018匹配度 1/10 · 论文属于需求工程中的目标冲突识别,使用遗传算法搜索环境条件组合,与静态分析、Agentic 程序、LLM 辅助形式化验证、浮点程序分析、贝叶斯程序分析等核心方向无关;仅在最宽泛的“形式化/需求分析”层面有微弱关联。引用 27 inbox
Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre
crossref: 2026-09-12

AI 速览

一句话:提出用遗传算法识别目标需求模型中导致目标冲突的环境条件组合。

目标冲突分析在面向目标的需求工程中被广泛用作风险分析的一种抽象手段。在该框架下,待建系统的期望行为由领域性质和目标共同刻画,因此识别可能使目标发生分歧、无法整体满足的环境条件组合十分关键。论文题目指出作者采用遗传算法来自动化这一识别过程,以支持需求阶段的风险分析。摘要仅交代了问题背景与基本思路,未给出遗传算法的具体设计、实验设置或评估结果。

问题
在面向目标的需求工程中,如何识别可能使多个目标无法整体满足、即发生冲突的环境条件组合,以支撑风险分析。
方法
采用遗传算法搜索导致目标分歧的环境条件组合;摘要未展开具体编码、适应度函数等细节。
评估
摘要未提供实验评估信息,无法确定其评估方式与效果。
原文摘要(Abstract)

Goal-conflict analysis has been widely used as an abstraction for risk analysis in goal-oriented requirements engineering approaches. In this context, where the expected behaviour of the system-to-be is captured in terms of domain properties and goals, identifying combinations of circumstances that may make the goals diverge, i.e., not to be satisfied as a whole, is of most importance.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4710,
  title = {A genetic algorithm for goal-conflict identification},
  author = {Renzo Degiovanni and Facundo Molina and Germán Regis and Nazareno Aguirre},
  booktitle = {ASE},
  year = {2018},
  doi = {10.1145/3238147.3238220}
}