Skip to content
Preprint

An Empirical Study on the Impact of Normalized Use-Case Specifications on Traceability

Aug 2026 · 0 citations · 23 references
Computer Science

TL;DR

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.

View source

Similar papers

Conference Aug 2026

Dataset-Aware Prompting for Requirements-to-Code Traceability Link Recovery

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 · 0 citations
Conference Aug 2026

Toward Cost-Efficient Automated Requirements Traceability with Large Language Models

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...

Nouf Alturayeif, Jameleddine Hassine, Irfan Ahmad · 0 citations
#software testing Preprint Sep 2026

On the Impact of Requirement Smells in LLM-Based Code Generation

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
Conference Aug 2026

Evaluating Template- and Model-Guided LLMs for Requirements Specification

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...

Ikram Darif, Zainab Benlagote, Ghizlane El Boussaidi · 1 citation
Open access Oct 2026

An Automated Framework for Legacy Java Modernization Integrating Software Quality, Business Value, and GPT-4-Assisted Re-Engineering: An Empirical Evaluation

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 · 0 citations
Book Open access Oct 2026

Manifesting Implicit Dependencies in Requirements Task: An Automated Method Integrating Code Awareness and Change Analysis

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. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.