面向航空软件需求模型的MC/DC测试用例生成方法

丁鼎, 胡军, 王康星, 董泽华, 王立松

Modified Condition/Decision Coverage Test Case Generation Method for Aviation Software Requirements Model

小型微型计算机系统 . 2025, (7): 1783 -1792 .