Testbed静态测试使用指南V1.1
05.Testbed中文使用指南(2)
Testbed 中文使用指南
测试策略概要
14.1 测试复杂的源代码
测试复杂系统的主要的困难起于两个方面。第一个问题是连接被插装的 原码和 I/O 文件需要执行它，包括执行历史的额外输出流。既然这个可能是 很复杂，用户使用 LDRA Testbed 可以手动地随意控制。这儿主要考虑记住 要为执行历史添加输出流。执行的插装原代码用户是可以完全信赖的。执行 完后，用户重新进入 LDRA Testbed 进行动态覆盖率分析，接下来 LDRA Testbed 可以继续分析简单的用例的执行历史。
第二个困难是考虑一个大系统的详细分析的人的问题。尽管 LDRA Testbed 对它所能分析的原代码在大小上没有限制，经验表明对一个完整的 很大的系统的分析是困难的，于是我们建议用户一次分析的代码不要超过 10，000 行。
14.2 大系统问题
当对超大规模软件系统进行工作时，测试会变得费用昂贵。这是主要由 于在系统测试时要运行很多次，计算机要花费时间，系统的执行路径仅在很 低级的模块中发生了改变。比较有用并很经济的技术是子系统测试，如下面 插图所示，展示了内部模块按等级划分的结构：
动态分析覆盖率结果显示的是每一个函数成员或类变量的行为，或作为一个 整体的类成员的覆盖率情况。在以后的方案中，覆盖会被增大到涵盖类变量 的许多不同使用。以前是很难得到的并在综合的类结构中是不可能得到的， 因此后面的策略看起来更具有普遍价值。在 C++ LDRA Testbed 中，后面的 策略已经可以实现了。
注意:划分内容的选择可能有点随意。例如：模块 J 也能被包含在第二个 分割部分。然而，在某些语言中，顶层模块 A 必须对 LDRA Testbed 来说是 可见的，因为它可以包含为执行历史插入的控制输出通道。当测试模块是 E、 F 和 G 时，从 A 到底层模块的跳转对 LDRA Testbed 来说是未知的，因为它仅 仅分析到 A 调用了 B 和 H，而不是相应的对 C、D、E、I 和 J 的调用，因为这 些模块的代码对 LDRA Testbed 来说是不可见的。导致的结果就是 LDRA Testbed 顺着控制流通过 A,当它出乎意料地发现转移到 G。LDRA Testbed 产 生了一条从 A 的最后的已知的位置到模块 G 的开始的‘额外的跳转’（也是 ‘额外的 LCSAJ’）和一条对应的从模块结束的返回跳转。静态分析不能预报 这些跳转和 LCSAJ,因此在动态覆盖率分析中这些分支被报告成不期望的分 支（unexpected branches）。更进一步的边界影响是模块 A 中的某些 LCSAJ 被报告当作不可执行的。这些也可能是包含被隐藏模块调用的 LCSAJ。
Testbed静态检验测试使用指南
目录1Testbed功能介绍 (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)1Testbed功能介绍1.1编程规则验证编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。
编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。
LDRA Testbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。
测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。
1.2数据流分析LDRA Testbed分析软件中全局变量、局域变量及过程参数的使用状况，并以图形显示、HTML或ASCII文本报告方式表示，清晰地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。
通过Testbed数据流分析功能，可方便地分析出软件中一些可能的程序欠缺，如：1.没使用的函数参数；2.不匹配的参数；3.变量未赋初值就引用；4.代码中有多余变量；5.给值传递参数赋值；6.无返回值的函数路径；7.函数的实参是全局变量。
1.3控制流分析控制流分析检查以下内容：1.不可达代码；2.不合理的循环结构；3.存在浮点相等比较；4.函数存在多个出口；5.函数存在多个入口。
Testbed学习总结V1.0
Testbed学习总结V1.0目录1.Testbed功能介绍 .................................................................. 错误!未定义书签。
1.1编程标准验证.............................................................. 错误!未定义书签。
1.2数据流分析.................................................................. 错误!未定义书签。
1.3软件度量分析.............................................................. 错误!未定义书签。
1.4质量报告生成.............................................................. 错误!未定义书签。
2.使用Testbed 进行编码规则的定制和检查 ........................ 错误!未定义书签。
3.静态分析报告 (3)3.1静态分析质量报告单 (3)3.2程序质量度量报告单 (4)3.3度量指标解释 (5)3.4度量指标的获取 (7)3. 编辑第2 列,根据实际需求，将对应编码规则置“0”或“1”，置“0”代表该条编码规则无效，置“1”代表该条编码规则有效。
4. 点击菜单栏中的Configure，在下拉菜单中点击Quality Report Options 选项，将会出现如下窗口，在Programming Standard Model 下拉框中选择“Standard”。
5. 点击菜单栏中的Analysis，在下拉菜单中点击Select Analysis，将会出现如下窗口，选择前3 项，点击Start Analysis 按钮，开始进行静态分析。
Testbed静态测试使用指南V11
目录1Testbed功能介绍 (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)1Testbed功能介绍1.1编程规则验证编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。
编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。
LDRA Testbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。
测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。
1.2数据流分析LDRA Testbed分析软件中全局变量、局域变量及过程参数的使用状况，并以图形显示、HTML或ASCII文本报告方式表示，清晰地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。
通过Testbed数据流分析功能，可方便地分析出软件中一些可能的程序欠缺，如：1.没使用的函数参数；2.不匹配的参数；3.变量未赋初值就引用；4.代码中有多余变量；5.给值传递参数赋值；6.无返回值的函数路径；7.函数的实参是全局变量。
1.3控制流分析控制流分析检查以下内容：1.不可达代码；2.不合理的循环结构；3.存在浮点相等比较；4.函数存在多个出口；5.函数存在多个入口。
LDRA Testbed使用指南
图4
2.2.3
打开Configure下拉菜单，选中Static Options…，弹出Static Configuration对话框，如图5所示，对话框中包含以下设置：
指定Include文件搜索目录的Sysearch.dat文件
定义预处理器宏的Sysppvar.dat文件
工作路径
编码检查规则文件cpen.dat
LDRA Testbed使用指南
1
LDRA公司成立于1975年，具有丰富的软件质量保证和软件测试经验。LDRA工具套件功能强大、全面，不仅适用于主机平台的软件质量保证和软件测试，也适用于嵌入式软件的软件质量保证和软件测试。
LDRA为软件开发人员、测试人员以及项目管理人员提出了零缺陷软件开发（ZDSD），其工具套件能够完全集成并实现以下过程：
标准行第三列中的数用于某些标准的限幅系数，这些标准在文本描述中包含字符串“***”。
标准行第四列中的数用于程序内部表示本条标准，用户不能修改。
标准行第五列中的字符表示本条标准在什么分析中应用，S表示静态分析，C表示复杂性分析，D表示静态数据流分析，I表示信息流分析，X表示交叉引用，Q表示质量报告。
2.2.4
Files in Set对话框中添加源文件到新建的集合中，如图16所示，源文件添加完毕，单击OK按钮，LDRA Testbed将激活其向导对话框，进入分析域设置界面，请参考2.2.2分析域设置。
Testbed静态测试使用指南设计V1.1
目录1Testbed功能介绍 (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)1Testbed功能介绍1.1编程规则验证编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。
编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。
LDRA Testbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。
测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。
1.2数据流分析LDRA Testbed分析软件中全局变量、局域变量及过程参数的使用状况，并以图形显示、HTML或ASCII文本报告方式表示，清晰地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。
通过 Testbed数据流分析功能，可方便地分析出软件中一些可能的程序欠缺，如：1.没使用的函数参数；2.不匹配的参数；3.变量未赋初值就引用；4.代码中有多余变量；5.给值传递参数赋值；6.无返回值的函数路径；7.函数的实参是全局变量。
1.3控制流分析控制流分析检查以下内容：1.不可达代码；2.不合理的循环结构；3.存在浮点相等比较；4.函数存在多个出口；5.函数存在多个入口。
LDRA Testbed使用指南
21 02 S Label name reused。MISRA/DERA 12
标准行第一列中的数用于LDRA内部文档表示本条标准在cpen.dat文件中的序号，如果为0，则表示本标准和当前的实现无关，用户不能修改该数字。
标准行第二列中的数用于打开或关闭本条标准，0表示关闭，1表示打开。
分析域设置允许用户修改Sysppvar.dat和Sysearch.dat文件，如图3所示。
图3
不在源文件中定义而在编译器的选项中定义的宏可以在Sysppvar.dat文件中定义。单击Sysppvar编辑框附近的 按钮，选择Sysppvar.dat文件的存放位置，此时，后面的Create按钮自动变成Edit按钮，单击Edit按钮即可在Sysppvar.dat文件中添加宏定义了。宏定义的格式为：<名字> <数值>或<名字> (<参数1>, <参数2>,…)。
2
2.1
启动C/C++ LDRA Testbed后，首先进入其主界面，如图1所示：
图1
2.2
2.2.1
打开File下拉菜单，选中Select File…选项，或者单击工具栏上的 按钮，在弹出的Select
File对话框中浏览并选择进行分析的源文件，如图2所示：
图2
2.2
当加载新的文件或文件集合时，LDRA Testbed将激活其向导对话框，进入分析域设置界面，
LDRA Testbed使用指南
1
LDRA公司成立于1975年，具有丰富的软件质量保证和软件测试经验。LDRA工具套件功能强大、全面，不仅适用于主机平台的软件质量保证和软件测试，也适用于嵌入式软件的软件质量保证和软件测试。
LDRA Testbed单元测试操作步骤
使用LDRA Testbed对代码进行单元测试单元测试的主要操作：⑴被测对象选择⑵编译器的确认与切换⑶单元测试模块Tbrun的打开⑷测试序列(Sequence)的创建⑸测试用例的创建⑹测试用例的IO值设定⑺测试用例中桩的设定⑻测试用例的执行⑼测试结果的查看⑽测试用例的保存⑾测试用例中增加用户全局变量⑿测试用例创建向导中对全局数组和指针的处理详细操作如下：一、测试对象的选择在Testbed中C码中的“单元”就是一个函数，每次对一个函数的代码进行测试，测试时每次打开一个源文件。
打开程序LDRA Testbed，点击Testbed的菜单file 通过文件浏览窗口打开文件要分析的文件，如C:\LDRA_Workarea\Examples\C_testbed_examples\Testrian\Testrian.c 。
点击select之后，可以在工具快捷按钮栏的下方看见目前选择的文件二、编译器的确认与切换在使用TBrun进行单元测试前需要先确认当前使用的编译器是否是正确的，如果不是正确的编译器可以切换为正确的编译器，其操作如下：1.确认编译器是否为目标编译器在Testbed中右上角的”Options Window”中要确认”Current Compiler”和”Default Compiler”所显示的内容，需要注意两点，“Current”和“Default”是否是目标编译器“Current”和“Default”是否是一样的，应该相同才可以2.切换编译器如果编译器不是用户想要的目标编译器需要切换，切换方法如下：点击Testbed菜单Configure—>Switch Compiler，在弹出窗口的编译器列表中选择目标编译器，然后点击Select按钮即可。
如果编译器选项中的”Current Compiler”和”Default Compiler”不一致，也需要设置为一致的，设置方式为点击Testbed菜单Configure—>Switch Compiler，在弹出窗口中点击Reset Current Set按钮来设置。
LDRA Testbed静态分析操作步骤
使用LDRA Testbed对代码进行静态分析静态分析的主要操作：①分析对象选择②分析前的设置③分析项的选择与分析过程④分析结果的查看详细操作如下：一、分析对象的选择，即如何选择你的分析对象(被分析的文件)；有两种方式：单个文件分析和以集(set)的形式分析，以集的形式分析可每次分析多个文件1.单个文件分析选择打开程序LDRA Testbed，点击Testbed的菜单File select file 通过文件浏览窗口打开文件要分析的文件，如C:\LDRA_Workarea\Examples\C_testbed_examples\Testrian\Testrian.c 。
点击select之后，可以在工具快捷按钮栏的下方看见目前选择的文件2.以集(set)的形式分析选择①创建集合(set),设置集合属性打开程序LDRA Testbed，点击Testbed的菜单Set Select/Create/Delete Sets 弹出set创建窗口在图中上部的Select/Create Sets区域写入set的名字，然后点击下部的Create按钮创建set，此时会弹出set的属性设置对话框，有两种属性可以设置”Group”和”System;”此两种属性的区别：Group 只是把set中的多个文件孤立的分析，不会分析文件间代码的相互关系，可作为批量分析使用。
System把set中的多个文件作为一个工程来分析，能够分析文件间的代码的关联，一般都会采用此种属性。
Set创建之后可在窗口中确认如下：其中demo为set的名字，system为set的属性，(0 files)代表set中目前没有文件②向集合中添加文件点击Testbed的菜单Set→List/Add/Remove Files in Sets 弹出添加文件窗口点击图中的Add按钮，通过文件浏览窗口可添加多个文件到set中。
二、分析前的设置在分析前需要对工具进行简单的设置，主要包括用户头文件的设置和编码规则集的设置。
LDRA-Testbed静态分析操作步骤
使用LDRA Testbed对代码进行静态分析静态分析的主要操作：①分析对象选择②分析前的设置③分析项的选择与分析过程④分析结果的查看详细操作如下：一、分析对象的选择，即如何选择你的分析对象(被分析的文件)；有两种方式：单个文件分析和以集(set)的形式分析，以集的形式分析可每次分析多个文件1.单个文件分析选择打开程序LDRA Testbed，点击Testbed的菜单file 通过文件浏览窗口打开文件要分析的文件，如C:\LDRA_Workarea\Examples\C_testbed_examples\Testrian\Testrian.c 。
点击select之后，可以在工具快捷按钮栏的下方看见目前选择的文件2.以集(set)的形式分析选择①创建集合(set),设置集合属性打开程序LDRA Testbed，点击Testbed的菜单Set Select/Create/Delete Sets 弹出set创建窗口在图中上部的Select/Create Sets区域写入set的名字，然后点击下部的Create按钮创建set，此时会弹出set的属性设置对话框，有两种属性可以设置”Group”和”System;”此两种属性的区别：Group 只是把set中的多个文件孤立的分析，不会分析文件间代码的相互关系，可作为批量分析使用。
System把set中的多个文件作为一个工程来分析，能够分析文件间的代码的关联，一般都会采用此种属性。
Set创建之后可在窗口中确认如下：其中demo为set的名字，system为set的属性，(0 files)代表set中目前没有文件②向集合中添加文件点击Testbed的菜单Set→List/Add/Remove Files in Sets 弹出添加文件窗口点击图中的Add按钮，通过文件浏览窗口可添加多个文件到set中。
二、分析前的设置在分析前需要对工具进行简单的设置，主要包括用户头文件的设置和编码规则集的设置。
LDRA Testbed静态分析报告操作步骤
使用LDRA Testbed对代码进行静态分析静态分析的主要操作：①分析对象选择②分析前的设置③分析项的选择与分析过程④分析结果的查看详细操作如下：一、分析对象的选择，即如何选择你的分析对象(被分析的文件)；有两种方式：单个文件分析和以集(set)的形式分析，以集的形式分析可每次分析多个文件1.单个文件分析选择打开程序LDRA Testbed，点击Testbed的菜单File select file 通过文件浏览窗口打开文件要分析的文件，如C:\LDRA_Workarea\Examples\C_testbed_examples\Testrian\Testrian.c 。
点击select之后，可以在工具快捷按钮栏的下方看见目前选择的文件2.以集(set)的形式分析选择①创建集合(set),设置集合属性打开程序LDRA Testbed，点击Testbed的菜单Set Select/Create/Delete Sets 弹出set创建窗口在图中上部的Select/Create Sets区域写入set的名字，然后点击下部的Create按钮创建set，此时会弹出set的属性设置对话框，有两种属性可以设置”Group”和”System;”此两种属性的区别：Group 只是把set中的多个文件孤立的分析，不会分析文件间代码的相互关系，可作为批量分析使用。
System把set中的多个文件作为一个工程来分析，能够分析文件间的代码的关联，一般都会采用此种属性。
Set创建之后可在窗口中确认如下：其中demo为set的名字，system为set的属性，(0 files)代表set中目前没有文件②向集合中添加文件点击Testbed的菜单Set→List/Add/Remove Files in Sets 弹出添加文件窗口点击图中的Add按钮，通过文件浏览窗口可添加多个文件到set中。
二、分析前的设置在分析前需要对工具进行简单的设置，主要包括用户头文件的设置和编码规则集的设置。
Testbed中文简介教程文件
LDRA公司是专业性软件测试工具与测试技术、咨询服务提供者，成立于1975年，具有丰富的软件测试经验，其总部位于英国利物浦，中国设有总代理上海创景计算机系统有限公司。
其旗舰产品Testbed/TBrun功能强大、功能全面、易于使用，不仅适合于主机平台软件测试，同时适合于嵌入式软件测试，已成功地应用于国内各大研究机构、软件测试部门。
LDRA Testbed/TBrun 软件测试产品功能介绍一、静态分析功能1、编程标准编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。
编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。
LDRA Testbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。
测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。
2、软件度量分析、质量标准验证对于软件开发工程师、项目负责人及高级管理者来说，软件质量的管理与监控是非常困难的且费时。
LDRA Testbed 很好地解决了这一问题，使得管理者很容易地收集正在开发的软件系统的相关信息并判断软件是否满足软件质量标准要求，从而达到对软件项目的质量跟踪与控制，用户可基于现行软件标准自行定义适合本系统或项目的软件质量模型。
LDRA Testbed 支持下列主要软件度量元分析：* 控制流结点度量(Control Flow Knots)；* LCSAJ 密度度量(LCSAJ Density)；* 扇入/扇出度量；* 循环深度度量；* McCabe 圈复杂度；* Halstead软件科学度量；* McCabe Essential复杂度；* 注释行度量；* 代码可达性度量；* 等等。
Testbed静态测试使用指南V11
目录1Testbed功能介绍 (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)1Testbed功能介绍1.1编程规则验证编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。
编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。
LDRA Testbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。
测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。
1.2数据流分析LDRA Testbed分析软件中全局变量、局域变量及过程参数的使用状况，并以图形显示、HTML或ASCII文本报告方式表示，清晰地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。
通过Testbed数据流分析功能，可方便地分析出软件中一些可能的程序欠缺，如：1.没使用的函数参数；2.不匹配的参数；3.变量未赋初值就引用；4.代码中有多余变量；5.给值传递参数赋值；6.无返回值的函数路径；7.函数的实参是全局变量。
1.3控制流分析控制流分析检查以下内容：1.不可达代码；2.不合理的循环结构；3.存在浮点相等比较；4.函数存在多个出口；5.函数存在多个入口。
Testbed静态测试使用指南V11
目录1Testbed功能介绍 (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)1Testbed功能介绍1.1编程规则验证编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。
编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。
LDRA Testbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。
测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。
1.2数据流分析LDRA Testbed分析软件中全局变量、局域变量及过程参数的使用状况，并以图形显示、HTML或ASCII文本报告方式表示，清晰地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。
通过Testbed数据流分析功能，可方便地分析出软件中一些可能的程序欠缺，如：1.没使用的函数参数；2.不匹配的参数；3.变量未赋初值就引用；4.代码中有多余变量；5.给值传递参数赋值；6.无返回值的函数路径；7.函数的实参是全局变量。
1.3控制流分析控制流分析检查以下内容：1.不可达代码；2.不合理的循环结构；3.存在浮点相等比较；4.函数存在多个出口；5.函数存在多个入口。
Testbed静态测试使用指南V1.1
Testbed静态测试使用指南V1.1目录1Testbed功能介绍 (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)1Testbed功能介绍1.1编程规则验证编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。
编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。
LDRA Testbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。
测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。
1.2数据流分析LDRA Testbed分析软件中全局变量、局域变量及过程参数的使用状况，并以图形显示、HTML或ASCII文本报告方式表示，清晰地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。
通过Testbed数据流分析功能，可方便地分析出软件中一些可能的程序欠缺，如：1.没使用的函数参数；2.不匹配的参数；3.变量未赋初值就引用；4.代码中有多余变量；5.给值传递参数赋值；6.无返回值的函数路径；7.函数的实参是全局变量。
1.3控制流分析控制流分析检查以下内容：1.不可达代码；2.不合理的循环结构；3.存在浮点相等比较；4.函数存在多个出口；5.函数存在多个入口。
完整版LDRATestbed单元测试操作步骤
使用 LDRA Testbed对代码进行单元测试单元测试的主要操作：⑴被测对象选择⑵编译器的确认与切换⑶单元测试模块Tbrun 的打开⑷测试序列 (Sequence)的创办⑸测试用例的创办⑹测试用例的IO 值设定⑺测试用例中桩的设定⑻测试用例的执行⑼测试结果的查察⑽测试用例的保存⑾测试用例中增加用户全局变量⑿测试用例创办导游中对全局数组和指针的办理详细操作以下：一、测试对象的选择在 Testbed 中 C 码中的“单元”就是一个函数，每次对一个函数的代码进行测试，测试时每次打开一个源文件。
打开程序LDRA Testbed，点击 Testbed 的菜单 File select file 经过文件阅读窗口打开文件要解析的文件，如。
点击 select 此后，可以在工具快捷按钮栏的下方看见当前选择的文件二、编译器的确认与切换在使用 TBrun 进行单元测试前需要先确认当前使用的编译器是否是正确的，若是否是正确的编译器可以切换为正确的编译器，其操作以下：1.确认编译器可否为目标编译器在 Testbed 中右上角的”Options Window ”中要确认”Current Compiler ”和”Default Compiler ”所显示的内容，需要注意两点，“Current ”和“Default ”是否是目标编译器“Current ”和“Default ”是否是相同的，应该相同才可以2.切换编译器若是编译器不是用户想要的目标编译器需要切换，切换方法以下：点击 Testbed 菜单 Configure —>Switch Compiler ，在弹出窗口的编译器列表中选择目标编译器，尔后点击 Select 按钮即可。
若是编译器选项中的”Current Compiler ”和”Default Compiler ”不一致，也需要设置为一致的，设置方式为点击 Testbed 菜单 Configure —>Switch Compiler ，在弹出窗口中点击 Reset Current Set 按钮来设置。
LDRATestbed单元测试操作步骤.doc
1使用LDRA Testbed对代码进行单元测试单元测试的主要操作：⑴被测对象选择⑵编译器的确认与切换⑶单元测试模块Tbrun的打开⑷测试序列(Sequence)的创建⑸测试用例的创建⑹测试用例的IO值设定⑺测试用例中桩的设定⑻测试用例的执行⑼测试结果的查看⑽测试用例的保存⑾测试用例中增加用户全局变量⑿测试用例创建向导中对全局数组和指针的处理详细操作如下：一、测试对象的选择在Testbed中C码中的“单元”就是一个函数，每次对一个函数的代码进行测试，测试时每次打开一个源文件。
打开程序LDRA Testbed，点击Testbed的菜单File select file 通过文件浏览窗口打开文件要分析的文件，如C:\LDRA_Workarea\Examples\C_testbed_examples\Testrian\Testrian.c 。
2点击select之后，可以在工具快捷按钮栏的下方看见目前选择的文件二、编译器的确认与切换在使用TBrun进行单元测试前需要先确认当前使用的编译器是否是正确的，如果不是正确的编译器可以切换为正确的编译器，其操作如下：1.确认编译器是否为目标编译器在Testbed中右上角的”Options Window”中要确认”Current Compiler”和”Default Compiler”所显示的内容，需要注意两点，“Current” 和“Default”是否是目标编译器“Current” 和“Default”是否是一样的，应该相同才可以2.切换编译器如果编译器不是用户想要的目标编译器需要切换，切换方法如下：点击Testbed菜单Configure—>Switch Compiler，在弹出窗口的编译器列表中选择目标编译器，然后点击Select按钮即可。
3如果编译器选项中的”Current Compiler”和”Default Compiler”不一致，也需要设置为一致的，设置方式为点击Testbed菜单Configure—>Switch Compiler，在弹出窗口中点击ResetCurrent Set按钮来设置。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
目录
1Testbed功能介绍 (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)
1Testbed功能介绍
1.1编程规则验证
编程标准验证是高可靠性软件开发不可缺少的软件质量保证方法，使用LDRA Testbed 自动地验证应用软件是否遵循了所选择的编程规则。
编程规则由软件项目管理者根据自身项目的特点并参考现有的成熟的软件编程标准制定，如DERA（欧洲防务标准），MISRA（汽车软件标准），LDRA Testbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。
LDRA Testbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式显示。
测试人员或编程人员可根据显示的信息对违反编程规则的代码进行修改。
1.2数据流分析
LDRA Testbed分析软件中全局变量、局域变量及过程参数的使用状况，并以图形显示、HTML或ASCII文本报告方式表示，清晰地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。
通过Testbed数据流分析功能，可方便地分析出软件中一些可能的程序欠缺，如：
1.没使用的函数参数；
2.不匹配的参数；
3.变量未赋初值就引用；
4.代码中有多余变量；
5.给值传递参数赋值；
6.无返回值的函数路径；
7.函数的实参是全局变量。
1.3控制流分析
控制流分析检查以下内容：
1.不可达代码；
2.不合理的循环结构；
3.存在浮点相等比较；
4.函数存在多个出口；
5.函数存在多个入口。
1.4表达式分析
表达式分析检查以下内容：
1.表达式中的括号使用不当；
2.数组下标越界；
3.存在被零除；
4.SWITCH语句缺少DEFAULT；
5.CASE语句缺少BREAK；
6.存在混合运算；
7.对指针进行逻辑比较；
8.在逻辑表达式中使用赋值操作符。
1.5接口分析
接口分析检查以下内容：
1.实参和形参个数不匹配；
2.实参和形参类型不匹配；
3.函数参数定义的结构和调用的结构不一致。
1.6软件质量度量分析
对于软件开发工程师、项目负责人及高级管理者来说，软件质量的管理与监控是非常困难的且费时。
LDRA Testbed很好地解决了这一问题，使得管理者很容易地收集正在开发的软件系统的相关信息并判断软件是否满足软件质量标准要求，从而达到对软件项目的质量跟踪与控制。
Testbed 提供数据文件接口，用户可基于现行软件标准自行定义适合本系统或项目的软件质量模型。
静态分析的软件度量元和相应的说明见表1：
表 1软件质量度量元说明
2使用Testbed 进行编码规则的定制和检查
LDRA Testbed可通过编辑编码规则文件cpen.dat/cppen.dat实现编码规则的定制，下面将具体介绍：
2.1确定测试需求
在测试需求分析阶段确定：
1.确定测试对象：整个MSVC工程还是文件集合；纯C文件、纯C++还
是C/C++混合文件。
2.确定测试内容：确定静态分析规则，可参考附录A所示静态分析推荐规
则使用说明。
3.确定测试“类型”：确定是进行击System分析还是Group分析（选择
Group时，不对代码进行集成测试，只是采用批处理方式分析单个文件）。
2.2建立测试工程
1. 启动Testbed，根据分析对象，选择测试工程类型。
如需对整个MSVC工程进行分析，选择Create Set Based Upon MSVC v6 Project；如分析对象是一个或多个C、C++文件，选择Select/Create/Delete Set…。
下面以在Set 菜单下选择
Select/Create/Delete Set…选项为例进行说明。
2. 在Select/Create Set输入框中输入“Demo”，点击【Create】按钮
3. 点击【System】按钮（选择Group时，不对代码进行集成测试，只是采用批处理方式分析单个文件）。
4. 点击右上侧【Add】按钮，选择好要分析的文件，点击【Add】按钮后点【OK】按钮进行确认。
2.3定制代码分析规则
1. 点击菜单栏中的Configure，在下拉菜单中点击Static Options 选项，将会出现如下窗口，点击cpen.dat/cpppen.dat后的Edit 按钮，按照提示编辑cpen.dat/cpppen.dat后。
若存在已编辑好的编码规则文件，可按旁边的浏览键直接指定该dat 文件，则下面第3步可以省略。
2. 编辑第2 列,根据实际需求，将对应编码规则置“0”或“1”，置“0”代表该条编码规则无效，置“1”代表该条编码规则有效。
2.4配置Report选项
1. Quality Report配置
点击菜单栏中的Configure，在下拉菜单中点击Quality Report Options 选项，将会出现如下窗口，在Programming Standard Model 下拉框中选择“No Model –all standards”。
如分析的文件为C、C++混合类型，则在下图右侧所示下拉列表中分别选择一个.C和.CPP文件，选中对应文件后选择在Programming Standard Model 下拉框中选择“No Model –all standards”。
在Optional Configuration中Violation Summaries选中“All”，根据需要选择Report Violations Only（Quality Report只列出有违反的）。
2. Metrics Report配置
点击菜单栏中的Configure，在下拉菜单中点击Metrics Report Options 选项，将会出现如下窗口，根据测试需求配置metpen,dat及Kiviat.dat文件。
2.5分析执行及结果查看
1. 点击菜单栏中的Analysis，在下拉菜单中点击Select Analysis，将会出现如下窗口，选择前3 项，点击Start Analysis 按钮，开始进行静态分析。
2. 静态分析结束后，点击菜单栏中的Individual /System Results，选择下拉菜单Text Results 中的Quality Report(HTML)，查看质量报告。
3结果分析及测试报告编写
3.1质量度量信息的获取
度量度量信息可通过以下几种方式获取：
1. 查看规则审查报告：点击菜单栏中的Individual Results/System Results，选择下拉菜单Text Results 中的Quality Report (HTML)。
度量元指标查看位置具体说明
注释度量>=20% 在Quality Report (HTML)中
的Global Basic Information
获取可执行代码行总数与注
释行总数
注释行总数/（注释行总数+
可执行代码行总数）
2. 查看质量度量报告：点击菜单栏中的Individual Results/System Results，选择下拉菜单Text Results 中的Metrics Report (HTML)。
3. 查看图形化报告：点击菜单栏中的System Results，选择下拉菜单Graphical Results 中的Static Bar Charts。
以圈复杂度为例：选择Static Bar Charts子菜单下的“Essential Cyclomatic Complexity”，弹出如下所示柱状图，在该界面，将Graph菜单下的Show Bar Components选中，可查看函数基本圈复杂度具体信息。
3.2程序质量度量报告单
表 2程序质量度量报告单
度量元指标说明违反
个数
所在软件具体描述
函数代码行数<=200
函数包含的语
句数
注释度量>=20% 代码的有效注释率
函数参数<=7 函数参数个数Goto语句0 Goto语句数
圈复杂度<=10 控制流图中边的数量与节点数量之间的差值加2
基本复杂度<=4圈复杂度与流程图中结构化子图的数量之间的差值
LCSAJ密度<=20 LCSAJ 密度是一个描述软件可维护性的概念
3.3静态分析质量报告单
报告单中列出的审查内容根据测试需求确定，其中部分度量指标在质量度量报告中会重复出现，此表可以不列出。
审查结果根据根据Quality Report确定。
表 3静态分析质量报告单
附录A：静态分析推荐规则使用说明
1
2
3
注：M的优先级高于C。
4。