Testbe学习总结V10.docVIP

目录 TOC \o 1-5 \h \z HYPERLINK \l bookmark1 \o Current Document \h Testbed功育t介绍 1 HYPERLINK \l bookmark2 \o Current Document \h 编程标准验证 1 数据流分析 1 HYPERLINK \l bookmark3 \o Current Document \h 软件度量分析 1 HYPERLINK \l bookmark4 \o Current Document \h 质量报告生成 2 使用Testbed进行编码规则的定制和检查 2 静态分析报告 5 静态分析质量报告单 5 HYPERLINK \l bookmark7 \o Current Document \h 程序质量度量报告单 6 HYPERLINK \l bookmark8 \o Current Document \h 度量指标解释 7 HYPERLINK \l bookmark10 \o Current Document \h 度量指标的获取 8 1. Testbed功能介绍 1.1编程标准验证 编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用 LDRA Testbed自动地验证应用软件是否遵循了所选择的编程规则。编程规则由 软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如 DERA (欧洲防务标准)，MTSRA (汽车软件标准)，LDRA Testbed依据此规则 搜索应用程序，并判断代码是否违反所制定的编程规则。LDRA Testbed报告所 有违反编程规则的代码并以文本方式或图形反标注的方式兄示。测试人员或编程 人员可根据足示的信息对违反编程规则的代码进行修改。 LDRA Testbed分析软件屮全局变量、局域变量及过程参数的使用状况，并以 图形显示、 或ASCII文木报告方式表示，清晰地识别出变量使用引起的 软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。 通过Testbed数据流分析功能,可方便地分析出软件屮一些可能的程序欠缺， 如： 1、 用错的局部或全局变量； 2、 不匹配的参数； 3、 遗漏的标号或代码； 4、 米定义的变量； 等等，其屮经常会发现程序屮有米定义的变量情况发生。 1.3软件度量分析 对于软件开发工程师、项0负责人及高级管理者来说，软件质量的管理与监 控是非常困难的11费吋。LDRA Testbed很好地解决了这一问题，使得管理者很 容易地收集正在开发的软件系统的相关信息并判断软件是否满足软件质量标准 要求，从而达到对软件项0的质量跟踪与控制。Testbed提供数据文件接口，用 户可基于现行软件标准自行定义适合本系统或项目的软件质量模型。 LDRA Testbed支持下列主要软件度量元分析： ?控制流结点度量(Control Flow Knots)； 參 LCSAJ 密度度量(LCSAJ Density); ?扇入/扇出度量； ?循环深度度量； McCabe圈复杂度； Halstead软件科学度量； McCabe基本圈复杂度； ? 行度量； ?代码吋达性度量；等等。 1.4质量报告生成 LDRA Testbed U动生成各种质量报告供测试人员分析，包括代码规则检奔报 告、软件度量报告、数据流报告、交叉索引报告，报告形式可以为ASCII文木 或 超文本，报告支持文件级与系统级。 1.5代码可视化显示 Testbed提供调用阁与控制流程阁，显示被测系统的调用关系及每个子程序的 控制流程。使用此功能用户可快速理解被测软件系统，并方便软件维护。 2.使用Testbed进行編吟规則的定制和捻备 LDRA Testbed可通过編辑編码规则文件cpen.dat/cppen.dat实现编码规则的 定制，下面将具体介绍： 启动Testbed，在File菜单下选择Select File选项，选择要分析的文件; 选择好要分析的文件，点击Select按钮完成。 点击菜单栏中的Configure,在下拉菜单中点击Static Options选项， 将会岀现如下窗口，点击cpen.dat后的Edit按钮，按照提示编輯cpen. dat0 若存在已编辑好的编码规则文件，可按旁边的浏览键直接指定该dat文件，则 下面第3步可以省略。 M St at i c Conf i gurat i on 编辑第2列，根据实际需求，将对应编码规则置“0”或“1”，置“0” 代表该条编码规则无效，置“1”代表该条编码规则有效。 1 頃 TBbrowse — [open, dat] E]回?1 Q Eil? Edit Configure Miew Window Help X D运E 1 暑 t k? ?