.png){kind=icon}
返回
Combinatorial Test Sequence Generation Method Integrated with STPA
.png){kind=icon}
PRE
AI
DOI：10.1142/S021819402550072X.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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.
Keyword:
Combinatorial testing
STPA
test sequence generation
期刊
I
IF:
0.6
论文数:
107
被引数:
543
机构
暂无机构信息
引用论文
.png){kind=icon}
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines
PREAI
分享收藏Industrially Applicable System Regression Test Prioritization in Production Automation工业适用系统回归测试在生产自动化中的优先排序
OAAI
OAAI分享收藏
查看更多内容