This work proposes a requirement-oriented normalization method using controlled natural language and large-language-model-based prompt engineering to strengthen semantic representation and mitigate semantic divergence in source code requirements.
Abstract
Traceability link recovery between requirements and source code is vital for software quality assurance and evolution analysis. Although automated traceability techniques have advanced greatly, the large semantic gap between vague natural-language requirements and precise source code still hinders accurate link recovery. Most existing approaches optimize traceability algorithms yet ignore the inherent quality of requirement descriptions, which prevents fundamental reduction of the semantic gap. This work proposes a requirement-oriented normalization method. Using controlled natural language and large-language-model-based prompt engineering, raw requirements are decomposed and converted into standardized use-case specifications to strengthen semantic representation and mitigate semantic divergence. Evaluated on four public datasets under two typical traceability frameworks, the normalized specifications improve tracing performance for semantically ambiguous raw requirements. However, over-normalization may degrade results for already high-quality requirements closely aligned with code semantics. The results validate source-side requirement normalization as a promising strategy for traceability improvement and reveal its applicable boundaries for practical usage.
Requirements-to-code traceability link recovery is a task in software maintenance, change impact analysis, and quality assurance. Existing information retrieval and large language model (LLM)-based approaches typically generate a candidate set of code artifacts for each requirement and then determine whether each requi...
Xing-Yu Long, Yong-Feng Yin· 2026 6th International Confe...· 0 citations
Automated requirements traceability is a critical activity in software engineering, supporting impact analysis, verification and validation, and regulatory compliance. As modern software-intensive systems grow in scale and complexity, maintaining trace links manually becomes increasingly impractical. Recent work has sh...
The results suggest that increasing \textit{smell density} was generally associated with lower test-suite-based functional correctness, although non-smelly requirements could still produce faulty code, and motivates further investigation into task-dependent quality effects in LLM-assisted software engineering.
Hugo Villamizar, Jannik Fischbach, Mert Şahin et al.· 0 citations
Requirements specification is a pivotal activity in software development. The use of structured templates for specifying requirements can improve their clarity, consistency, and analyzability, which is particularly important in safety-critical domains such as avionics to support verification and certification activitie...
Legacy software systems remain operational in many organizations because of their long-standing business value, yet structural degradation and outdated documentation make them increasingly difficult to understand and modernize. Existing reverse-engineering and modernization approaches often address program comprehensio...
Samar Alqahtani, Ahmed Ghoneim· Applied Sciences· 0 citations
In modern software development, accurately assessing the impact scope of requirement changes is crucial for software quality, yet this task faces two major challenges. First, highly simplified requirement descriptions (one-sentence requirements) tend to conceal complex business logic and extensive system dependencies....
Hui Ma, Jia-Jun Yang, Yan Chen et al.· Proceedings of the 41st IEEE...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.