1、将自动化测试融入嵌入式CI/CD流程中符合功能安全的要求Jet Zhou 周杰演讲大纲现代C/C+嵌入式开发的趋势在 CI/CD中实现嵌入式的自动化测试自动化测试达成功能安全的目标Parasoft公司介绍现代C/C+嵌入式开发的趋势 通过DevOps方法论指导的CI/CD落地应用 尽早进行不同级别的测试 不断增长的标准合规要求 设置自动化质量闸门“基础设施即代码”可扩展性和可管理性 随时迎接动态更改 降低人员和时间成本从传统的瀑布式开发转向DevOps的方法论实践DevOps结合了敏捷实践，专注于打破团队隔阂，自动化手动任务，并通过持续反馈提高生产力。实施一套敏捷原则，这些原则要求开发和运营团

2、队在整个软件开发生命周期（SDLC）中进行协作。敏捷开发的规则/价值（敏捷宣言）1.个体的交互胜过流程和工具2.可以工作的软件胜过面面俱到的文档3.客户合作胜过合同谈判4.响应变化胜过遵循计划持续集成(CI)和持续交付(CD)是实现DevOps的最佳实践尽早进行不同级别的测试（“左移”缺陷检测和修复）1x4x10 x40 x缺陷百分比85%编码单元测试功能测试系统测试发布修复缺陷的成本发现的缺陷占比引入的缺陷占比自动化质量闸门和标准合规性 各种行业标准要求采用多种软件测试实践 功能安全和过程标准p IEC61508p ISO26262p IEC62304p EN50128,p DO178B/C

3、p MISRAC2012p MISRAC2023p AUTOSARC+14p CERTC/C+p CWEp DISAASDSTIGp JSFp OWASPp PCIDSSp UL2900 编码标准（功能安全和信息安全）组织内部标准“合规性即代码”定义合规性要求 自动强制执行 自动化质量闸门 编译通过 静态分析与编码标准实施 单元测试、集成测试、系统级测试 代码覆盖率 配置不同的质量闸门 在功能分支中开发 集成到master中主干(master)分支(Branch)自动化质量闸门测试失败或违规拒绝集成自动化质量闸门没有失败的测试或违规接受集成主干(Master):稳定、经过测试、符合要求的代码没

4、有失败的测试或静态违规严格的质量把关分支(Branch):活跃的开发可接受偏差和未通过的测试质量把关不那么严格自动化质量闸门和标准合规性基础设施-工具和技术选型 开发操作系统:Linux(x86)版本管理（SCM）:Git,SVN 构建:CMake,Bazel IDE:轻量级且可自定义 容器化部署技术:容器(Docker-dockerfile)测试工具：ParasoftC/C+test CI/CD工作流:,GitHub,GitLab,Jenkins,AzureDevOps基础设施即代码：要求所用工具能支持脚本化（代码形式）来定义和配置，并跟程序代码同步版本控制管理。使得基础设施的变更和维护变得

5、更加可控和可预测，实现环境搭建的可重复、自动化配置部署。为什么嵌入式开发团队喜欢容器？集中管理和部署开发环境 编译器,SDK,测试工具 每个团队成员都有一个一致的开发环境 动态变化 升级到新版本（编译器、库）对安全漏洞的集中和即时反应 将开发环境恢复到特定状态 容器环境版本控制 与受监管的安全关键环境相关 降低团队成员的时间成本容器是一个标准的软件单元，它封装代码及其所有依赖项，使应用程序能够从一个计算环境快速可靠地运行到另一个环境在嵌入式中典型的容器化应用配置在开发本地计算机上构建和运行（无容器）Git服务器开发/桌面Pull代码在嵌入式中典型的容器化应用配置Git服务器开发/桌面Pull代

6、码运行在开发机上构建并在容器中运行在嵌入式中典型的容器化应用配置Git服务器开发/桌面Pull代码构建和运行在容器中构建和运行，不占用开发人员桌面资源在嵌入式中典型的容器化应用配置构建运行Git服务器开发/桌面Pull代码将构建和运行环境分别部署在不同的容器中以增强可维护性在嵌入式中典型的容器化应用配置构建运行Git服务器自动化服务器Pull代码使用Jenkins调用实现CI/CD管道自动化在嵌入式中典型的容器化应用配置本地镜像注册中心Docker Hub仓库自动化开发/桌面拉取镜像Git 服务器Pull 代码在团队之间共享基础架构，保障基础架构环境的一致性演讲大纲现代C/C+嵌入式开发的趋势

