原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
标准
目 录
1 Testbed 功能介绍 1
1.1 编程规则验证 . 1
1.2 数据流分析 . 1
1.3 控制流分析 . 1
1.4 表达式分析 . 2
1.5 接口分析 . 2
1.6 软件质量度量分析 . 2
2 使用 Testbed 进行编码规则的定制和检查 3
2.1 确定测试需求 . 3
2.2 建立测试工程 . 3
2.3 定制代码分析规则 . 6
2.4 配置 Report 选项 . 7
2.5 分析执行及结果查看 . 8
3 结果分析及测试报告编写 9
3.1 质量度量信息的获取 . 9
3.2 程序质量度量报告单 . 11
3.3 静态分析质量报告单 . 12
附录 A：静态分析推荐规则使用说明 1
文案
标准
1 Testbed 功能介绍
1.1 编程规则验证
编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用
LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。编程规则由
软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定， 如
DERA（欧洲防务标准），MISRA（汽车软件标准），LDRATestbed 依据此规则搜索
应用程序，并判断代码是否违反所制定的编程规则。 LDRA Testbed 报告所有违
反编程规则的代码并以文本方式或图形反标注的方式显示。 测试人员或编程人员
可根据显示的信息对违反编程规则的代码进行修改。
1.2 数据流分析
LDRA Testbed 分析软件中全局变量、局域变量及过程参数的使用状况，并
以图形显示、 HTML或 ASCII 文本报告方式表示，清晰地识别出变量使用引起的
软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。
通过 Testbed 数据流分析功能，可方便地分析出软件中一些可能的程序欠
缺，如：
1. 没使用的函数参数；
2. 不匹配的参数；
3. 变量未赋初值就引用；
4. 代码中有多余变量；
5. 给值传递参数赋值；
6. 无返回值的函数路径；
7. 函数的
文档评论（0）