Search papers, labs, and topics across Lattice.
This study investigates the role of normalized use-case specifications in enhancing traceability link recovery between software requirements and source code. By employing controlled natural language and large-language-model-based prompt engineering, the authors convert vague natural-language requirements into standardized formats, significantly improving tracing performance on semantically ambiguous requirements across four public datasets. However, the findings also caution against over-normalization, which can negatively impact high-quality requirements that are already closely aligned with code semantics.
Normalizing vague software requirements can dramatically enhance traceability, but too much normalization risks undermining high-quality specifications.
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.
