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

• 作者: 胡丹瑞
• 来源期刊: 计算机安全
• 学科: 工学
• 关键词: 静态测试 LDRA Testbed 编码规则 MISRA-C
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 学术技术
• 页码范围: 69-71
• 分类号: TP3
• 字数: 2062字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0428.2012.06.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡丹瑞		1	9	1.0	1.0