期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于LDRA Testbed的软件静态测试研究与实现 被引量:7
1
作者 胡丹瑞 《计算机安全》 2012年第6期69-71,共3页
介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究。最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告。
关键词 静态测试 ldra testbed 编码规则 misra-c
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部