一种安全关键软件系统符号执行优化方法

Yan-jun DAI,Zhi-qiang WU, Jie LIU,Zhao-hui LIU,Zhi CHEN,An-hong XIAO

Computer and Modernization（2020）

引用 0|浏览12

暂无评分

摘要

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

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要