静态代码分析工具Logiscope软件.ppt

《静态代码分析工具Logiscope软件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、TelelogicTauLogiscope技术培训TelelogicTauLogiscopeLOGISCOPE是法国Telelogic公司推出的专用于软件质量保证和软件测试的产品。其主要功能是对软件做质量分析和测试以保证软件的质量，并可做认证和维护，特别是针对要求高可靠性和高安全性的软件项目和工程。LOGISCOPE简介目前，LOGISCOPE产品在全世界的26个国家的众多国际知名企业得到了广泛的应用，其用户涉及通讯、电子、航空、国防、汽车、运输、能源及工业过程控制等众多领域。Logiscope广泛应用欧洲的卫星生产厂商MatlaMarconiSpac

2、e；直升机生产厂商Eurocopter；世界最大的粒子物理研究实验室CERN；航空航天领域有Aérospatiale,AlcatelSpace,Boeing,CNES,NorthropGrumman等国际著名公司；IBM；TI；GE；McDonnellDouglas；EDS；SAIC；EXXON；PHILIPS；国内有华为、中兴、航天部等单位。符合需求减少成本改善可靠性软件开发的目标!80%的错误出现在20%的程序模块中易出现错误的模块通常复杂度较高,组织结构较少如何减少成本、保证可靠性CostofRepairCodingTestingMaintenan

3、ce在开发过程中应当尽可能早地通过对源代码的检查发现缺陷减少成本和发现缺陷是密不可分的缺陷率越低，开发周期越短组织代码审核定位易产生错误的模块.如何减少成本、保证可靠性软件开发的周期Audit静态质量模型度量分析功能RuleChecker语法规则分析功能TestChecker动态覆盖率测试功能Logiscope产品的三个功能块编码代码评审测试维护RuleCheckerTestCheckerAuditAuditRuleChecker开发过程中的Logiscope显示隐藏的复杂性.减少将来的维护成本.节省时间.提高质量代码评审的优点通过代码审核能够发现大部分

4、的错误代码审核发现错误比例RuleChecker根据业界标准和经验预定义了编程规则和命名检验规则。用户可以用脚本语言Tcl或Perl来定义新的规则。与开发环境集成的功能。能够自动生成检查报告。RuleChecker概述限定怎样使用编程语言提高代码的易懂性提高代码的可分析性预防维护阶段的问题RuleChecker规则设计的目的自动的代码规则检查自动的编程风格检查RuleChecker检测错误特点防止语言陷阱防止误解规则举例:if(x=y){}被禁止，因为容易和if(x==y){}混淆多重赋值例如x=y=z产生混乱在循环内部更改循环计数器是危险的，例如for

5、(x=o;x<10;x++){x--,}代码规则检查更容易的识别标识符赋予代码必须的易读性和可变性，使其能够容易且低风险的维护规则举例对于一个全局变量,首字母应当大写,其它的用小写homonymsarenotauthorized编程风格检查RuleChecker工作原理以文本形式编写规则文件，命名为.cfg文件。可以对存在的规则进行修改。（不建议）如何创建或修改规则生成程序的违反规则清单具体违反规则的程序行生成一个违反规则的报告（HTML文件）结果分析结果界面建立一个RuleChecker工程工程设置窗口以规则分类的规则描述和源程序如何以文件分类按文件分

6、类的规则描述和源程序结果列表和源程序生成结果的报告按文件分类按规则分类综合的报表规则描述Audit的功能描述检查代码错误，定位错误模块。根据质量模型评估软件质量和软件复杂度。图示化整个软件的框架结构以及模块调用图和控制流图。自动生成评估报告。Audit工作原理图a．质量因素[Factor]b．质量准则[Criteria]c．质量度量元[Metrics]Audit采用的是包括软件质量标准化组织制定的ISO9126模型在内的质量模型。质量模型描述了从Halstead、McCabe的质量方法学引入的质量因素、质量准则和质量度量元。本模型是一个三层的结构组织：A

7、udit分析功能用户角度开发者角度测试者角度质量模型的三层结构组织一、质量因素从应用层可以分为：Application:可维护性classes:可维护性；可重用性Function可维护性；关系调用可维护性可维护性质量因素质量准则可重用性质量因素质量准则关系调用可维护性关系调用可分析性关系调用稳定性关系调用可测试性关系调用可维护性质量因素质量准则二、质量准则从应用层可以分为：Application:可分析性；可修改性；稳定性；可测试性classes:可分析性；可修改性；稳定性；可测试性；可重用性和特殊性Function可分析性；可修改性；稳定性；可测试性；

8、关系调用可分析性；关系调用稳定性；关系调用易测性可分析性质量准则度量元可修改性质