Zobrazit v EDS

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

Uloženo v:
Podrobná bibliografie
Název: Enhancing Requirements via Structured Formalization and Process‐State Consistency Validation: An LLM‐Assisted Test‐Driven Framework.
Autoři: Li, Haibo, Zheng, Lixiao, Górski, Tomasz
Zdroj: IET Software (Wiley-Blackwell); 12/23/2025, Vol. 2025, p1-23, 23p
Abstrakt: 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.)
Databáze: Complementary Index
FullText Text:
  Availability: 0
CustomLinks:
  – Url: https://resolver.ebscohost.com/openurl?sid=EBSCO:edb&genre=article&issn=17518806&ISBN=&volume=2025&issue=&date=20251223&spage=1&pages=1-23&title=IET Software (Wiley-Blackwell)&atitle=Enhancing%20Requirements%20via%20Structured%20Formalization%20and%20Process%E2%80%90State%20Consistency%20Validation%3A%20An%20LLM%E2%80%90Assisted%20Test%E2%80%90Driven%20Framework.&aulast=Li%2C%20Haibo&id=DOI:10.1049/sfw2/6714956
    Name: Full Text Finder
    Category: fullText
    Text: Full Text Finder
    Icon: https://imageserver.ebscohost.com/branding/images/FTF.gif
    MouseOverText: Full Text Finder
  – Url: https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=EBSCO&SrcAuth=EBSCO&DestApp=WOS&ServiceName=TransferToWoS&DestLinkType=GeneralSearchSummary&Func=Links&author=Li%20H
    Name: ISI
    Category: fullText
    Text: Nájsť tento článok vo Web of Science
    Icon: https://imagesrvr.epnet.com/ls/20docs.gif
    MouseOverText: Nájsť tento článok vo Web of Science
Header DbId: edb
DbLabel: Complementary Index
An: 190860256
RelevancyScore: 1082
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 1082.15173339844
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Enhancing Requirements via Structured Formalization and Process‐State Consistency Validation: An LLM‐Assisted Test‐Driven Framework.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Li%2C+Haibo%22">Li, Haibo</searchLink><br /><searchLink fieldCode="AR" term="%22Zheng%2C+Lixiao%22">Zheng, Lixiao</searchLink><br /><searchLink fieldCode="AR" term="%22Górski%2C+Tomasz%22">Górski, Tomasz</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: IET Software (Wiley-Blackwell); 12/23/2025, Vol. 2025, p1-23, 23p
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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]
– Name: Abstract
  Label:
  Group: Ab
  Data: <i>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.</i> (Copyright applies to all Abstracts.)
PLink https://erproxy.cvtisr.sk/sfx/access?url=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=190860256
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1049/sfw2/6714956
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 23
        StartPage: 1
    Titles:
      – TitleFull: Enhancing Requirements via Structured Formalization and Process‐State Consistency Validation: An LLM‐Assisted Test‐Driven Framework.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Li, Haibo
      – PersonEntity:
          Name:
            NameFull: Zheng, Lixiao
      – PersonEntity:
          Name:
            NameFull: Górski, Tomasz
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 23
              M: 12
              Text: 12/23/2025
              Type: published
              Y: 2025
          Identifiers:
            – Type: issn-print
              Value: 17518806
          Numbering:
            – Type: volume
              Value: 2025
          Titles:
            – TitleFull: IET Software (Wiley-Blackwell)
              Type: main
ResultId 1