7、在 CI/CD中实现嵌入式的自动化测试自动化测试达成功能安全的目标Parasoft公司介绍持续集成(CI)和持续交付(CD)在嵌入式中的可行性 较小的代码更改 解决故障隔离 更快的平均解决时间(MTTR)DevOps在嵌入式开发中的挑战 更高的测试可靠性 更快的释放速度 更小的积压历史原因在嵌入式开发方法相对传统，不能贸然迁移到DevOps相较于互联网开发成熟的生态，厂商生态相对封闭，需要厂商自身实现DevOps的解决方案嵌入式程序跟底层硬件紧密相关，无法跨平台执行，程序执行和测试需要依赖硬件环境对于这些挑战的应对措施 提高跨团队的协作意识并付诸实践 在接纳CI/CD带来的敏捷性的同时持续确保

8、安全性 分步骤分阶段完善CI/CD的应用，加速工具集兼容性 通过模拟环境和容器解耦硬件依赖性 更高的客户满意度 提高团队透明度和问责制 极大的降低成本 易于维护和更新持续集成(CI)和持续交付(CD)带来的好处（十大好处）自动化测试是CI/CD的一个重要应用场景代码分析:可靠性+安全性单元测试+集成测试API接口测试自动化UI测试（系统级端到端）人工探索性测试软件测试的类型有很多，划分的维度也多种多样。其中可以作为CI/CD自动化的通常包括：1)静态代码分析(StaticCodeAnalysis)2)单元测试(Unittesting)3)集成测试(Integrationtests)4)回归测试

9、(Regressiontests)5)接口API测试(APItesting)6)安全测试(Securitytests)7)性能测试(Performancetests)8)Commit+Build代码分析单元测试模块集成功能测试性能测试渗透测试发布+部署提交+构建开始自动化测试之前的思考1)确定哪些测试类型和测试用例可以自动化。并非所有测试都符合自动化条件。2)确定哪些自动化测试工具最适合您的需求。3)查找测试教程，为您提供需要自动化的测试类型的示例。4)创建测试自动化框架。5)制定每个人都可以遵循的执行计划。6)开发您自己的测试脚本。7)制定测试执行策略，执行测试过程。8)查看测试数据，并注意

10、测试覆盖率中的相关指标、错误或差距。现代化测试工具链的要求是什么？要求点要求点Parasoft C/C+test支持自动化完全支持命令行模式灵活的许可授权能够在容器中部署已经在Docker容器中验证支持“dockerfiles”方式集成主流的CI/CD平台可用的管道模板向Github、Gitlab和MSAzure报告结果支持标准合规支持广泛的合规标准，MISRA,AUTOSARTUV认证提供鉴定工具包代码库和开发环境日益复杂，迫使开发团队对其工具链和工作流程进行现代化改造支持容器化、CI/CD集成和自动化是现代开发工具的关键要求Parasoft产品有助于构建高效和自动化的工作流程Parasof

11、t C/C+test功能列表 静态分析 语义和句法分析 度量和代码重复查找器 错误检测和预防 标准合规性 安全、汽车、航空航天、医疗 CERT,MISRA,AUTOSAR,JSF 单元测试 主机和目标板测试执行 打桩/模拟框架 覆盖率分析 9种覆盖率指标(行，语句，分支，MC/DC)支持单元测试和应用程序监控 需求双向追溯统一的C/C+测试工具Parasoft C/C+test集成CI/CD工作流-以静态分析为例对于庞大而复杂的代码库，团队期望进行静态分析:紧密的集成到CI/CD中 专注于日常工作 快速响应反馈而无长时间的延迟 启用过滤掉预先存在的问题，仅显示在功能分支中的新违规 启用有效的抑

