论文《基于MC/DC生成测试用例方法研究》针对软件测试中高可靠性要求的领域，如航空航天、轨道交通等安全关键系统，研究基于修正条件/判定覆盖（MC/DC）准则的测试用例自动生成方法。MC/DC作为DO-178B/C等国际标准中规定的最高级别覆盖准则，能够有效检测复杂逻辑条件中的独立影响，但传统手工生成测试用例存在效率低、成本高的问题。本研究通过分析MC/DC的数学本质和逻辑约束特征，提出结合符号执行、约束求解和启发式搜索的混合算法，构建了支持多条件组合的测试用例自动生成框架。实验结果表明，该方法在保证100%MC/DC覆盖率的同时，较传统方法减少约30%的冗余测试用例，显著提升了安全关键软件的测试效率与可靠性验证水平，为高保障软件测试提供了新的技术途径。
