标签: 静态测试

随着自动驾驶、车联网等技术突飞猛进的发展，汽车中包含的软件越来越多。如何保证这些软件的质量成了重中之重。经纬恒润拥有十几年的嵌入式软件开发及测试经验及经验丰富的软件测试团队，能够借助测试工具及设备给客户提供优质的静态测试服务。 ISO26262功能安全对于静态测试的要求 ISO26262中对于静态测试的要求涉及到软件编码规范，如类型强转/防御性编程、架构设计如各类度量元指标约束、及详细设计如变量初始化/指针有效使用等多方面，具体要求详见表格。 静态工具与功能安全要求的映射（建模与编码规范） 静态工具与功能安全要求的映射（软件架构设计） 静态工具与功能安全要求的映射（软件详细设计与实现） 测试方案 对于汽车行业来讲，静态分析一般注重编码规则检查、软件的复杂度、质量指标等内容。通过检查代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等方面进行评估，以发现程序中不安全、不稳定的问题和模糊不明确的风险隐患，有效保障软件产品的质量。 静态测试整体方案 依照ISO26262功能安全对于静态测试的要求，有效制定符合ASIL等级要求的规则集用于测试实施。 功能安全规则集制定及实施 根据ISO26262对代码级静态测试要求，针对不同的用户，经纬恒润提供定制化的咨询服务，主要包括：测试过程能力建设、测试技术咨询、测试工具链建设、第三方测试服务等。 了解更多 请致电 010-64840808转6117或发邮件至market_dept@hirain.com（联系时请说明来自面包房社区）

前言 在基于模型的开发（MBD）领域，模型的质量对于最终产品的成功至关重要。通过阅读本文，您可了解如何提升模型质量，并在整个开发过程中确保模型的一致性和质量。 什么是更好的建模？ 更好的建模，也被称为是创建卓越软件模型的方法，对于开发高质量的软件至关重要。这一方法的关键方面包括通过精心的布局和设计保持一致的外观，确保对象和信息不被隐藏或遮挡，并遵循结构化的方法。例如，信号流应当遵循从左到右的方向，应避免信号线交叉，所有模块名称的位置应当固定在特定位置以保持一致性。这种全面的方法可确保模型不仅在视觉上清晰明确，更能保证模型的健壮性和无误，最终提高代码质量。 如何让模型变得更好？ 为了实现更好的模型，关注几个关键方面非常重要。以下是其中部分内容的详细解析： 1. 一致的布局和设计： 布局和设计对于模型具有良好的建模风格相当重要，有助于创建外观一致的更好的模型。例如，确定模型输入端口和输出端口的数量十分重要。随意的建模风格可能会对模型的可读性和可理解性有重大影响，这也是为什么需要通过通用风格指南来确保模型易于理解的原因，尤其是对于外部评审人员来说。 信号流：信号流应当遵循从左至右的方向，即从左侧的所有输入端口到位于右侧的所有输出端口。 信号线交叉：应避免或明确信号线交叉。 模块名称：所有模块名称的位置都应固定在一个特定的位置，比如模块下方。 图1: 从左至右的信号流 2. 可读性和可理解性： 为了确保模型易于理解，通用风格指南必不可少。模型的设计不应隐藏或遮挡相关对象和信息。例如，有些模块可能难以识别，这使得他们是否是常量或其数值的含义不够清楚。一个拥有良好设计的模型应当确保模块清晰可识别、大小合适，并对常量明确命名，以避免混淆。 魔法常量："Magic constants（魔法常量）"是来源或含义不明确的值，应当避免。这些不明确的值可导致误解和错误。风格指南建议在工作区中对常量进行命名和定义，以此来增加可理解性和可维护性，帮助区分不同的常量并明确它们在模型中的作用。 信号命名：一致的信号命名可提升数据流的可理解性，并减少维护工作量。总体上讲，它还有助于提高整个模型的可理解性。 图2: 信号流的可读性和可理解性 3. 健壮性和避免错误： 除了确保模型布局的一致性和清晰的可读性，建模风格指南同样强调模型的健壮性，并避免易出错的建模模式。这些指南旨在提升生成代码的可测试性和质量。比如，一个设计不当的模型可能导致功能问题。此处考虑一个有三个操作数的乘积运算模块；根据信号流的顺序和数据类型，此操作可能会产生不同的结果，从而潜在地导致错误。为了避免这样的问题，应当采用级联（cascade）方式进行建模操作，即根据要求明确定义操作的步骤顺序。通过将以上所有推荐考虑在内并应用风格指南，最终的模型的健壮性和可靠性更加优秀，功能性显著提升，并且降低出错的可能性。 强数据类型：信号和接口的数据类型需强类型化，因为不一致的数据类型会导致代码效率低下、精度降低、或范围违规。 如何实现更好的模型？ 在MBD流程中，提高模型质量对于交付成功的最终产品至关重要。MES Model Examiner® (MXAM)和MES Model & Refactor® (MoRe)是实现这一目标必不可少的工具。值得一提的是，现在MoRe已集成在所有MXAM用户许可证中，用户获得了使用高级建模功能的权限。 MXAM提供全面的静态分析，确保模型符合AUTOSAR和ISO 26262等标准。它评估模型结构和度量指标，并提供检查建模规范的最优方法。这有助于保持模型布局和设计的一致性，使模型在视觉上清晰易读。同时，MXAM还能自动修复违背建模规范的地方，避免”魔法常量“和确保命名惯例清晰明确，提升模型的可读性和可理解性。 MoRe与MXAM相辅相成，通过在Simulink中自动创建符合建模规范的模型布局，显著降低模型重构时间，并提升一致性。这样自动化帮助最大程度上减少手动错误，提高模型的健壮性和可靠性。通过确保以级联（cascade）方式进行建模操作，MoRe降低了功能问题出现的可能性，使模型健壮性提升，并且无错误。 MXAM和MoRe可共同简化开发流程，确保创建模型的设计一致、易于理解、健壮且不易出错。这样的集成最终会带来更高质量的软件开发和更高效的工作流程。 注：本文转载自MES模赛思，作者MES模赛思

