云南高校图书馆联盟文献共享服务平台- MC/DC

MC/DC: 作品数：32被引量：45H指数：5; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：高建华张卫民卢琼陈祥献高峰更多>>; 相关机构：南京航空航天大学上海师范大学中国航空无线电电子研究所国核自仪系统工程有限公司更多>>; 相关期刊：《航空计算技术》《铁路通信信号工程技术》《计算机工程与设计》《铁道学报》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划北京市自然科学基金国家高技术研究发展计划更多>>

SCADE模型测试下最小测试用例集路径生成算法: 《铁路通信信号工程技术》2025年第4期19-24,57,共7页夏苗陈泽华; 国家自然科学基金项目(52272328)。; 根据在安全关键应用开发环境(Safety Critical Application Development Environment,SCADE)下,对采用Masking Modified Condition/Decision Coverage(MC/DC)准则的A级软件,如何快速生成最小测试用例集,总结出路径生成算法。针对零耦合...; 关键词：SCADE MC/DC 测试用例耦合条件路径生成算法

面向MC/DC覆盖的白盒单元测试用例自动生成技术: 《科学技术与工程》2024年第30期13039-13047,共9页秦畅陈赛李坤刘恒杨柳马征; 国家自然科学基金(U2268201)。; 在航空航天、医疗、交通等需要保证严格安全的领域,软件测试过程中通常需要利用修正条件判定覆盖(modified condition/decision coverage,MC/DC)替代传统覆盖准则,以此生成更高质量的测试用例。基于此,提出了一种面向MC/DC覆盖的白盒单...; 关键词：白盒测试单元测试测试用例自动生成修正条件判定覆盖

MC/DC Test Data Generation Algorithm Based on Whale Genetic Algorithm被引量：1: 《Instrumentation》2022年第2期1-12,共12页LIU Huiying LIU Ziyang YAN Minghui; The automatic generation of test data is a key step in realizing automated testing.Most automated testing tools for unit testing only provide test case execution drivers and cannot generate test data that meets covera...; 关键词：Test Data Generation MC/DC Whale Genetic Algorithm Mutation Threshold

高安全软件代码覆盖率自动化测试工具应用被引量：2: 《数字技术与应用》2021年第10期13-15,共3页沈雷林娇娇; 高安全领域对电子产品的安全性分析提出了具体的要求。作为运行在高安全系统中的软件,必须在测试过程中进行代码覆盖率分析,通常要求MC/DC覆盖率达到100%。本文分析了常用单元测试软件对C语言开发的嵌入式项目进行自动化单元测试的覆盖...; 关键词：单元测试代码覆盖率安全软件 MC/DC 自动化测试工具安全性分析电子产品测试过程

Modified condition/decision coverage(MC/DC)oriented compiler optimization for symbolic execution: 《Frontiers of Information Technology & Electronic Engineering》2020年第9期1267-1284,共18页Wei-jiang HONG Yi-jun LIU Zhen-bang CHEN Wei DONG Ji WANG; Project supported by the National Key R&D Program of China(No.2017YFB1001802);the National Natural Science Foundation of China(Nos.61472440,61632015,61690203,and 61532007)。; Symbolic execution is an effective way of systematically exploring the search space of a program,and is often used for automatic software testing and bug finding.The program to be analyzed is usually compiled into a b...; 关键词：Compiler optimization Modified condition/decision coverage(MC/DC) Optimization recommendation Symbolic execution

基于SCADE模型的车载ATP测试用例生成方法被引量：9: 《铁道学报》2020年第9期102-110,共9页李兰心王海峰齐志华汤圣杰张启鹤; 国家重点研发计划(2018YFB1201501);中国铁路总公司科技研发计划(N2018G064);北京市自然基金“轨道交通联合”(L181005);国家自然科学基金(61473029);国家重点基础研究发展计划(973计划)(2014CB340703)。; 车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用...; 关键词：车载ATP系统 SCADE模型测试用例基于模型的测试 MC/DC覆盖准则

采用矩阵递归的最小测试用例集生成算法被引量：2: 《电子技术应用》2020年第4期71-74,共4页黄孝伦王东; 重庆市社会民生科技创新专项项目(cstc2015shmszx120034)。; 符合MC/DC准则的最小测试用例集算法具有重要的实用价值。首先将布尔表达式转换为语法二叉树,然后采用矩阵组合逻辑运算方法逐层递归,从而获得完备的MC/DC最小测试用例集。经验证,矩阵组合逻辑运算方法是合理的、正确的。该方法对于非...; 关键词：MC/DC 测试用例耦合条件递归算法

Modified condition decision coverage criteria for test suite prioritization using particle swarm optimization被引量：1: 《International Journal of Intelligent Computing and Cybernetics》2019年第4期425-443,共19页Gayatri Nayak Mitrabinda Ray; Purpose–Test suite prioritization technique is the process of modifying the order in which tests run to meet certain objectives.Early fault detection and maximum coverage of source code are the main objectives of tes...; 关键词：Particle swarm optimization Concolic testing MC/DC Test suite prioritization

基于MC/DC覆盖的最小测试用例集设计被引量：1: 《电子测试》2019年第23期52-54,共3页林双才; 单元测试在铁路信号电子产品软件的研发过程中占有重要比重,而覆盖率则是单元测试中衡量测试质量的一个重要指标。本文重点介绍软件单元测试过程中为何选择修正条件判定覆盖,而不选择条件判定覆盖和组合条件覆盖作为覆盖率评判标准,同...; 关键词：条件判定覆盖修正条件判定覆盖组合条件覆盖真值对

MC/DC准则在嵌入式软件测试中的应用被引量：7: 《自动化仪表》2019年第6期76-79,共4页安媛陆云峰; 国家十二五重大专项基金资助项目(2014ZX06002-007); MC/DC准则被广泛应用于高安全性的嵌入式软件独立验证和确认中,是一种实用而高效的软件结构覆盖率验证准则。基于嵌入式软件测试的特点与MC/DC的基本概念,提出了MC/DC的最小测试集的形成方法。结合工程应用实例,利用自动化测试工具实现M...; 关键词：嵌入式软件软件测试 MC/DC 结构覆盖逻辑控制仪控 VectorCAST 最小测试用例集

MC/DC