View in EDS

Enhancing Requirements via Structured Formalization and Process‐State Consistency Validation: An LLM‐Assisted Test‐Driven Framework.

Saved in:
Bibliographic Details
Title: Enhancing Requirements via Structured Formalization and Process‐State Consistency Validation: An LLM‐Assisted Test‐Driven Framework.
Authors: Li, Haibo, Zheng, Lixiao, Górski, Tomasz
Source: IET Software (Wiley-Blackwell); 12/23/2025, Vol. 2025, p1-23, 23p
Abstract: Though ensuring logical consistency between flows in use case specifications (UCSs) and high‐level business processes is a prerequisite and foundation for generating high‐quality, full‐coverage test cases, this task still primarily relies on manual effort. To address this limitation, a large language model (LLM)‐assisted test‐driven approach is proposed, which introduces a formal structure to guide LLMs in generating UCSs based on natural language requirements. Specifically, to validate the consistency of UCS flows with high‐level business process logic, UML activity and state machine diagrams are used as specific modeling methods for such processes. Furthermore, three novel rules are proposed to validate the consistency: business objects are incorporated to not only horizontally connect UCSs with these models but also vertically bridge different abstraction levels of requirements. To normalize this methodology, a comprehensive framework is established—this framework enables bidirectional traceability between requirements and testing while simultaneously building a feedback loop that integrates requirements, testing, and process models. Experimental results show that the approach not only improves the requirements specification quality but also facilitates semi‐automatic generation of test cases for acceptance testing, thereby enhancing the efficiency of the overall development process. [ABSTRACT FROM AUTHOR]
Copyright of IET Software (Wiley-Blackwell) is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Complementary Index
Description
Abstract:Though ensuring logical consistency between flows in use case specifications (UCSs) and high‐level business processes is a prerequisite and foundation for generating high‐quality, full‐coverage test cases, this task still primarily relies on manual effort. To address this limitation, a large language model (LLM)‐assisted test‐driven approach is proposed, which introduces a formal structure to guide LLMs in generating UCSs based on natural language requirements. Specifically, to validate the consistency of UCS flows with high‐level business process logic, UML activity and state machine diagrams are used as specific modeling methods for such processes. Furthermore, three novel rules are proposed to validate the consistency: business objects are incorporated to not only horizontally connect UCSs with these models but also vertically bridge different abstraction levels of requirements. To normalize this methodology, a comprehensive framework is established—this framework enables bidirectional traceability between requirements and testing while simultaneously building a feedback loop that integrates requirements, testing, and process models. Experimental results show that the approach not only improves the requirements specification quality but also facilitates semi‐automatic generation of test cases for acceptance testing, thereby enhancing the efficiency of the overall development process. [ABSTRACT FROM AUTHOR]
ISSN:17518806
DOI:10.1049/sfw2/6714956