首页> 中文期刊> 《计算机安全》 >基于LDRA Testbed的软件静态测试研究与实现

基于LDRA Testbed的软件静态测试研究与实现

AI论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究.最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告.

著录项

来源
《计算机安全》 |2012年第6期|69-71|共3页
作者
胡丹瑞;
展开▼
作者单位

西安电子科技大学,陕西西安710071;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
静态测试; LDRA Testbed; 编码规则; MISRA-C;

相似文献

中文文献
外文文献
专利

1. 基于LDRA Testbed的民用机载软件静态测试方法 [J] . 周培 . 计算机测量与控制 . 2019,第007期
2. 基于LDRA Testbed的嵌入式软件静态测试 [J] . 职晓 ,吴迪 ,张江华 . 电源技术应用 . 2015,第004期
3. 基于LDRA Testbed的软件完整性静态测试方法研究 [J] . 王玮 . 电脑与电信 . 2014,第004期
4. 基于LDRA Testbed的DSP软件单元测试 [J] . 李艳艳 . 电子技术与软件工程 . 2018,第014期
5. 基于LDRA Testbed软件的单元测试 [J] . 孙小淋 . 数字技术与应用 . 2015,第009期
6. 基于静态测试工具的软件测试方法研究 [C] . . 中国电子学会可靠性分会第十四届学术年会 . 2008
7. LDRA Testbed在航空软件单元测试中的应用 [A] . 刘昆 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号