基于VxWorks平台的软件重量级静态检查

刘立康; 姜文

文献导航

搜索文章

搜索思路

基于VxWorks平台的软件重量级静态检查

作者：

刘立康姜文

基本信息来源于合作网站，原文需代理用户跳转至来源网站获取

嵌入式操作系统

静态检查

持续集成

安全漏洞

摘要：

为了保证基于VxWorks平台的软件代码的质量,对软件源代码进行静态检查非常重要.以ClearCase作为配置管理工具,将重量级静态检查工具Coverity和Fortify集成到持续集成工具ICP-CI上,对软件源代码进行静态检查.详细叙述了Coverity和Fortify编译器的配置,以及在ICP-CI工具的任务管理页面上配置检查任务.分析了检查过程中出现各种问题的原因并给出相应的解决方案.最后介绍了一个典型案例.工作实践表明,静态检查有助于及时发现并解决软件源代码的各种缺陷,从而提高软件质量和安全性.

内容分析

关键词云

关键词热度

相关文献

推荐文献

根据相关规定，获取原文需跳转至原文服务方进行注册认证身份信息

完成下面三个步骤操作后即可获取文献，阅读后请点击下方页面【继续获取】按钮

钛学术文献服务平台

学术出版新技术应用与公共服务实验室出品

原文合作方

获取文献流程

1.访问原文合作方请等待几秒系统会自动跳转至登录页，首次访问请先注册账号，填写基本信息后，点击【注册】

2.注册后进行实名认证，实名认证成功后点击【返回】

3.检查邮箱地址是否正确，若错误或未填写请填写正确邮箱地址，点击【确认支付】完成获取，文献将在1小时内发送至您的邮箱

*若已注册过原文合作方账号的用户，可跳过上述操作，直接登录后获取原文即可

点击【获取原文】按钮，跳转至合作网站。

首次获取需要在合作网站进行注册。

注册并实名认证，认证后点击【返回】按钮。

确认邮箱信息，点击【确认支付】，订单将在一小时内发送至您的邮箱。

* 若已经注册过合作网站账号，请忽略第二、三步，直接登录即可。

期刊分类
期刊（年）
期刊（期）
期刊推荐

一般工业技术交通运输军事科技冶金工业动力工程化学工业原子能技术大学学报建筑科学无线电电子学与电信技术机械与仪表工业水利工程环境科学与安全科学电工技术石油与天然气工业矿业工程自动化技术与计算机技术航空航天轻工业与手工业金属学与金属工艺

按字母查找期刊：

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他

联系合作广告推广: shenyukuan@paperpass.com

篇名	基于VxWorks平台的软件重量级静态检查
来源期刊	微型机与应用	学科	工学
关键词	嵌入式操作系统静态检查持续集成安全漏洞
年，卷（期）	2016,（6）	所属期刊栏目	技术与方法
研究方向		页码范围	79-81,84
页数	4页	分类号	TP311.56
字数	2876字	语种	中文
DOI

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜文	西安电子科技大学通信工程学院	51	263	10.0	12.0
2	刘立康	西安电子科技大学通信工程学院	36	166	8.0	10.0