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

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)

机构地区：[1]北京全路通信信号研究设计院集团有限公司,北京100070

出　　处：《铁路通信信号工程技术》2025年第4期19-24,57,共7页Railway Signalling & Communication Engineering

基　　金：国家自然科学基金项目(52272328)。

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

分 类 号：U284.48[交通运输工程—交通信息工程及控制] TP311[交通运输工程—道路与铁道工程]