{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T05:03:11Z","timestamp":1773032591450,"version":"3.50.1"},"reference-count":48,"publisher":"Institution of Engineering and Technology (IET)","issue":"1","license":[{"start":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T00:00:00Z","timestamp":1766448000000},"content-version":"vor","delay-in-days":356,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"funder":[{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["ZQN-1010"],"award-info":[{"award-number":["ZQN-1010"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["ietresearch.onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["IET Software"],"published-print":{"date-parts":[[2025,1]]},"abstract":"<jats:p>Though ensuring logical consistency between flows in use case specifications (UCSs) and high\u2010level business processes is a prerequisite and foundation for generating high\u2010quality, full\u2010coverage test cases, this task still primarily relies on manual effort. To address this limitation, a large language model (LLM)\u2010assisted test\u2010driven 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\u2010level 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\u2014this 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\u2010automatic generation of test cases for acceptance testing, thereby enhancing the efficiency of the overall development process.<\/jats:p>","DOI":"10.1049\/sfw2\/6714956","type":"journal-article","created":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T10:32:50Z","timestamp":1766485970000},"update-policy":"https:\/\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing Requirements via Structured Formalization and Process\u2010State Consistency Validation: An LLM\u2010Assisted Test\u2010Driven Framework"],"prefix":"10.1049","volume":"2025","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5857-1410","authenticated-orcid":false,"given":"Haibo","family":"Li","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9146-5465","authenticated-orcid":false,"given":"Lixiao","family":"Zheng","sequence":"additional","affiliation":[]}],"member":"265","published-online":{"date-parts":[[2025,12,23]]},"reference":[{"key":"e_1_2_13_1_2","doi-asserted-by":"publisher","DOI":"10.32604\/cmc.2021.014391"},{"key":"e_1_2_13_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2024.101698"},{"key":"e_1_2_13_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-019-00316-x"},{"key":"e_1_2_13_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2024.09.194"},{"key":"e_1_2_13_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-55642-5"},{"key":"e_1_2_13_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2024.3410712"},{"key":"e_1_2_13_7_2","doi-asserted-by":"crossref","unstructured":"KorraproluB. R. PinnintiP. andReddyY. R. Test Case Generation for Requirements in Natural Language - An LLM Comparison Study ISEC 2025 - Proceedings of the 18th Innovations in Software Engineering Conference 2025 1\u20135.","DOI":"10.1145\/3717383.3717389"},{"key":"e_1_2_13_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-023-02048-5"},{"key":"e_1_2_13_9_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2025.107929"},{"key":"e_1_2_13_10_2","doi-asserted-by":"publisher","DOI":"10.3390\/electronics13112055"},{"key":"e_1_2_13_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2024.3513717"},{"key":"e_1_2_13_12_2","doi-asserted-by":"publisher","DOI":"10.1080\/09544828.2023.2247860"},{"key":"e_1_2_13_13_2","doi-asserted-by":"publisher","DOI":"10.1142\/S1793962324410162"},{"key":"e_1_2_13_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-024-01243-4"},{"key":"e_1_2_13_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-022-00374-8"},{"key":"e_1_2_13_16_2","first-page":"24824","article-title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","volume":"35","author":"Wei J.","year":"2022","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_2_13_17_2","doi-asserted-by":"publisher","DOI":"10.1017\/dsj.2024.8"},{"key":"e_1_2_13_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2023.3339934"},{"key":"e_1_2_13_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-70245-7"},{"key":"e_1_2_13_20_2","doi-asserted-by":"crossref","unstructured":"FengN. MarssoL. andYamanS. G. et al.Normative Requirements Operationalization With Large Language Models Proceedings of the IEEE International Conference on Requirements Engineering 2024 129\u2013141.","DOI":"10.1109\/RE59067.2024.00022"},{"key":"e_1_2_13_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10489-024-05969-y"},{"key":"e_1_2_13_22_2","doi-asserted-by":"publisher","DOI":"10.3390\/systems11070352"},{"key":"e_1_2_13_23_2","doi-asserted-by":"crossref","unstructured":"EzziniS. AbualhaijaS. AroraC. andSabetzadehM. Automated Handling of Anaphoric Ambiguity in Requirements: A Multi-Solution Study Proceedings - International Conference on Software Engineering 2022 187\u201319.","DOI":"10.1145\/3510003.3510157"},{"key":"e_1_2_13_24_2","doi-asserted-by":"crossref","unstructured":"LubosS. FelfernigA. andTranT. N. T. et al.Leveraging LLMs for the Quality Assurance of Software Requirements Proceedings of the IEEE International Conference on Requirements Engineering 2024 389\u2013397.","DOI":"10.1109\/RE59067.2024.00046"},{"key":"e_1_2_13_25_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-024-00448-7"},{"key":"e_1_2_13_26_2","doi-asserted-by":"crossref","unstructured":"RenS. NakagawaH. andTsuchiyaT. Combining Prompts With Examples to Enhance LLM-Based Requirement Elicitation Proceedings 2024 IEEE 48th Annual Computers Software and Applications Conference COMPSAC 2024 1376\u20131381.","DOI":"10.1109\/COMPSAC61105.2024.00181"},{"key":"e_1_2_13_27_2","doi-asserted-by":"crossref","unstructured":"FantechiA. GnesiS. PassaroL. andSeminiL. Inconsistency Detection in Natural Language Requirements Using ChatGPT: A Preliminary Evaluation Proceedings of the IEEE International Conference on Requirements Engineering 2023 335\u2013340.","DOI":"10.1109\/RE57278.2023.00045"},{"key":"e_1_2_13_28_2","doi-asserted-by":"publisher","DOI":"10.1080\/21693277.2024.2375296"},{"key":"e_1_2_13_29_2","doi-asserted-by":"crossref","unstructured":"BertramV. KauschH. KusmenkoE. NqiriH. RumpeB. andVenhoffC. Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements Proceedings of the IEEE International Conference on Requirements Engineering 2023 212\u2013222.","DOI":"10.1109\/RE57278.2023.00029"},{"key":"e_1_2_13_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-024-00416-3"},{"key":"e_1_2_13_31_2","doi-asserted-by":"crossref","unstructured":"HassoH. Fischer-StarckeB. andGeppertH. Quest-Re Question Generation and Exploration Strategy for Requirements Engineering Proceedings - 32nd IEEE International Requirements Engineering Conference Workshops REW 2024 3\u201311.","DOI":"10.1109\/REW61692.2024.00006"},{"key":"e_1_2_13_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-024-00452-x"},{"key":"e_1_2_13_33_2","doi-asserted-by":"crossref","unstructured":"NorheimJ. J.andRebentischE. Structuring Natural Language Requirements With Large Language Models Proceedings - 32nd IEEE International Requirements Engineering Conference Workshops REW 2024 2024 68\u201371.","DOI":"10.1109\/REW61692.2024.00013"},{"key":"e_1_2_13_34_2","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-024-00428-z"},{"key":"e_1_2_13_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2019.2934348"},{"key":"e_1_2_13_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2024.103942"},{"key":"e_1_2_13_37_2","first-page":"2","article-title":"Intelligent Generation of Test Cases for a Parallel Testing System: A Case Study on Railway Systems","volume":"1","author":"Jiao Y.","year":"2024","journal-title":"IEEE Intelligent Transportation Systems Magazine"},{"key":"e_1_2_13_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2020.2998503"},{"key":"e_1_2_13_39_2","first-page":"2024","article-title":"Effective Test Generation Using Pre-Trained Large Language Models and Mutation Testing","volume":"171","author":"Moradi D. A.","journal-title":"Information and Software Technology"},{"key":"e_1_2_13_40_2","doi-asserted-by":"crossref","unstructured":"UedaK. ShikamaR. andShimizuY. Automatic Test Cases Generation With Selection of Training Data for Various System Specifications 2024 6th International Conference on Computer Communication and the Internet (ICCCI) 2024 Tokyo Japan 1\u20135.","DOI":"10.1109\/ICCCI62159.2024.10674503"},{"key":"e_1_2_13_41_2","volume-title":"Software Requirement","author":"Wiegers K.","year":"2013"},{"key":"e_1_2_13_42_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.04.007"},{"key":"e_1_2_13_43_2","doi-asserted-by":"crossref","unstructured":"GraesslerI. HentzeJ. andBruckmannT. V-Models for interdisciplinary systems engineering Proceedings of International Design Conference DESIGN 2 2018 747\u2013756.","DOI":"10.21278\/idc.2018.0333"},{"key":"e_1_2_13_44_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0947-1_4"},{"key":"e_1_2_13_45_2","unstructured":"OMG UML. 2.4.1 Superstructure Specification 2004 02 1\u2013786 October."},{"key":"e_1_2_13_46_2","doi-asserted-by":"crossref","unstructured":"FerrariA. SpagnoloG. O. andGnesiS. PURE: A Dataset of Public Requirements Documents Proceedings - 2017 IEEE 25th International Requirements Engineering Conference RE 2017 502\u2013505.","DOI":"10.1109\/RE.2017.29"},{"key":"e_1_2_13_47_2","unstructured":"ISO\/IEC\/IEEE15288 INTERNATIONAL STANDARD ISO\/IEC\/IEEE Systems and Software Engineering Internacional Standard ISO\/IEC\/IEEE 42010 First 2018 1\u2013104."},{"key":"e_1_2_13_48_2","article-title":"The 1+5 Architectural Views Model in Designing Blockchain and IT System Integration Solutions","volume":"13","author":"G\u00f3rski T.","year":"2000","journal-title":"Symmetry"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/ietresearch.onlinelibrary.wiley.com\/doi\/pdf\/10.1049\/sfw2\/6714956","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/ietresearch.onlinelibrary.wiley.com\/doi\/full-xml\/10.1049\/sfw2\/6714956","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/ietresearch.onlinelibrary.wiley.com\/doi\/pdf\/10.1049\/sfw2\/6714956","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T04:12:13Z","timestamp":1773029533000},"score":1,"resource":{"primary":{"URL":"https:\/\/ietresearch.onlinelibrary.wiley.com\/doi\/10.1049\/sfw2\/6714956"}},"subtitle":[],"editor":[{"given":"Tomasz","family":"G\u00f3rski","sequence":"additional","affiliation":[]}],"short-title":[],"issued":{"date-parts":[[2025,1]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,1]]}},"alternative-id":["10.1049\/sfw2\/6714956"],"URL":"https:\/\/doi.org\/10.1049\/sfw2\/6714956","archive":["Portico"],"relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"value":"1751-8806","type":"print"},{"value":"1751-8814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1]]},"assertion":[{"value":"2025-09-02","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-11-25","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-12-23","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}],"article-number":"6714956"}}