摘要
在航空、核电和国防军工领域当中,安全关键系统(Safety-Critical System,SCS)的软件非常重要,其可靠性必须通过测试或形式化方法来保障。符号执行作为一种高效的测试用例生成方法被广泛使用,然而,SCS软件系统的模块之间的耦合性较高,使得符号执行约束求解困难。本文针对这类软件系统提出一种带权最小割集的解耦方法,为安全关键软件系统的自动化测试提供了一种新思路。
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.
作者
戴延军
吴志强
刘杰
刘朝晖
陈智
肖安红
DAI Yan-jun;WU Zhi-qiang;LIU Jie;LIU Zhao-hui;CHEN Zhi;XIAO An-hong(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)
出处
《计算机与现代化》
2020年第1期96-99,110,共5页
Computer and Modernization
基金
中国核动力研究设计院核反应堆系统设计技术国家级重点实验室资助项目(LRSDT2017304)
关键词
安全关键系统
软件耦合性
带权最小割集
符号执行
safety-critical system
software coupling
weighted minimum cut set
symbolic execution
