In EDS ansehen

Combinatorial Test Sequence Generation Method Integrated with STPA.

Gespeichert in:
Bibliographische Detailangaben
Titel: Combinatorial Test Sequence Generation Method Integrated with STPA.
Autoren: Xu, Heng1 (AUTHOR) hengxu@nuaa.edu.cn, Huang, Zhiqiu1 (AUTHOR) zqhuang@nuaa.edu.cn, Tao, Chuanqi1 (AUTHOR) taochuanqi@nuaa.edu.cn, Xie, Jian1 (AUTHOR) xiejian_5@nuaa.edu.cn, Hu, Jun1 (AUTHOR) hujun@nuaa.edu.cn
Quelle: International Journal of Software Engineering & Knowledge Engineering. Mar2026, Vol. 36 Issue 3, p403-429. 27p.
Schlagwörter: *COMPUTER software, *SYSTEMS theory, SAFETY, COMPUTER software testing, DYNAMIC testing
Abstract: The integration of combinatorial testing (CT) with safety requirement analysis remains challenging for complex software systems, particularly when evolving requirements necessitate dynamic updates to test constraints. Traditional CT methods often fail to systematically incorporate safety constraints derived from early-phase requirements, leading to test suites that become obsolete as system specifications change. In this paper, we propose a novel method that embeds system-theoretic process analysis (STPA) into the CT workflow, enabling the automatic derivation and maintenance of safety-aware combinatorial test. Our approach First formalizes STPA-identified unsafe control actions and hazard mitigation rules as refined constraints, then integrated the refined constraints into constraint model to guide incremental test sequence generation. Experimental results demonstrate that our method achieves an effective improvement in test generation efficiency across three representative case studies (robotic control, secure vault system and civil aircraft flight mode transitions), while maintaining compliance with dynamically evolving safety requirements. [ABSTRACT FROM AUTHOR]
Copyright of International Journal of Software Engineering & Knowledge Engineering is the property of World Scientific Publishing Company 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.)
Datenbank: Business Source Index
Beschreibung
Abstract:The integration of combinatorial testing (CT) with safety requirement analysis remains challenging for complex software systems, particularly when evolving requirements necessitate dynamic updates to test constraints. Traditional CT methods often fail to systematically incorporate safety constraints derived from early-phase requirements, leading to test suites that become obsolete as system specifications change. In this paper, we propose a novel method that embeds system-theoretic process analysis (STPA) into the CT workflow, enabling the automatic derivation and maintenance of safety-aware combinatorial test. Our approach First formalizes STPA-identified unsafe control actions and hazard mitigation rules as refined constraints, then integrated the refined constraints into constraint model to guide incremental test sequence generation. Experimental results demonstrate that our method achieves an effective improvement in test generation efficiency across three representative case studies (robotic control, secure vault system and civil aircraft flight mode transitions), while maintaining compliance with dynamically evolving safety requirements. [ABSTRACT FROM AUTHOR]
ISSN:02181940
DOI:10.1142/S021819402550072X