我们刚刚发布了最新的MES模赛思工具更新。MXAM、MoRe和MQC的最新版本已经为您下载安装做好了准备。 下面列出了工具亮点的简要概述和发行说明。同时也欢迎您前往官网查看我们的新功能演示视频，我们的工程师将会为您展示与讲解最新功能。 MES Model Examiner (MXAM) v.10.2功能亮点 通过新增检查，为查找表模块高效地生成TargetLink代码 通过在具有相同轴或表值的不同查找表中重用变量来优化查找表代码。 确保属性值的规格一致，并通过一致的配置实现表函数代码的重用。 许可证管理器版本2.3：简化的许可证配置检查 全新的CLI选项允许您设置并验证当前的许可证配置设置，而不再自动使用GUI。 现在，如果Flexera变量（LM_LICENSE_FILE, MES_LICENSE_FILE）已通过许可证管理器中的“Test Server（测试许可服务配置）”按钮定义，就可以对许可证配置进行测试。 MES Model Examiner (MXAM) v.10.2其他更新 ----更好的模型---- 使用新的dSPACE规范为查找表模块高效地生成TargetLink代码 适用于TargetLink和MXAM的新规范文件“Towards MISRA C:2012/MISRA C:2023可用 通过对模型元素的一致命名提高可维护性 在被控对象和控制器模型中符合MISRA AC SLSF规范的语言子集 使用MISRA AC SLSF规范加强了强类型的强制执行 简化了对使用Stateflow元素的审查 对模型编辑进行了简化和加速 ----自动化---- 使用许可证管理器2.3版进行简化的许可证配置检查 改进了批处理工作流程 ----性能---- 缩短了模型分析的运行时间 ----工作流程---- 提高了使用规范文档的可用性 更新了入门套装文档和默认项目 简化了安装过程中的许可证设置 对GUI工作流程的改进 兼容性注意事项 ----错误修复---- 框架的错误修复 规范和检查的错误修复 MES Model & Refactor (MoRe) v.4.21功能亮点 改进了“Auto Layout（自动布局）”以实现高质量布局 现在，“Auto Layout（自动布局）”生成的布局变得更加易读：大型子系统的线路走向更为清晰，与端口模块连接的线路交叉更少，且模块能更好地水平对齐。 “自动布局” ：更好地将信号线传送到顶部端口 现在，连接到顶部端口的信号线的布线更加合理，可以最大限度地减少线路弯曲。以前，连接模块顶部端口的线路可能会出现不必要的弯曲。 “自动布局”和“优化布局” ：更清晰的信号线路由 现在，通过保持信号线之间的一个最小距离，提高了信号线的可追溯性。以前，信号线有时走的太近，在极少数情况下，它们甚至重叠。 MES Quality Commander (MQC) v.7.5功能亮点 通过RESTful API连接器实现强大的数据源访问（beta） 通过Gitlab API等RESTful API，您可以灵活且高效地访问Gitlab项目中的数据。除了标准文件阅读器和git连接器，MQC现已增加新的API连接器。 这允许您使用Gitlab管道工件连接器直接从管道中检索工件。 改进了质量模型配置的验证 我们增加了更多检查，以确保质量模型配置在导入时保持一致。如果存在任何不一致，系统将发出警告，以便您修复配置。

