文献检索-宁波市创意产业特色资源库

限定检索结果

一种安全关键软件系统符号执行优化方法: 收藏
分享
引用; 《计算机与现代化》2020年第1期 96-99,110页; 作者：戴延军吴志强刘杰刘朝晖陈智肖安红南华大学计算机科学与技术学院湖南衡阳421000 中国核动力研究设计院核反应堆系统设计技术国家级重点实验室四川成都610000; 在航空、核电和国防军工领域当中,安全关键系统(Safety-Critical System,SCS)的软件非常重要,其可靠性必须通过测试或形式化方法来保障。符号执行作为一种高效的测试用例生成方法被广泛使用,然而,SCS软件系统的模块之间的耦合性较高,使...; 在航空、核电和国防军工领域当中,安全关键系统(Safety-Critical System,SCS)的软件非常重要,其可靠性必须通过测试或形式化方法来保障。符号执行作为一种高效的测试用例生成方法被广泛使用,然而,SCS软件系统的模块之间的耦合性较高,使得符号执行约束求解困难。本文针对这类软件系统提出一种带权最小割集的解耦方法,为安全关键软件系统的自动化测试提供了一种新思路。; 来源：详细信息评论

限定检索结果