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

作     者：戴延军 吴志强 刘杰 刘朝晖 陈智 肖安红 DAI Yan-jun;WU Zhi-qiang;LIU Jie;LIU Zhao-hui;CHEN Zhi;XIAO An-hong

作者机构：南华大学计算机科学与技术学院湖南衡阳421000 中国核动力研究设计院核反应堆系统设计技术国家级重点实验室四川成都610000 

基　　金：中国核动力研究设计院核反应堆系统设计技术国家级重点实验室资助项目(LRSDT2017304) 

出 版 物：《计算机与现代化》 (Computer and Modernization)

年 卷 期：2020年第1期

页      码：96-99,110页

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

主 题 词：安全关键系统 软件耦合性 带权最小割集 符号执行 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1006-2475.2020.01.018

馆 藏 号：203878538...