12、制/豁免管理“干净代码”额外的违规(合并前)关注在功能分支的扫描CI/CD完整扫描CI/CDCI/CDCI/CD静态分析专注于修改后的文件当前开发分支父级分支*修改的文件其他文件使用 C/C+test 进行静态分析缩小的范围在功能分支工作的开发人员主要对于修改后的文件相关的反馈感兴趣更短的静态分析反馈循环提高了开发人员的生产力C/C+testGit集成以自动化的方式实现参考结果参考结果当前结果当前结果 在动态开发环境中工作的用户经常处理不符合任何编码标准的代码库 他们主要担心的是，“我引入了一个新问题吗？还是已经存在的问题？”结果基线化通过让开发人员只关注新问题来提高他们的生产力。“我的我的”

13、新结果新结果静态分析专注于新违规（结果基线化）完整扫描静态分析结果提交请求结果 VisualStudioCode集成ParasoftDTP 具有对CI/CD结果本地访问的完整工作流程 将完整的CI/CD结果直接下载到VisualStudioCode 在不离开首选开发环境的情况下审查和修复CI/CD静态分析结果静态分析结果直接从Visual Studio Code中访问Parasoft DTP中的CI/CD结果CI/CDCI/CDCI/CD集成Parasoft C/C+test的嵌入式开发CI/CD工作流构建+测试环境CI/CDgit拉取(分支)推送(分支)构建和测试（本地）构建和测试（管道）生

14、成测试报告下载结果管道触发器接受/集成离线报告在线审计演讲大纲现代C/C+嵌入式开发的趋势在 CI/CD中实现嵌入式的自动化测试自动化测试达成功能安全的目标Parasoft公司介绍在安全关键型嵌入式系统中确保功能安全功能安全对软件测试（验证&确认）的要求以汽车领域ISO26262为例6-5软件产品开发总则6-8软件单元设计和实现6-9软件单元验证6-10软件集成和验证6-11嵌入式软件的测试Part6：产品开发：软件级功能安全标准ISO26262中具体的测试验证要求功能安全要求需要使用不同的测试方法测试要求测试方法测试手段（人工/工具）Parasaoft C/C+test工具是否满足实施低复杂

15、度静态分析工具满足使用语言子集静态分析工具满足实施强类型静态分析工具满足使用防御实施技术静态分析工具满足使用可靠的设计原则静态分析工具满足使用明确的图形表示法静态分析工具满足使用样式指南静态分析工具满足使用命名约定静态分析工具满足并发方面静态分析工具满足子程序和函数采用一个入口和一个出口静态分析工具满足无动态对象或变量，否则需要在其产生过程中进行在线测试静态分析工具满足变量初始化静态分析工具满足不能重复使用变量名称静态分析工具满足避免全局变量，否则需要证明使用合理性静态分析工具满足限制使用指针静态分析工具满足无隐式类型转换静态分析工具满足无隐藏数据流或控制流静态分析工具满足功能安全要求需要使用

16、不同的测试方法测试要求测试方法测试手段（人工/工具）Parasaoft C/C+test工具是否满足没有无条件跳转静态分析工具满足无递归静态分析工具满足走查代码审查工具，人工不满足结对编程代码审查工具、人工不满足检查代码审查工具、人工不满足半形式验证模型验证工具、人工不满足形式验证模型验证工具、人工不满足控制流分析静态分析工具满足数据流分析静态分析工具满足静态代码分析静态分析工具满足基于抽象解释的静态分析静态分析工具满足基于需求的测试需求双向可追溯性需求测试覆盖率工具满足接口测试单元测试集成测试工具满足故障注入测试单元测试集成测试工具、人工满足资源使用评估单元测试集成测试（目标环境）工具、人工

17、满足功能安全要求需要使用不同的测试方法测试要求测试方法测试手段（人工/工具）Parasaoft C/C+test工具是否满足模型和代码之间的背靠背对比测试（如适用）模型验证工具、人工满足需求分析（测试用例生成）需求双向可追溯性工具满足等价类的生成与分析单元测试集成测试工具、人工满足边界值分析单元测试集成测试工具满足基于知识或经验的错误猜测单元测试集成测试工具、人工不满足语句覆盖率单元测试工具满足分支覆盖率单元测试工具满足MC/DC（修正条件/判定覆盖率）单元测试工具满足控制流和数据流的验证集成测试工具满足函数覆盖率集成测试工具满足调用覆盖率集成测试工具满足硬件在环系统测试工具、人工部分满足电子

