代码行级别的问题定位，却在系统测试？这家德国公司推出创新方案

车载嵌入式软件测试体系分层质量保障的完整架构车载嵌入式软件测试遵循严格的分层验证策略每一层都有其独特的验证目标和价值测试类型核心问题关键价值测试重点单元测试验证代码单元逻辑和边界条件早期发现错误降低解决成本函数输入输出、异常处理、内存泄漏模块测试验证模块内部组件协作能力确保接口稳定性和性能指标达成CAN通信、传感器数据、执行器控制集成测试验证多模块组合后的兼容性发现接口冲突、数据传输和时序问题跨模块数据流、通信协议、资源竞争系统测试验证完整ECU系统的功能与性能确保系统需求实现和鲁棒性功能验证、性能基准、故障恢复HIL测试验证软硬件结合环境下的真实表现模拟真实工况发现交互问题信号处理精度、控制准确性、环境适应实车测试验证真实驾驶环境下的可靠性与体验最终功能验证和法规符合性确认极端工况、长期可靠性、实际场景覆盖单元测试过程中报错能精确到代码行代码行上直接修改。但编译后的软件包做测试往往只能明确功能或接口有问题而无法精确到某一行从而花费更多的代码修改时间。同样也无法判断哪些代码行经过了测试而哪些没有经过测试。软件包测试的技术挑战发布版本验证的现实困境1. 集成与系统测试阶段的核心需求在集成测试和系统功能测试阶段工程师面对的是经过完整编译优化的二进制软件包。这些软件包承载着以下关键验证需求生产级软件包的特殊性编译器优化效果经过-O2或-O3优化的代码其执行路径和性能特征与开发版本存在显著差异真实部署环境反映实际ECU硬件环境下的内存限制和计算资源约束完整功能集成包含所有子系统功能体现真实的系统级交互行为2. 传统测试工具的根本性技术瓶颈当前主流的代码覆盖率工具在处理生产级软件包时面临不可回避的技术矛盾: 插桩技术的固有缺陷传统工具依赖代码插桩技术这种方法存在根本性问题1.性能干扰问题执行时间膨胀插桩代码通常导致20-50%的性能下降内存占用增加额外的覆盖率数据收集消耗大量内存资源缓存行为改变插桩代码改变了原程序的内存访问模式影响缓存效率2.代码一致性破坏重新编译需求必须基于修改后的源代码重新编译生成的二进制文件不再是最终发布版本优化级别妥协为确保插桩代码正常工作通常需要降低编译器优化级别符号信息污染调试信息的引入改变了程序的内存布局和加载特性3.实时性能妥协时序特性破坏对于汽车ECU这类硬实时系统任何性能干扰都可能导致时序违约中断响应延迟插桩代码可能影响中断处理的实时性确定性行为丢失性能的不确定性掩盖了原程序中潜在的时序问题核心矛盾集中体现为如何在完全不修改生产级软件包的前提下获得精确到代码行级别的深度分析数据技术突破CEDARtools.Coverage的非侵入式创新Accemic Technologies GmbH开发的CEDARtools.Coverage代表了嵌入式软件分析技术的根本性突破。其核心创新在于通过硬件级跟踪技术实现对生产软件的完全透明监控。1. 真正的非侵入式监控CEDARtools.Coverage实现了业界首个真正意义上的非侵入式软件分析零代码修改承诺无需对任何源代码或目标文件进行修改零性能开销保证不增加任何CPU执行时间、内存占用或I/O开销零功能干扰确保不改变程序的任何执行逻辑、时序特性或中断行为这种彻底的非侵入性确保了测试结果的绝对可信性—被分析的就是最终用户将要运行的确切软件版本。2. 实时高精度分析能力微秒级事件捕获能够捕获和分析微秒级别的程序执行事件和状态变化指令级分析精度可以精确跟踪到每一条机器指令的执行情况和执行次数无限时长监控支持支持7×24小时连续监控而不对系统性能产生任何影响3. 业界最全面的覆盖率分析CEDARtools.Coverage提供了业界最完整的代码覆盖率分析维度行覆盖率Line Coverage精确到源代码行级别的执行统计分支覆盖率Branch Coverage所有条件分支和循环分支的执行路径分析函数覆盖率Function Coverage函数调用频次和调用关系统计条件覆盖率Condition Coverage复合条件表达式中各子条件的真值组合分析路径覆盖率Path Coverage程序执行路径的完整映射和热点分析MC/DC覆盖率满足DO-178B/C标准的修改条件/判断覆盖率谁是Accemic Technologies GmbHAccemic Technologies是一家总部位于德国的技术公司在基弗尔斯费尔登慕尼黑都市区和德累斯顿设有办公室开发了CEDARtools® —— 一项用于可靠嵌入式系统动态分析的专利突破性技术。专利技术的突破性创新Accemic过去开发了CEDARtools® —— 一项针对可靠嵌入式系统动态分析的专利突破性技术这项技术的核心价值在于解决了传统测试方法无法处理的复杂系统问题。工业案例验证新的测试解决方案将基于航空和自动驾驶领域的工业案例研究进行验证这表明Accemic的技术已经在最严苛的安全关键应用场景中得到实际应用和验证。技术价值的客户认可凭借其知识和对创新的承诺Accemic已经说服了行业顶级客户在汽车、航空和工业自动化等关键领域建立了广泛的客户基础。MappingSpace与Accemic的联合解决方案需求到测试的完整追溯通过MappingSpace平台管理需求基线和测试用例设计利用CEDARtools.Coverage进行精确的测试执行和覆盖率分析实现从需求到代码行级别的完整可追溯性与现有CI/CD流程的无缝集成ASPICE与功能安全流程的深度支持MappingSpace内置的ASPICE流程模板确保过程合规性CEDARtools.Coverage提供符合ASPICE要求的测试证据和分析报告自动化生成符合标准要求的质量文档中德软件工具生态合作引领汽车软件开发的未来MappingSpace与Accemic的战略合作不仅仅是两个优秀技术平台的简单结合更代表了汽车软件开发测试领域的一次重要变革。这种从研发管理到技术实现的完整解决方案为汽车行业提供了应对软件复杂性挑战的全新路径。我们很高兴将这个解决方案在中国和欧洲市场推广从而促进两个地区的汽车行业发展。