汽车电子软件测试解决方案

恒润科技公司www.hirain.comConfidential汽车电子软件测试解决方案——QAC、Tessy王燕2013年10月23日2恒润科技公司www.hirain.comConfidential目录软件测试基本概念QAC介绍Tessy介绍恒润科技公司www.hirain.comConfidential软件测试基本概念4恒润科技公司www.hirain.comConfidential软件测试定义软件测试定义软件测试是为了发现错误而执行程序的过程软件测试是根据软件开发阶段的规格说明和程序的内部结构而设计一批测试用例，并利用这些测试用例去运行程序，以发现错误的过程软件测试的目的发现错误；发现至今未发现的错误；至今未发现的错误的测试。5恒润科技公司www.hirain.comConfidential软件测试分类6恒润科技公司www.hirain.comConfidential软件测试技术——静态测试定义静态测试技术是不执行程序代码而寻找代码中可能存在的错误或评估程序代码的过程分类代码审查代码走查技术评审（软件需求分析和设计评审）7恒润科技公司www.hirain.comConfidential软件测试技术——动态测试定义动态测试是在抽样测试数据上执行程序并分析输出以发现错误的过程。抽样数据必须满足一定的要求。特点运行代码本身测试质量依赖测试数据工作量大测试过程中涉及到多方面协调工作8恒润科技公司www.hirain.comConfidential静态测试与动态测试9恒润科技公司www.hirain.comConfidential集成测试单元测试测试流程VS工具9代码生成单元设计架构设计10恒润科技公司www.hirain.comConfidential企业做软件测试的核心思想软件的排错成本随着生命周期成指数级别递增核心思想指导下的软件测试原则尽早测试连续测试先静后动–先静态，再动态由小到大–先单元，再集成尽量自动排除测试随意性–测试计划/用例/脚本软件测试流程11恒润科技公司www.hirain.comConfidentialQAC简介——软件潜在缺陷测试12恒润科技公司www.hirain.comConfidential内容MISRAC介绍公司简介QAC功能成功案例&客户列表小结13恒润科技公司www.hirain.comConfidential内容MISRAC介绍公司简介QAC功能成功案例&客户列表小结14恒润科技公司www.hirain.comConfidential软件编码常见问题编码过程中存在的问题语法错误不可移植经常出现的编程错误程序复杂代码风格缺乏一致性采用编码规范的好处培养高素质的开发人员开发出高质量源代码早期就可以避免一些隐含的“bug”15恒润科技公司www.hirain.comConfidential什么是编码规范编码规范是进行编程时，编程语言的使用准则和规范源代码注释应该使用/*…*/汇编语言应该使用宏进行封装所有变量在使用前必须赋值不能有不可达的代码不能使用goto/continue语句函数不能调用自身不能使用#undef……16恒润科技公司www.hirain.comConfidentialMISRA介绍TheMotorIndustrySoftwareReliabilityAssociation汽车行业软件可靠性协会MISRAC规范的目的定义了一个C安全子集，使控制器代码符合汽车行业应用，确保软件安全可靠。在MISRA基础上适当修改就可以形成自己的规范17恒润科技公司www.hirain.comConfidentialMISRAC规则示例•MISRAC2004•21类共142条规则•122条强制规则•20条推荐规则规则编号及描述附加说明代码示例属于第1类规则的第1条18恒润科技公司www.hirain.comConfidential内容MISRAC介绍公司简介QAC功能成功案例&客户列表小结19恒润科技公司www.hirain.comConfidentialPRQA公司简介成立于1986年总部在英国是一家编程研究公司ProgrammingResearchLtd20恒润科技公司www.hirain.comConfidential•ISO(BSI部门)委员会成员ISOC•委员会投票成员ISOC++•委员会创始成员MISRAC•委员会创始成员MISRAC++PRQA公司简介21恒润科技公司www.hirain.comConfidentialQA-C、QA-C++以及MISRA模块认证:“以符合需求为目标开发安全的软件”可达IEC61508SIL3级可达ISO26262级别,ASILD安全手册：描述如何正确使用QAC/C++工具认证22恒润科技公司www.hirain.comConfidentialTERA-LabX轴表示：误报（由左边至右边递减）Y轴表示：漏报（由下边至上边递减）QAC性能优异23恒润科技公司www.hirain.comConfidential内容MISRAC介绍公司简介QAC功能成功案例&客户列表小结24恒润科技公司www.hirain.comConfidential集成测试单元测试QAC应用24代码生成单元设计架构设计代码走审查25恒润科技公司www.hirain.comConfidentialQAC主要功能代码潜在缺陷/Bug检查编程规则检查代码质量度量代码结构分析26恒润科技公司www.hirain.comConfidentialQAC功能介绍(1/8)静态测试工具包含1700条检测点，支持MISRA-C/C90/C99规则集全面，支持自定义编程规范操作界面简单易用可以和目前流行的开发环境集成27恒润科技公司www.hirain.comConfidential27•分析内容•结果•所选文件•整个文件夹•工程•CMA•规则检查•代码度量•函数结构•文件关系•统计分析QAC功能介绍(2/8)28恒润科技公司www.hirain.comConfidential28QAC功能介绍(3/8)•规则检查•代码中违反规则的警告和错误29恒润科技公司www.hirain.comConfidential29QAC功能介绍(4/8)•文件/函数结构分析•循环引用•影响分析30恒润科技公司www.hirain.comConfidential30QAC功能介绍(5/8)•代码控制流分析•程序复杂度•代码相似度•死代码•交叉点31恒润科技公司www.hirain.comConfidential31QAC功能介绍(6/8)•度量统计分析•质量状态分布•项目质量分析32恒润科技公司www.hirain.comConfidential32QAC功能介绍(7/8)•函数度量•函数质量定量度量•模块改进重点33恒润科技公司www.hirain.comConfidential33QAC功能介绍(8/8)•文件度量•文件质量定量度量•能力改进重点34恒润科技公司www.hirain.comConfidential内容MISRAC介绍公司简介QAC功能成功案例&客户列表小结35恒润科技公司www.hirain.comConfidential福特公司的供应链案例QACreportQACreportQACreportQACreportQACreportQACreportQACreport36恒润科技公司www.hirain.comConfidentialTier1Tier2QACReportQACReportQAC应用方式37恒润科技公司www.hirain.comConfidentialBMWBoschDaihatsuDaimlerChryslerDelphiDensoFicosaFordHaldexHondaLandRoverLearLUKMagnettiMarelliMotorolaAIEGRenaultScaniaToyotaTRWAutomotiveVisteonWabcoWilliamsF1Yazaki客户列表38恒润科技公司www.hirain.comConfidential内容MISRAC介绍公司简介QAC功能成功案例&客户列表小结39恒润科技公司www.hirain.comConfidential小结软件操作界面简易支持自定义的代码检测规范函数、文件、工程共69个度量二次分析、数据流分析、CMA函数结构图、函数关系图QAC40恒润科技公司www.hirain.comConfidentialTessy—嵌入式软件单元/集成/组件测试工具41恒润科技公司www.hirain.comConfidential主要内容Hitex&Razorcat公司介绍Tessy功能介绍成功案例&应用客户小结42恒润科技公司www.hirain.comConfidential主要内容Hitex&Razorcat公司介绍Tessy功能介绍成功案例&应用客户小结43恒润科技公司www.hirain.comConfidential公司简介前身戴姆勒-奔驰公司的Razorcat&德国Hitex公司44恒润科技公司www.hirain.comConfidential主要内容Hitex&Razorcat公司介绍Tessy功能介绍成功案例&应用客户小结45恒润科技公司www.hirain.comConfidential集成测试单元测试Tessy应用45代码生成单元设计架构设计46恒润科技公司www.hirain.comConfidential软件测试过程资格认证IEC61508所有SILsISO26262所有SILsDO178B所有levelsTessy也符合其他标准要求：如DINEN50128，IEC6230447恒润科技公司www.hirain.comConfidentialTessy功能介绍(1/10)测试用例根据分类树方法进行设定（集成CTE）将Excel表格形式测试用例导入手工添加48恒润科技公司www.hirain.comConfidentialTessy功能介绍(2/10)分类树ClassificationTreeEditor(CTE)可通过图形化辅助用户生成冗余度低且错误敏感度高的测试用例49恒润科技公司www.hirain.comConfidentialTessy功能介绍(3/10)自动生成测试环境自动打桩自动生成驱动程序50恒润科技公司www.hirain.comConfidential通过分析代码确定函数及他们之间的接口Tessy功能介绍(4/10)ScenarioEditor场景编辑器51恒润科技公司www.hirain.comConfidentialTessy功能介绍(5/10)测试结果显示管理测试数据并将测试结果文档，Tessy可以生成多种格式的报告，包括XML(对于机器)，PDF(对测试人员)。52恒润科技公司www.hirain.comConfidentialTessy功能介绍(6/10)代码覆盖率分支覆盖MC/DC覆盖MCC53恒润科技公司www.hirain.comConfidentialTessy功能介绍(7/10)测试的执行和结果的评估全部自动化回归测试重用测试用例和测试数据，Tessy可以完全自动化地执行不需要用户介入的回归测试；无需用户交互54恒润科技公司www.hirain.comConfidentialTessy功能介绍(8/10)Tessy可以和Hitops等多种调试器紧密结合55恒润科技公司www.hirain.comConfidentialTessy功能介绍(9/10)需求可溯性56恒润科技公司www.hirain.comConfidentialTessy功能介绍(10/10)支持ASAP