testbed学习总结v10

《testbed学习总结v10》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

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

2、标准)，MTSRA(汽车软件标准)，LDRATestbed依据此规则搜索应用程序，并判断代码是否违反所制定的编程规则。LDRATestbed报告所有违反编程规则的代码并以文本方式或图形反标注的方式兄示。测试人员或编程人员可根据足示的信息对违反编程规则的代码进行修改。LDRATestbed分析软件屮全局变量、局域变量及过程参数的使用状况，并以图形显示、HTML或ASCII文木报告方式表示，清晰地识别出变量使用引起的软件错误，此种方法既可使用于单元级，亦可使用于集成级、系统级。通过Testbed数据流分析功能,可方便地分析出软件屮一些可能的程

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

4、主要软件度量元分析：•控制流结点度量(ControlFlowKnots)；參LCSAJ密度度量(LCSAJDensity);•扇入/扇出度量；•循环深度度量；•McCabe圈复杂度；•Halstead软件科学度量；•McCabe基本圈复杂度；•注释行度量；•代码吋达性度量；等等。1.4质量报告生成LDRATestbedU动生成各种质量报告供测试人员分析，包括代码规则检奔报告、软件度量报告、数据流报告、交叉索引报告，报告形式可以为ASCII文木或HTML超文本，报告支持文件级与系统级。1.5代码可视化显示Testbed提供调用阁与控制流程阁

5、，显示被测系统的调用关系及每个子程序的控制流程。使用此功能用户可快速理解被测软件系统，并方便软件维护。2.使用Testbed进行編吟规則的定制和捻备LDRATestbed可通过編辑編码规则文件cpen.dat/cppen.dat实现编码规则的定制，下面将具体介绍：1.启动Testbed，在File菜单下选择SelectFile选项，选择要分析的文件;选择好要分析的文件，点击Select按钮完成。2.点击菜单栏中的Configure,在下拉菜单中点击StaticOptions选项，将会岀现如下窗口，点击cpen.dat后的Edit按钮，按照

6、提示编輯cpen.dat0若存在已编辑好的编码规则文件，可按旁边的浏览键直接指定该dat文件，则下面第3步可以省略。MStaticConfiguration1.编辑第2列，根据实际需求，将对应编码规则置“0”或“1”，置“0”代表该条编码规则无效，置“1”代表该条编码规则有效。1頃TBbrowse—[open,dat]E]回®1QEil©EditConfigureMiewWindowHelpXD运E1暑tk?®1♦♦402STANDARDSTEXTMUSTBESOCHARSORLESS.Sreflinenumber,sA110lSProc

7、edurenamereused.8012102SLabelnamereused.HISRA/DERi3120003SMorethan***executablereformattedlinesinfile.412004SProcedureexceeds***reformattedlines.5105SEmptythenclause.DERA1416106sProcedurepointerdeclared.7107sJuxtipoutofprocedure.8108sEmptyelseclauise.9109sAssignmentoperat

8、ioninexpression.HISRA/DERi100010sNotused111011sNobracketstoloopbody(addedbyTestbed).MISRA/DERi12