SCADE模型测试下最小测试用例集路径生成算法

doi:10.3969/j.issn.1673-4440.2025.04.003

铁路通信信号工程技术 ›› 2025, Vol. 22 ›› Issue (4): 19-24,57.DOI: 10.3969/j.issn.1673-4440.2025.04.003

SCADE模型测试下最小测试用例集路径生成算法

夏苗，陈泽华

北京全路通信信号研究设计院集团有限公司，北京 100070

收稿日期:2024-08-18 修回日期:2025-03-03 出版日期:2025-04-25 发布日期:2025-04-25
基金资助:
国家自然科学基金项目（52272328）

Minimal Test Case Set Path Generation Algorithm in SCADE Model Testing

Xia Miao, Chen Zehua

CRSC Research & Design Institute Group Co., Ltd., Beijing 100070, China

Received:2024-08-18 Revised:2025-03-03 Online:2025-04-25 Published:2025-04-25

摘要/Abstract

摘要： 根据在安全关键应用开发环境（Safety Critical Application Development Environment，
SCADE）下，对采用Masking Modified Condition/Decision Coverage(MC/DC)准则的A级软件,如何快速生成最小测试用例集，总结出路径生成算法。针对零耦合条件、弱耦合条件、强耦合条件的输入，可使用一套算法完成最小测试用例集的设计，充分提高测试人员效率。并引入路径的概念，帮助测试人员加深对测试覆盖率全面性的理解。

关键词: SCADE, MC/DC, 测试用例, 耦合条件, 路径生成算法

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.

Key words: SCADE, Modified Condition/Decision Coverage(MC/DC), test case, coupling condition, path generation algorithm

中图分类号:

夏苗, 陈泽华. SCADE模型测试下最小测试用例集路径生成算法[J]. 铁路通信信号工程技术, 2025, 22(4): 19-24,57.

Xia Miao, Chen Zehua. Minimal Test Case Set Path Generation Algorithm in SCADE Model Testing[J]. Railway Signalling & Communication Engineering, 2025, 22(4): 19-24,57.

图/表 10

参考文献

