摘要：在航空、核电和国防军工领域当中,安全关键系统(Safety-Critical System,SCS)的软件非常重要,其可靠性必须通过测试或形式化方法来保障。符号执行作为一种高效的测试用例生成方法被广泛使用,然而,SCS软件系统的模块之间的耦合性较高,使得符号执行约束求解困难。本文针对这类软件系统提出一种带权最小割集的解耦方法,为安全关键软件系统的自动化测试提供了一种新思路。

关键词：安全关键系统 软件耦合性 带权最小割集 符号执行 

单位：南华大学计算机科学与技术学院; 湖南衡阳421000; 中国核动力研究设计院核反应堆系统设计技术国家级重点实验室; 四川成都610000