期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
基于嵌入式软件代码审查的研究
被引量:
8
下载PDF
职称材料
导出
摘要
代码审查是发现软件缺陷、提高软件质量和可靠性的有效手段。本文研究总结了嵌入式软件代码审查中需要着重检查的项目内容,与常用软件错误检查相结合,可以有效地发现嵌入式软件代码中存在的缺陷,显著提升软件测试的效果。
作者
司艳艳
机构地区
中国空空导弹研究院
出处
《科技经济市场》
2013年第6期6-8,共3页
关键词
代码审查
嵌入式软件
检查单
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
4
共引文献
0
同被引文献
32
引证文献
8
二级引证文献
25
参考文献
4
1
Oliver Laitenberger. Studying the Effects of Code Inspection and Structural Testing on Software Quality[J].
2
许聚常,朱国庆,尹平等.GJB/Z141军用软件测试指南.中国人民解放军总装备部.2004.
3
尹平,许聚常,张慧颖.软件测试与软件质量评价.北京:国防工业出版社.2008.
4
吴康,雷航.面向多语言混合编程的嵌入式测试软件设计与实现.成都:电子科技大学.2007.
同被引文献
32
1
彭裕辉,王双喜.基于代码审查的综合软件质量评估方法[J].软件导刊,2010(3):39-40.
2
黄百乔,张虹,陆民燕,等.基于代码审查的综合软件质量评估方法法[J].北京航空航天大学学报,2010,36(12):39-40.
3
梅宏,王千祥,张路,王戟.
软件分析技术进展[J]
.计算机学报,2009,32(9):1697-1710.
被引量:101
4
阮辉,严俊,张健.
基于路径分析的死循环检测[J]
.计算机学报,2009,32(9):1750-1758.
被引量:7
5
周云波,杨京燕.
嵌入式Linux智能抄表终端软件代码审查技巧[J]
.数字技术与应用,2012,30(1):108-110.
被引量:1
6
袁政江.
浅谈软件静态测试中的代码审查[J]
.计算机光盘软件与应用,2012,15(3):202-202.
被引量:5
7
刘仁千,张玉中,张超永.
基于源代码的软件安全性测试研究[J]
.计算机安全,2013(8):32-35.
被引量:9
8
朱圣才,徐御,王火剑.
常见源代码安全漏洞分析与研究[J]
.信息网络安全,2014(2):48-52.
被引量:7
9
郭向英,张西超,赵雷.
应用虚拟测试技术提升航天嵌入式软件可信性[J]
.质量与可靠性,2014(1):55-59.
被引量:3
10
杨孟飞,顾斌,郭向英,董晓刚,王政,陈睿.
航天嵌入式软件可信性保障技术及应用研究[J]
.中国科学:技术科学,2015,45(2):198-203.
被引量:10
引证文献
8
1
张如云.
代码审查在软件开发中的应用研究[J]
.电脑开发与应用,2014,27(6):50-52.
被引量:3
2
张建飞.
基于航空领域嵌入式软件代码审查的研究[J]
.科技创新与生产力,2015(10):108-109.
被引量:7
3
贺江敏,相里朋.
代码安全性审查方法研究[J]
.信息安全研究,2018,4(11):977-986.
被引量:7
4
李庆楠.
特型软件代码审查方法在军用嵌入式软件领域应用研究[J]
.信息与电脑,2016,28(24):160-163.
被引量:4
5
杨振兴,黄浩,王栋.
基于数学方法的软件自锁模式研究[J]
.航空计算技术,2018,48(6):86-90.
6
李杨阳,万波,梁森,胡涛.
人工智能技术在嵌入式代码审查中的应用与展望[J]
.空间控制技术与应用,2020,46(3):1-10.
被引量:2
7
左万娟,董燕,黄晨,王小丽.
航天嵌入式软件代码逻辑分析[J]
.计算机系统应用,2021,30(8):274-280.
被引量:3
8
左万娟,董燕,黄晨,王小丽.
航天嵌入式软件静态测试方法研究[J]
.微电子学与计算机,2022,39(5):78-86.
被引量:3
二级引证文献
25
1
王东霞.
基于人工智能技术应用的电子信息工程[J]
.新一代信息技术,2022,5(5):80-82.
2
骆传慧.
FPGA软件开发过程中编码规范的作用[J]
.电脑知识与技术,2016,0(3):70-71.
3
骆传慧.
FPGA软件开发过程中编码规范的作用[J]
.科技视界,2016(20):239-239.
4
王亚男,曹杰,王凌雁.
代码审查对提升铁路信号产品软件质量的应用研究[J]
.铁道通信信号,2016,52(9):20-23.
5
井涛.
代码审查在软件工程实施中的重要性[J]
.电子技术与软件工程,2017(21):43-44.
被引量:2
6
徐白,余慧敏,周楷林,李芳芳.
嵌入式弹载软件代码审查方法研究[J]
.电脑知识与技术,2018,14(4):240-241.
被引量:3
7
贺江敏,相里朋.
代码安全性审查方法研究[J]
.信息安全研究,2018,4(11):977-986.
被引量:7
8
左万娟,虞砺琨,黄晨,董燕.
基于变量操作特征分析的软件缺陷模式研究[J]
.航天控制,2018,36(5):64-69.
被引量:4
9
李庆楠.
特型软件代码审查方法在军用嵌入式软件领域应用研究[J]
.信息与电脑,2016,28(24):160-163.
被引量:4
10
张昊,贺江敏.
网络安全测评机构能力建设研究[J]
.网络空间安全,2020,11(3):18-23.
被引量:4
1
王满敬,杨学增.
基于数据库的UML一致性检查[J]
.微计算机信息,2008,24(36):179-180.
2
曲利新.
浅谈软件的质量保证[J]
.电子产品可靠性与环境试验,2009,27(B10):260-262.
被引量:1
3
王霞.
函数表达式的编译与运算[J]
.连云港化工高等专科学校学报,2002,15(2):29-30.
4
Joseph Juan.
克服USB3.0系统设计中的挑战[J]
.中国电子商情,2012(8):46-47.
被引量:1
5
Mark Minasi,黄永兵(译).
使用ImageX进行部署和错误检查[J]
.Windows IT Pro Magazine(国际中文版),2011(3):47-47.
6
姚文连.
Excel生病自己治[J]
.电脑爱好者,2008,0(9):58-58.
7
陈瑛,肖银莹,闫振强.
基于B/S架构的空管信息辅助处理系统的设计和实现[J]
.电子技术与软件工程,2015(12):67-67.
8
高猛.
航天器软件代码走查方法研究与应用[J]
.质量与可靠性,2008(5):53-56.
9
李巍毅,张云,周华民,李德群.
STL内插错误的高效检查算法研究[J]
.电加工与模具,2007(4):41-43.
被引量:2
10
胡冰.
政府信息系统安全检查作业指导书编制方法浅谈[J]
.保密科学技术,2012(4):36-39.
被引量:1
科技经济市场
2013年 第6期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部