功率半导体是电子产业链中最核心的一类器件， 能够实现电能转换和电路控制作用。功率半导体包括功率半导体分立器件(含模块)以及功率IC等。其中，功率半导体分立器件按照器件结构可分为二极管、晶闸管和晶体管等。 以MOSFET、IGBT以及SiC MOSFET为代表的功率器件需求旺盛。根据性能不同，广泛应用于汽车、充电桩、光伏发电、风力发电、消费电子、轨道交通、工业电机、储能、航空航天和军工等众多领域。 随着行业技术革新和新材料性能发展，功率半导体器件结构朝复杂化演进，功率半导体的村底材料朝大尺寸和新材料方向发展。以SiC(碳化硅)、GaN(氮化镓)为代表的第三代宽禁带半导体材料迅速发展，它们通常具有高击穿电场、高热导率、高迁移率、高饱和电子速度、高电子密度、高温稳定性以及可承受大功率等特点，使其在光电器件、电力电子、射频微波器件、激光器和探测器等方面展现出巨大的潜力。SiC(碳化硅)和GaN(氮化镓)电力电子器件也逐渐成为功率半导体器件的重要发展领城。另外，由于不同结构和不同衬底材料的功奉半导体电学性能和成本各有差异，在不同应用场景各具优势。 功率半导体的生产流程，主要包括设计验证、晶圆制造、封装测试三个主要环节，其中，每一个生产环节又包含若干复杂的工艺制程。 静态特性测试挑战 随着半导体制程工艺不断提升，测试和验证也变得更加重要。通常，主要的功率半导体器件特性分为静态特性、动态特性、开关特性。静态参数特性主要是表征器件本征特性指标，与工作条件无关的相关参数，如很多功率器件的的静态直流参数(如击穿电压、漏电流、阈值电压、跨导、压降、导通内阻)等。 功率半导体器件是一种复合全控型电压驱动式器件，兼有高输入阻抗和低导通压降两方面的优点:同时半导体功率器件的芯片属于电力电子芯片，需要工作在大电流、高电压、高频率的环境下，对芯片的可靠性要求较高，这给测试带来了一定的困难。市面上传统的测量技术或者仪器仪表一般可以覆盖器件特性的测试需求，但是宽禁带半导体器件SiC(碳化硅)或GaN(氮化镓)的技术却极大扩展了高压、高速的分布区间。如何精确表征功率器件高流/高压下的I-V曲线或其它静态特性，这就对器件的测试工具提出更为严苛的挑战。 更高精度更高产量 并联应用要求测试精度提离，确保一致性 终端市场需求量大，要求测试效率提高，UPH提升 更宽泛的测试能力 更宽的测试范围、更强的测试能力 更大的体二极管导通电压 更低的比导通电阻 提供更丰富的温度控制方式 更科学的测试方法 扫描模式对阈值电压漂移的影响 高压低噪声隔离电源的实现 高压小电流测量技术、高压线性功放的研究 低电感回路实现 柔性化测试能力 兼容多种模块封装形式 方便更换测试夹具 灵活配置，满足不同测试需求 PMST系列功率器件静态参数测试系统是武汉普赛斯正向设计，精益打造的高精密电压/电流测试分析系统，是一致能够提供IV，CV、跨导等丰富功能的综合测试系统，具有高精度、宽测量范围、模块化设计、轻松升级扩展等优势，旨在全面满足从基础功率二极管、MOSFET. BJT、 IGBT到宽禁带半导体SiC、GaN等晶圆、芯片、器件及模块的静态参数表征和测试，并具有卓越的测量效率、一致性与可靠性。让任何工程师使用它都能变成行业专家。 针对用户不同测试场景的使用需求，普赛斯全新推出PMST功率器件静态参数测试系统、PMST-MP功率器件静态参数半自动化测试系统、PMST-AP功率器件静态参数全自动化测试系统三款功事器件静态参数测试系统。 从实验室到小批量、大批量产线的全覆盖 从Si IGBT. SiC MOS到GaN HEMT的全国盖 从晶圆、芯片、器件、模块到PM的全覆盖 产品特点 高电压、大电流 具有高电压测量/输出能力,电压高达3500V(最大可扩展至10kV) 具有大电流测量/输出能力,电流高达6000A(多模块并联) 高精度测量 nA级漏电流, μΩ级导通电阻 0.1%精度测量 模块化配置 可根据实际测试需要灵活配置多种测量单元系统预留升级空间,后期可添加或升级测量单元 测试效率高 内置专用开关矩阵,根据测试项目自动切换电路与测量单元 支持国标全指标的一键测试 扩展性好 支持常温及高温测试可灵活定制各种夹具 硬件特色与性能优势 大电流输出响应快，无过冲 采用自主开发的高性能脉冲式大电流源、高压源，输出建立过程响应快、无过冲。测试过程中，大电流典型上升时间为15us,脉宽在50-500μs之间可调。采用脉冲大电流的测试方式，可有效降低器件因自身发热带来的误差。 高压测试支持恒压限流，恒流限压模式 采用自主开发的高性能高压源，输出建立与断开响应快、无过冲。在击穿电压测试中，可设定电流限制或者电压限值，防止器件因过压或过流导致损坏。 工作原理 传统测试系统的搭建，通常需要切换测试仪表和器件连接方式才能完成功率器件I-V和C-V整体参数测试，而PMST功率器件静态物数测试系统内置专用开关矩阵，根据测试项目自动切换电路与测量单元，同时可灵活定制各种夹具，从而可以实现I-V和C-V全参数的一键化测试。只需要设置好测试条件，将器件故置在测试夹具中，就可以帮助您快速高效且精准的完成测试工作。