18、控制单元网络环境系统测试工具、人工不满足整车测试系统测试工具、人工不满足需求的双向可追溯性对功能安全的价值RMS/ALMcodeBeamerPolarionDTPC/C+testDTP1.获得需求、源代码、单元测试和代码覆盖率结果之间的完全可追溯性2.使用需求视图能够 直接在IDE中审查需求和测试规范 识别未经测试的需求 将单元测试用例与需求关联起来需求可追溯性 验证(Verification)和确认(Validation)确保构建正确的产品 确保正确地构建产品你能容忍有缺陷的软件被拒之门外吗？持续集成(CI)和持续交付(CD)加速功能安全合规演讲大纲现代C/C+嵌入式开发的趋势在 CI/CD

19、中实现嵌入式的自动化测试自动化测试达成功能安全的目标Parasoft公司介绍连续五次在 Forrester Waves 中被评为功能测试自动化领域的领导者(2015,2016,2018,2020,2022)IDC MarketScape 2022 全球云测试领导者2022、2023年G2 静态分析高性能软件2022年软件测试人工智能VDC嵌入式奖连续5年荣登SD 时报 测试100强（2018,2019,2020,2021,2022）上海品茶和使命上海品茶和使命客户客户PARASOFT 公司概况服务超过2,0000 家的客户财富100强占比率 60%财富500强公司中85%客户续签率 90%+专

20、注客户价值，帮助企业成功!引领自动化软件测试领域的创新和发展。超过30年的行业经验。全球化的服务能力。独立自主的企业，不受风险投资影响。经验丰富的专家提供技术实施和支持。分支机构与合作伙伴遍布全球。荣誉荣誉合作伙伴合作伙伴具有战略合作关系的伙伴包括 Infosys,Tata,Cognizant强大的联盟计划技术合作伙伴有Microsoft,CollabNet VersionOne,Compuware,Delphix,Ranorex,TI,WindRiver,ARM,IARPARASOFT 专注质量，服务全球 公司成立于1987年，总部设在美国加利福尼亚州的洛杉矶。AEP（自动错误预防）理论的创

21、始者，拥有自主知识产权的产品引领行业创新。完整的持续质量套件:代码分析,单元测试,SeleniumWebUI,接口API测试自动化+服务虚拟化。全球领先的软件测试及软件生命周期管理解决方案的专业开发供应商 全球分支机构与合作伙伴网络：9个国家，27个地区 研发中心：美国/波兰/俄罗斯/中国 Parasoft中国：上海/北京/成都/郑州/深圳Parasoft 公司作为持续质量领域领导者超过30年帮助企业在不牺牲安全性或质量的情况下实现他们的业务交付目标帮助企业在不牺牲安全性或质量的情况下实现他们的业务交付目标客户20000+专利3694+%85%财富世界500强9+国家历史34+续约率60%财富

22、世界100强通信通信/能源能源航空航空/航天航天IT/互联网互联网政府政府/监管监管医疗医疗/教育教育金融金融/服务服务汽车汽车/轨交轨交国防国防/公安公安典型客户-Parasoft 服务的部分全球客户囊括殊荣parasoftcorpparasoftparasoftcorporationparasoftFollow Parasoft to keep up with the latest!Parasoft 荣誉一览 一整套持续质量平台:代码静态分析,单元测试,SeleniumWebUI,andAPI测试自动化+服务虚拟化 以“构建”而非“收购”的产品和创新引领行业发展 囊括荣誉:连续五次在 Fo

23、rrester Waves 中被评为功能测试自动化领域的领导者(2015,2016,2018,2020,2022)IDC MarketScape2022全球云测试领导者 2022、2023年G2 静态分析高性能软件 2022年软件测试人工智能VDC嵌入式奖 连续5年荣登SD 时报测试100强（2018,2019,2020,2021,2022）2018、2019年 Gartner 软件自动化测试远见奖2019、2022年 GartnerPeerInsights最佳客户选择奖在持续质量和自动化软件测试领域引领行业35+年IDC MarketScapeLeader 2022Worldwide Cloud Testing谢谢您的观看指导!Wehelpourcustomersmitigaterisk,drivehighersoftwarequality,andachievetheircorporateobjectives.PerfectingsoftwarePARASOFT