期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

Klocwork在嵌入式软件静态测试中的应用被引量：1

下载PDF

导出

摘要本文简要介绍了嵌入式软件及其测试的发展现状,简要阐述了嵌入式软件静态测试的主要内容,并结合实例对Klocwork软件测试工具进行介绍,说明了Klocwork在嵌入式软件静态测试中的应用。

作者陈静

机构地区中国电子系统工程研究所软件评测中心

出处《电子与电脑》 2011年第7期89-92,共4页 Compotech

关键词嵌入式软件静态测试 Klocwork

分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献1

1.A Brief History of MISRA C[]..

同被引文献7

1仉俊峰,洪炳镕,乔永强.基于软件方法故障注入系统[J].哈尔滨工业大学学报,2006,38(6):873-876. 被引量：15
2李明,高勇,李祥和.基于语法的软件安全检测[J].信息安全与通信保密,2006,28(8):86-87. 被引量：3
3樊林波,吴映程,赵明,代碧锋.软件可靠性与安全性的区别分析及其证明[J].计算机科学,2008,35(9):285-288. 被引量：5
4漆莲芝,张军,谢敏.故障树分析测试用例生成技术研究与应用[J].信息与电子工程,2010,8(5):594-597. 被引量：6
5何鑫,郑军,刘畅.软件安全性测试研究综述[J].计算机测量与控制,2011,19(3):493-496. 被引量：11
6姜兴杰,杨峰辉.软件可靠性分析与设计[J].现代电子技术,2011,34(7):135-137. 被引量：10
7张玮,陈为.基于struts+spring+hibernate框架的探讨与研究[J].长春大学学报,2006,16(12):75-80. 被引量：1

引证文献1

1孙炼.基于C语言的软件潜在分析工具的设计与实现[J].现代电子技术,2016,39(15):81-85. 被引量：1

二级引证文献1

1赵亮.常用计算机编程语言的分析及选用技巧[J].电子测试,2018,29(18):81-82. 被引量：10

1张晓峰,雷立帆.基于Klocwork Insight静态测试技术应用及其研究[J].电脑与电信,2011,0(11):54-56. 被引量：1
2罗春雷,于红增,卢华斌.自动化技术在Klocwork测试中的应用[J].无线电工程,2010,40(1):44-47. 被引量：3
3梁倩,张熠.一种基于QAC和Klocwork软件的静态测试方法[J].计算机与网络,2012,38(10):58-60. 被引量：5
4孟云秀,赵正旭.基于源代码分析的软件静态测试[J].河北省科学院学报,2013,30(2):16-21. 被引量：8
5姜文,刘立康.基于Klocwork的C/C++软件静态检查[J].航空计算技术,2016,46(4):118-122.
6陈学勤.快速检测代码缺陷与安全漏洞的方法与实践[J].指挥信息系统与技术,2010,1(5):69-73. 被引量：6
7李雨来.源代码分析工具Klocwork 8.1发布[J].程序员,2009(4):150-150.
8王宁.关于Klocwork测试规则的二次开发测试规则的本地化[J].电子世界,2013(17):102-103.
9杨培培,赵海生,李振星.实用软件测试方法研究[J].计算机应用,2015,35(A01):166-167. 被引量：11
10陈卫华,白涛,谷鹏飞,彭华清.核安全级软件静态测试技术研究[J].核科学与工程,2016,36(3):392-397. 被引量：5

电子与电脑

2011年第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部