在航空航天、医疗、交通等需要保证严格安全的领域，软件测试过程中通常需要利用修正条件判定覆盖（modified condition/decision coverage, MC/DC）替代传统覆盖准则，以此生成更高质量的测试用例。基于此，提出了一种面向MC/DC覆盖的白盒单元测试用例自动生成方案，该方案以MC/DC覆盖到分支覆盖的映射为理论依据，基于符号执行引擎KLEE和底层虚拟机（low-level virtual Machine, LLVM）基础技术框架设计了多款工具，从而自动生成满足测试代码MC/DC最高覆盖的测试用例，以此检测出由于设计导致的MC/DC无法达到100%覆盖的代码缺陷。

In the fields of aerospace, medicine, transportation, and others where strict safety is paramount, MC/DC (modified condition/decision coverage) was commonly utilized instead of traditional coverage criteria in software testing. As a result, a greater number of high-quality test cases are necessary. Due to the aforementioned considerations, a white-box unit test case automatic generation scheme for MC/DC coverage was proposed. Based on the theoretical foundation of mapping from MC/DC coverage to branch coverage, the proposed scheme has developed several tools based on the framework of the symbolic execution engine KLEE and the LLVM(low-level virtual machine). With this approach, automated test cases can be generated that attain the highest possible MC/DC coverage, thereby assisting human testers in identifying potential code defects which prevent the achievement of 100% MC/DC coverage.