10.3969/j.issn.1006-2475.2020.01.018
一种安全关键软件系统符号执行优化方法
在航空、核电和国防军工领域当中,安全关键系统(Safety-Critical System,SCS)的软件非常重要,其可靠性必须通过测试或形式化方法来保障.符号执行作为一种高效的测试用例生成方法被广泛使用,然而,SCS软件系统的模块之间的耦合性较高,使得符号执行约束求解困难.本文针对这类软件系统提出一种带权最小割集的解耦方法,为安全关键软件系统的自动化测试提供了一种新思路.
安全关键系统、软件耦合性、带权最小割集、符号执行
TP311(计算技术、计算机技术)
中国核动力研究设计院核反应堆系统设计技术国家级重点实验室资助项目LRSDT2017304
2020-04-14(万方平台首次上网日期,不代表论文的发表时间)
共5页
96-99,110