Helix QAC 2024.1改进了对C++20和C23语言特性的支持，并增加了分析使用多个编译器的项目的新功能。此外，Validate增强了对于搜索功能和角色权限的用户体验，并且包括一个新的问题列表的CSV下载选项。 此版本还包括对于C/C++的CWE、C的HKMC和MISRA C++:2023®合规模块的扩展执行，以及许多常规产品质量提升。 语言增强 C++20 此版本增加了对以下语言功能的改进支持: • C++20的概念 • C++20简化函数模板 C23 此版本增加了对以下语言特性的初始支持: • 当设置 -c23constexpr 时支持应用C23 constexpr 除了扩展的语言功能支持外，对于GCC 12/13版本以及MSVC 2022版本的用户体验也得到了改进。 多编译器项目支持 Helix QAC现在能够为使用多个编译器的项目提供配置分析设置。 • 支持一个项目中每种语言可以使用多个CCT。 • 提供一致的分析结果，降低在各种编译器环境中出现误报或漏报的可能性。 • 允许需要静态分析的跨平台开发项目具有更大的灵活性。 • 帮助识别编译器特定问题。 • 允许开发人员在为项目选择编译器时拥有更大的工具链的灵活性。 Validate新的提升和功能 以CSV格式下载问题列表 新的CSV下载按钮位于Validate的Issues页面顶部，根据当前的搜索查询下载缺陷列表。如需额外的问题信息，例如行号、评论和理由，需要订阅Validate高级合规报告包。 扩展搜索 Validate模块的正则表达式（RegEx）搜索功能提供了对*和**通配符字符的支持，以便在指定文件系统路径时使用。有关更多信息，请参阅modules 文档。 新角色权限 添加了“变更问题所有者（change issue owner ）”权限，该权限允许用户更改问题的所有者，而无需更改问题状态。 出于审查目的保留许可证日志 现在，您可以将日志保留在许可证服务器的license.report.log文件中，以便达到审查的目的。这样，在服务器重启后，不会覆盖该文件。要了解append.license.logging的设置，请参阅validate service.。 编码标准的覆盖范围（CWE、HKMC、MISRA C++:2023®） 对于以下合规模块，改进了规则和指令的执行： 与NIST 500-268要求相关的C/C++的CWE模块 • CWE-259、CWE-412、CWE-367、CWE-99、CWE-321 C的HKMC模块 • C-MSC-011 MISRA C++:2023模块 • Dir 0.3.2 产品质量的提升 改进了对CCT自动生成的额外编译器的支持 • Keil armcc • 改进了对Clang 12的支持 • GCC 12/13 • MSVC 2022 • ‘qainject’现在是默认的同步方法 表现 • 对于涉及大量分支的结构，分析时间总体上有所减少。 libc++ 增强了对libc++标准库的支持。 • 增加了-iso646keywords的选项，以匹配-fno-operator-names行为。 • 启用时，不使用操作符的替代关键字名称。 编译器扩展 • C语言的"复合字面量"特性现在作为QAC++的扩展得到支持。 符号引用 • 改进了对VCS和非VCS创建的符号链接的支持。 Visual Studio和Eclipse IDE插件 • 总体稳定性提高 CLI • “qacli project”的新命令支持： • 创建、修改、升级、配置文件 操作系统 • 支持Ubuntu Linux 22.04 Helix QAC 2024.1的重要变化 QACLI Admin命令被弃用 对于“qacli admin”，以下命令已被弃用，并将在未来版本中删除: • --qaf-project-config, --upgrade, --create-config-file, --edit-config-file, --list-config-files 合规模块目录更改 提醒:自Helix QAC 2023.4起，Helix QAC不再从旧的“PRQA”目录中读取合规模块。合规性模块只能从“Perforce”文件目录中读取。 以下是现已过时的文件目录: • %LOCALAPPDATA%\PRQA\installed_components.ini • %PROGRAMDATA%\PRQA\installed_components.ini • ${HOME}/.config/PRQA/installed_components.ini • /etc/prqa.d/installed_components.ini 许可证管理的变更 随着Helix QAC 2024.1版本的发布，为RLM v15.1服务器提供了一个新的安装程序。如果使用Validate 2024.1与Helix QAC搭配，则此服务器版本是必需的；否则是可选的。 免费新版试用欢迎私信北汇获取