paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Unlocking the Silent Needs: Business-Logic-Driven Iterative Requirements Auto-completion

解锁沉默需求:业务逻辑驱动的迭代式需求自动补全
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10 · 该论文聚焦于需求工程中的需求自动补全,结合CRUD矩阵等业务建模与LLM来减少幻觉,属于AI辅助软件工程中的需求阶段。它与用户关注的静态分析、形式化验证、浮点程序分析、贝叶斯程序分析以及Agentic/ML程序分析均无直接关系,仅与“LLM作为工具改进软件工程任务”有非常弱的关联。引用 2 inbox
Zhujun Wu, Xiaohong Chen, Zhi Jin, Ming Hu, Dongming Jin
crossref: 2026-09-12

AI 速览

一句话:提出业务逻辑驱动的迭代需求自动补全方法 ReqCompleter,用 CRUD 缺口触发 LLM 补全并抑制幻觉。

本文针对需求不完整以及大语言模型生成需求时易产生幻觉的问题,提出业务逻辑驱动的迭代式需求自动补全方法 ReqCompleter。该方法将“用例—实体—操作”三元组视为最小可计算闭环,把用例模型、E-R 图和 CRUD 矩阵融合为统一语义框架;以 CRUD 矩阵中的缺口作为触发器迭代检测缺失功能,同时利用 E-R 图限定实体边界,引导 LLM 在受控范围内生成需求。作者在电商、物流、公共安全等七个案例上评估,相比通用 LLM,需求完整率提升 20%–88%,幻觉率降低 2.4%–13.9%。该工作首次将经典需求工程模型与生成式 AI 紧耦合,形成自动闭环。

问题
需求工程中需求不完整,且大语言模型在生成需求时容易产生幻觉。
方法
提出 ReqCompleter,以“用例—实体—操作”三元组为最小可计算闭环,融合用例模型、E-R 图与 CRUD 矩阵,用 CRUD 缺口触发迭代补全,并以 E-R 边界约束 LLM 的生成范围。
评估
在电商、物流、公共安全等七个领域案例上评估,相比通用 LLM,需求完整率提高 20%–88%,幻觉率降低 2.4%–13.9%。
原文摘要(Abstract)

To tackle the dual challenges of incomplete requirements and hallucinations in large language models (LLMs), this paper proposes a business-logic-driven iterative requirements auto-completion approach named ReqCompleter. By treating the “use case – entity– operation” triplet as the smallest computable closed loop, ReqCompleter adopts a model-driven iterative mechanism. First, a use-case model, an E-R diagram, and a CRUD (Create, Read, Update, Delete) matrix are fused into a unified semantic framework. Next, gaps in the CRUD matrix act as triggers to iteratively detect missing functionalities, while the E-R diagram delimits entity boundaries to steer the LLM toward generating requirements within a controlled scope. We evaluate our approach across seven cases in e-commerce, logistics, public safety and other domains. Compared to general-purpose LLMs, it improves requirements completeness rate by 20%-88% while reducing hallucination rate by 2.4%-13.9%. To the best of our knowledge, this work represents the first tight coupling of classical requirements engineering models with generative AI, establishing an automated closed-loop system that delivers “what’s missing, as needed" under explicit business logic constraints. This opens a new and practical technical pathway for high-quality, explainable, and continuously evolvable requirements engineering.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11902,
  title = {Unlocking the Silent Needs: Business-Logic-Driven Iterative Requirements Auto-completion},
  author = {Zhujun Wu and Xiaohong Chen and Zhi Jin and Ming Hu and Dongming Jin},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3773109}
}