Testbed学习总结材料V1.0

《Testbed学习总结材料V1.0》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、实用文档目录1.Testbed功能介绍11.1编程标准验证11.2数据流分析11.3软件度量分析11.4质量报告生成22.使用Testbed进行编码规则的定制和检查23.静态分析报告53.1静态分析质量报告单53.2程序质量度量报告单63.3度量指标解释73.4度量指标的获取8文案大全实用文档1.Testbed功能介绍1.1编程标准验证编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRATestbed自动地验证应用软件是否遵循了所选择的编程规则。编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软

2、件编程标准制定，如DERA（欧洲防务标准），MISRA（汽车软件标准），LDRATestbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。LDRATestbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。1.2数据流分析LDRATestbed分析软件中全局变量、局域变量及过程参数的使用状况，并以图形显示、HTML或ASCII文本报告方式表示，清晰地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。

3、通过Testbed数据流分析功能，可方便地分析出软件中一些可能的程序欠缺，如：1、用错的局部或全局变量；2、不匹配的参数；3、遗漏的标号或代码；4、未定义的变量；等等，其中经常会发现程序中有未定义的变量情况发生。1.3软件度量分析对于软件开发工程师、项目负责人及高级管理者来说，软件质量的管理与监控是非常困难的且费时。LDRATestbed很好地解决了这一问题，使得管理者很容易地收集正在开发的软件系统的相关信息并判断软件是否满足软件质量标准要求，从而达到对软件项目的质量跟踪与控制。Testbed提供数据文件接口，用户可基于现行

4、软件标准自行定义适合本系统或项目的软件质量模型。LDRATestbed支持下列主要软件度量元分析：l控制流结点度量(ControlFlowKnots)；lLCSAJ密度度量(LCSAJDensity)；l扇入/扇出度量；l循环深度度量；lMcCabe圈复杂度；lHalstead软件科学度量；lMcCabe基本圈复杂度；l注释行度量；l代码可达性度量；等等。文案大全实用文档1.1质量报告生成LDRATestbed自动生成各种质量报告供测试人员分析，包括代码规则检查报告、软件度量报告、数据流报告、交叉索引报告，报告形式可以为AS

5、CII文本或HTML超文本，报告支持文件级与系统级。1.2代码可视化显示Testbed提供调用图与控制流程图，显示被测系统的调用关系及每个子程序的控制流程。使用此功能用户可快速理解被测软件系统，并方便软件维护。2.使用Testbed进行编码规则的定制和检查LDRATestbed可通过编辑编码规则文件cpen.dat/cppen.dat实现编码规则的定制，下面将具体介绍：1.启动Testbed，在File菜单下选择SelectFile选项，选择要分析的文件；选择好要分析的文件，点击Select按钮完成。2.点击菜单栏中的Con

6、figure，在下拉菜单中点击StaticOptions选项，将会出现如下窗口，点击cpen.dat后的Edit按钮，按照提示编辑cpen.dat。若存在已编辑好的编码规则文件，可按旁边的浏览键直接指定该dat文件，则下面第3步可以省略。文案大全实用文档3.编辑第2列,根据实际需求，将对应编码规则置“0”或“1”，置“0”代表该条编码规则无效，置“1”代表该条编码规则有效。4.点击菜单栏中的Configure，在下拉菜单中点击QualityReportOptions选项，将会出现如下窗口，在ProgrammingStanda

7、rdModel下拉框中选择“Standard”。文案大全实用文档5.点击菜单栏中的Analysis，在下拉菜单中点击SelectAnalysis，将会出现如下窗口，选择前3项，点击StartAnalysis按钮，开始进行静态分析。6.静态分析结束后，点击菜单栏中的IndividualResults，选择下拉菜单TextResults中的QualityReport(HTML)，查看质量报告。文案大全实用文档1.静态分析报告1.1静态分析质量报告单表1静态分析质量报告单审查项目测试内容技术要求审查结果控制流分析是否存在不可达代码

8、否是否存在不合理的循环结构否是否存在浮点相等比较否是否使用goto语句否函数是否存在多个出口否函数是否存在多个入口否数据流分析是否存在没使用的函数参数否函数是否存在路径无返回值否是否存在函数的实参是全局变量否代码中是否存在多余变量否是否存在变量使用前未初始化否是否存在参数与期望的作用不匹配