铁路通信信号工程技术2025，Vol.22Issue(4)：19-24,57,7.DOI:10.3969/j.issn.1673-4440.2025.04.003
SCADE模型测试下最小测试用例集路径生成算法
Minimal Test Case Set Path Generation Algorithm in SCADE Model Testing
摘要
Abstract
This paper summarizes the path generation algorithm designed to quickly generate the minimum test case set for Class A software that adopts Masking MC/DC criteria in Safety Critical Application Development Environment.For the inputs under zero coupling conditions,weak coupling conditions and strong coupling conditions,a set of algorithms can be used to complete the design of the minimum test case set,which can fully improve the efficiency of testers.The concept of"path"is introduced to help testers understand the comprehensiveness of test coverage.关键词
SCADE/MC/DC/测试用例/耦合条件/路径生成算法Key words
SCADE/Modified Condition/Decision Coverage(MC/DC)/test case/coupling condition/path generation algorithm分类
交通运输引用本文复制引用
夏苗,陈泽华..SCADE模型测试下最小测试用例集路径生成算法[J].铁路通信信号工程技术,2025,22(4):19-24,57,7.基金项目
国家自然科学基金项目(52272328) （52272328）
