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

• 作者: 刘朝晖 刘杰 吴志强 戴延军 肖安红 陈智
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 安全关键系统 软件耦合性 带权最小割集 符号执行
• 年，卷（期）: 2020,（1）
• 所属期刊栏目: 软件工程
• 页码范围: 96-99,110
• 页数: 5页
• 分类号: TP311
• 字数: 2551字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2020.01.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘杰	南华大学计算机科学与技术学院	72	216	7.0	13.0
2	刘朝晖	南华大学计算机科学与技术学院	34	198	8.0	13.0
3	陈智		22	99	6.0	9.0
4	吴志强		14	21	3.0	3.0
5	戴延军	南华大学计算机科学与技术学院	1	0	0.0	0.0
6	肖安红		1	0	0.0	0.0