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

首页 > 成果 > 详情

认领

导出

Link by 中国知网学术期刊 Link by 万方学术期刊

反馈

作者信息关键词期刊信息基础信息归属信息摘要

成果类型：

期刊论文

作者：

戴延军;吴志强;刘杰;刘朝晖;陈智;...

作者机构：

[戴延军; 刘杰; 刘朝晖] 南华大学计算机科学与技术学院,湖南衡阳 421000

中国核动力研究设计院核反应堆系统设计技术国家级重点实验室,四川成都 610000

[肖安红; 吴志强; 陈智] 中国核动力研究设计院

语种：

中文

关键词：

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

期刊：

计算机与现代化

ISSN：

1006-2475

年：

2020

期：

页码：

96-99,110

DOI：

10.3969/j.issn.1006-2475.2020.01.018

基金类别：

中国核动力研究设计院核反应堆系统设计技术国家级重点实验室资助项目（LRSDT2017304）；

机构署名：

本校为第一机构

院系归属：

计算机科学与技术学院

摘要：

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

反馈

产权有误：本人成果被他人认领

数据有误：数据基本信息有误

归属有误：成果的院系归属、机构署名归属有误

其他原因：

验证码：

看不清楚，换一个

确定

取消

成果认领

标题：

用户	作者	通讯作者	--
	请选择	请选择	--

确定

取消

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

反馈

成果认领

提示

该栏目需要登录且有访问权限才可以访问