| 一种安全关键软件系统符号执行优化方法 |
| |
| 引用本文： | 戴延军,吴志强,刘杰,刘朝晖,陈智,肖安红. 一种安全关键软件系统符号执行优化方法[J]. 计算机与现代化, 2020, 0(1): 96-99,110. DOI: 10.3969/j.issn.1006-2475.2020.01.018 |
| |
| 作者姓名： | 戴延军 吴志强 刘杰 刘朝晖 陈智 肖安红 |
| |
| 作者单位： | 南华大学计算机科学与技术学院,湖南 衡阳 421000;中国核动力研究设计院核反应堆系统设计技术国家级重点实验室,四川 成都 610000 |
| |
| 基金项目： | 中国核动力研究设计院核反应堆系统设计技术国家级重点实验室资助项目 |
| |
| 摘 要： | 在航空、核电和国防军工领域当中，安全关键系统(Safety-Critical System，SCS)的软件非常重要,其可靠性必须通过测试或形式化方法来保障。符号执行作为一种高效的测试用例生成方法被广泛使用，然而，SCS软件系统的模块之间的耦合性较高，使得符号执行约束求解困难。本文针对这类软件系统提出一种带权最小割集的解耦方法，为安全关键软件系统的自动化测试提供了一种新思路。
|
| 关 键 词： | 安全关键系统 软件耦合性 带权最小割集 符号执行 |
| 收稿时间： | 2020-02-13 |
A Symbolic Execution Optimization Method for Safety-critical Software System |
| |
| DAI Yan-jun,WU Zhi-qiang,LIU Jie,LIU Zhao-hui,CHEN Zhi,XIAO An-hong. A Symbolic Execution Optimization Method for Safety-critical Software System[J]. Computer and Modernization, 2020, 0(1): 96-99,110. DOI: 10.3969/j.issn.1006-2475.2020.01.018 |
| |
| Authors: | DAI Yan-jun WU Zhi-qiang LIU Jie LIU Zhao-hui CHEN Zhi XIAO An-hong |
| |
| Affiliation: | (School of Computer Science and Technology,University of South China,Hengyang 421000,China;State Key Laboratory of Nuclear Reactor System Design Technology,Nuclear Power Institute of China,Chengdu 610000,China) |
| |
| Abstract: | In the aviation,nuclear power and defense military fields,the software of the Safety-Critical System( SCS) is very important,and its reliability must be guaranteed by testing or formal methods. Symbolic execution is widely used as an efficient test case generation method. However,the coupling between the modules of SCS software system is high,which makes symbolic execution constraint solving difficult. This paper proposes a decoupling method with a minimum set of weights to provide a new idea for the automated testing of safety-critical software systems. |
| |
| Keywords: | safety-critical system software coupling weighted minimum cut set symbolic execution |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机与现代化》浏览原始摘要信息 |
|
点击此处可从《计算机与现代化》下载全文 |
|