[1]郑平，许胜.基于MC/DC准则的确认测试用例生成方法[J].现代电子技术，2007，30（16）：114-117.
Zheng Ping, Xu Sheng. MC/DC Criteria-Based Validation Test Case Generation Method[J]. Modern Electronics Technique, 2007, 30(16): 114-117.
[2]袁军.基于MC/DC最小测试用例集设计方法研究[J].航空电子技术，2010，41（3）：51-54.
Yuan Jun. Research on Method for Designing Minimal Test Cases Set Based on MC/DC[J]. Avionics Technology, 2010, 41(3): 51-54.
[3]葛汉强.MC/DC最小测试用例集递归分块矩阵生成算法[J].计算机系统应用，2011，20（7）：195-198.
Ge Hanqiang. Generating Algorithm of Recursive Blocks Matrix for Minimum Test Case Set on MC/DC[J]. Computer Systems & Applications, 2011, 20(7): 195-198.
[4]朱晓波，杨伟民，叶芯.更改条件/判定覆盖最小真值表生成算法及其应用[J].上海理工大学学报，2007，29（1）：84-88.
Zhu Xiaobo, Yang Weimin, Ye Xin. Algorithm for Making Minimum Truth-Table Based on Modified Condition/Decision Coverage and Its Application[J]. Journal of University of Shanghai for Science and Technology, 2007, 29(1): 84-88.
[5]段飞雷，吴晓，张凡，等.MC/DC最小测试用例集快速生成算法[J].计算机工程，2009，35（17）：40-42，45.
Duan Feilei, Wu Xiao, Zhang Fan, et al. Rapidly Generating Algorithm for Minimum Test Case Set on MC/DC[J]. Computer Engineering, 2009, 35(17): 40-42, 45.
[6]谢祥南，魏延栋.耦合条件的MC/DC测试用例集生成算法[J].计算机系统应用，2017，26（6）：164-169.
Xie Xiangnan, Wei Yandong. Test Case Generation Algorithm Based on MC/DC with Coupling Conditions[J]. Computer Systems & Applications, 2017, 26(6): 164-169.
[7]黄孝伦，王东.采用矩阵递归的最小测试用例集生成算法[J].电子技术应用，2020，46（4）：71-74.
Huang Xiaolun, Wang Dong. Algorithm of Minimum Test Case Set Generation Using Matrix Recursion[J]. Application of Electronic Technique, 2020, 46(4): 71-74.
[8]蒋耘玮，艾强娃，吴培栋.车载ATP通用自动测试平台的研究与实现[J].铁路通信信号工程技术，2024，21（11）：9-16.
Jiang Yunwei, Ai Qiangwa, Wu Peidong. Research and Implementation of General Automatic Test Platform for Onboard ATP[J]. Railway Signalling & Communication Engineering, 2024, 21(11): 9-16.
[9]闫晓艳.MC/DC准则基础下的嵌入式软件测试[J].数码世界，2020（10）：50-52.
[10]邵温欣，杨志斌，李维，等.基于自然语言需求的SCADE模型测试用例自动生成方法[J].计算机科学，2024，51（7）：29-39.
Shao Wenxin, Yang Zhibin, Li Wei, et al. Natural Language Requirements Based Approach for Automatic Test Cases Generation of SCADE[J]. Computer Science, 2024, 51(7): 29-39.
[11]李兰心，王海峰，齐志华，等.基于SCADE模型的车载ATP测试用例生成方法[J].铁道学报，2020，42（9）：102-110.
Li Lanxin, Wang Haifeng, Qi Zhihua, et al. SCADE Model-Based Method of Test Cases Generation for Onboard ATP System[J]. Journal of the China Railway Society, 2020, 42(9): 102-110.
[12]王硕，吴培栋，张友兵.基于DRPP的列控车载设备测试序列生成方法[J].铁路通信信号工程技术，2023，20（4）：14-20.
Wang Shuo, Wu Peidong, Zhang Youbing. Test Sequence Generation Approach for On-Board Train Control Equipment Based on DRPP[J]. Railway Signalling & Communication Engineering, 2023, 20(4): 14-20.
[13]沈雷，林娇娇.高安全软件代码覆盖率自动化测试工具应用[J].数字技术与应用，2021，39（10）：13-15.
[14]虞佳伟，沈雷，邵锴，等.基于SCADE高安全软件的模型覆盖测试[J].数字技术与应用。2023，41（12）：111-113.
Yu Jiawei, Shen Lei, Shao Kai, et al. Digital Technology & Application, 2023, 41(12): 111-113.
[15]冉丹，陈哲，孙毅，等.基于程序转化的SCADE模型检测[J].计算机科学，2021，48（12）：125-130.
Ran Dan, Chen Zhe, Sun Yi, et al. SCADE Model Checking Based on Program Transformation[J]. Computer Science, 2021, 48(12): 125-130.
[16]安媛，陆云峰.MC/DC准则在嵌入式软件测试中的应用[J].自动化仪表，2019，40（6）：76-79.
An Yuan, Lu Yunfeng. Application of MC/DC Criterion in Embedded Software Testing[J]. Process Automation Instrumentation, 2019, 40(6): 76-79.
[17]陈金萍，赵成喜.嵌入式软件路径覆盖测试用例生成仿真[J].计算机仿真，2023，40（7）：393-396，435.
Chen Jinping, Zhao Chengxi. Simulation of Embedded Software Path Coverage Test Case Generation[J]. Computer Simulation, 2023, 40(7): 393-396, 435.
[18]梁君海，李春峰，万里，等.一种针对全自动运行系统的测试用例生成方法[J].铁路通信信号工程技术，2024，21（1）：76-82.
Liang Junhai, Li Chunfeng, Wan Li, et al. Test Case Generation Method for Fully Automatic Operation System[J]. Railway Signalling & Communication Engineering, 2024, 21(1): 76-82.
[19] Liang Shuwen, He Zhitao. Automated Test Case Generation for Path Coverage by Using Multi-Objective Particle Swarm Optimization Algorithm with Reinforcement Learning and Relationship Matrix Strategies[J]. International Journal of Software Engineering and Knowledge Engineering, 2024, 34(8): 1221-1249.
[20]钱忠胜，孙志旺，俞情媛，等.基于路径相似表与个体迁移策略的多路径覆盖测试[J].计算机科学与探索，2024，18（4）：947-962.
Qian Zhongsheng, Sun Zhiwang, Yu Qingyuan, et al. Approach to Multi-Path Coverage Testing Based on Path Similarity Table and Individual Migration[J]. Journal of Frontiers of Computer Science and Technology, 2024, 18(4): 947-962.

SCADE模型测试下最小测试用例集路径生成算法

Minimal Test Case Set Path Generation Algorithm in SCADE Model Testing

PDF

可视化

摘要/Abstract

引用本文

使用本文

图/表 10

参考文献

相关文章 4

编辑推荐

Metrics

本文评价

[1]	梁君海, 李春峰, 万里, 杨毅峰, 薛一鸣. 一种针对全自动运行系统的测试用例生成方法[J]. 铁路通信信号工程技术, 2024, 21(1): 76-82.
[2]	彭丽维, 宋鹏飞, 江雪莹, 谢林. 基于模型的联锁软件测试用例生成方法[J]. 铁路通信信号工程技术, 2022, 19(11): 32-36.
[3]	李春慧, 曹欣. 基于SCADE需求分析和用例设计在新型列控系统RMU子系统的应用[J]. 铁路通信信号工程技术, 2021, 18(2): 27-32,50.
[4]	吴惠妍. 一种应用于SCADE模型与实物联合仿真测试的方法[J]. 铁路通信信号工程技术, 2021, 18(10): 54-57.