SMAVE Object Code Analyzer | 目标码覆盖率分析工具

SMAVE Object Code Analyzer
目标码覆盖率分析与审阅闭环

SMAVE Object Code Analyzer 面向嵌入式软件验证与测试场景，支持读取编译生成的目标程序，识别函数、机器指令、条件分支和地址信息，并结合程序在开发板或目标运行环境中的执行数据，完成代码覆盖率、分支覆盖率和函数覆盖率分析。系统支持未覆盖项说明、多轮测试结果合并和正式报告导出，帮助用户建立从运行数据采集、覆盖结果分析到审查交付的完整流程。

优势

面向真实嵌入式程序

工具直接分析编译后的目标程序，并结合开发板或目标运行环境中的实际运行结果，完成覆盖率分析，更接近程序在设备中的真实执行情况。

自动识别程序结构与覆盖结果

系统可自动识别函数、机器指令、条件分支、源文件位置和地址信息，并展示代码覆盖率、分支覆盖率、函数覆盖率及未覆盖代码情况。

支持测试合并与审查报告输出

支持多轮测试结果合并、未覆盖原因说明、处理状态标记和正式报告导出，满足测试交付、质量审查和项目归档需求。

功能点

工程管理

静态导入

数据采集

覆盖分析

审查报告

分析工程统一管理

支持新建和管理覆盖分析工程，保存目标芯片、编译环境、开发板采集配置、分析历史和测试结果，便于不同项目的数据组织、复用和持续追踪。

1/5

目标程序与配套文件导入解析

支持导入编译生成的 ELF 目标程序、MAP 符号映射文件和 LST 汇编清单，自动检查文件格式并识别目标处理器类型，解析函数、机器指令、条件分支、源代码位置和地址信息。

2/5

开发板运行数据采集与导入

支持配置配套采集程序、开发板型号和调试工具，将测试程序写入开发板，读取程序运行记录，自动生成并导入覆盖数据；也支持手工导入已有运行记录。

3/5

覆盖率计算与测试结果合并

系统基于目标程序结构和运行数据，计算代码执行覆盖率、分支覆盖率和函数覆盖率，展示未覆盖代码；同时支持多份运行数据合并，生成累计覆盖结果并比较新增覆盖情况。

4/5

未覆盖项审查与正式报告输出

支持搜索和筛选未覆盖项，填写未覆盖原因、添加审查意见并标记处理状态；分析结果可预览并导出为网页、PDF、Word 报告及函数统计表。

5/5

分析工程统一管理

支持新建和管理覆盖分析工程，保存目标芯片、编译环境、开发板采集配置、分析历史和测试结果，便于不同项目的数据组织、复用和持续追踪。

1/5

目标程序与配套文件导入解析

支持导入编译生成的 ELF 目标程序、MAP 符号映射文件和 LST 汇编清单，自动检查文件格式并识别目标处理器类型，解析函数、机器指令、条件分支、源代码位置和地址信息。

2/5

开发板运行数据采集与导入

支持配置配套采集程序、开发板型号和调试工具，将测试程序写入开发板，读取程序运行记录，自动生成并导入覆盖数据；也支持手工导入已有运行记录。

3/5

覆盖率计算与测试结果合并

系统基于目标程序结构和运行数据，计算代码执行覆盖率、分支覆盖率和函数覆盖率，展示未覆盖代码；同时支持多份运行数据合并，生成累计覆盖结果并比较新增覆盖情况。

4/5

未覆盖项审查与正式报告输出

支持搜索和筛选未覆盖项，填写未覆盖原因、添加审查意见并标记处理状态；分析结果可预览并导出为网页、PDF、Word 报告及函数统计表。

5/5

核心能力

对象文件解析与地址归一化

系统导入编译生成的目标程序后，可识别文件格式、目标架构、函数列表、机器指令和源代码位置，并统一处理执行数据中的地址信息，为覆盖率计算和未覆盖项定位提供准确基础。

对象文件解析与地址归一化

硬件运行数据采集链路

工具可对接目标板卡、调试器和配套采集程序，完成测试程序处理、写入、执行、运行结果读取和覆盖数据生成，将目标环境中的真实执行结果接入分析流程。

硬件运行数据采集链路

统一运行数据与审阅快照

系统将开发板采集结果、离线运行记录和多轮测试数据统一接入覆盖分析，支持覆盖结果查看、未覆盖项说明、审查意见记录和报告输出，形成可追踪的审查交付过程。

统一运行数据与审阅快照

使用场景

目标环境覆盖率分析

嵌入式软件测试

测试人员在开发板或目标运行环境中执行测试用例后，可通过工具分析目标程序的代码、分支和函数覆盖情况，评估测试执行是否充分。

测试用例补充

系统可根据未覆盖代码和未覆盖分支定位测试缺口，辅助用户设计新的输入条件或运行场景，提升整体覆盖率。

离线分析与审查交付

离线与多轮数据分析

在没有连接开发板的情况下，用户也可以导入已保存的运行记录或覆盖报告进行分析；同时支持合并多个版本或多轮测试数据，评估回归测试覆盖范围和新增覆盖效果。

审查报告交付

用户可对未覆盖代码填写原因、添加审查意见并标记处理状态，生成包含覆盖率、函数统计、未覆盖清单和审查结论的正式报告，用于测试交付、质量审查和项目归档。

行业应用

航空航天

核电领域

汽车电子

轨道交通

航空航天

适用于机载软件、控制软件等高可靠嵌入式软件验证场景，支持结合目标程序结构与目标运行环境数据开展覆盖率分析、未覆盖项审查和报告归档。

1/4

核电领域

适用于反应堆保护系统、安全监控系统等核安全相关控制软件测试。工具支持目标程序解析、运行数据采集、覆盖率分析和未覆盖项说明，帮助团队整理验证记录、审查结论和归档报告。

2/4

汽车电子

适用于 MCU 控制软件、车载嵌入式固件和基础软件测试，支持目标程序导入、运行数据采集、覆盖率分析和多轮测试结果合并，帮助团队评估测试覆盖完整性。

3/4

轨道交通

适用于信号系统、列车控制单元等轨道交通安全相关软件测试。工具支持目标程序解析、运行数据采集、覆盖率分析和未覆盖项审查，帮助团队形成可追踪的测试记录、审查说明和归档报告。

4/4

航空航天

适用于机载软件、控制软件等高可靠嵌入式软件验证场景，支持结合目标程序结构与目标运行环境数据开展覆盖率分析、未覆盖项审查和报告归档。

1/4

核电领域

适用于反应堆保护系统、安全监控系统等核安全相关控制软件测试。工具支持目标程序解析、运行数据采集、覆盖率分析和未覆盖项说明，帮助团队整理验证记录、审查结论和归档报告。

2/4

汽车电子

适用于 MCU 控制软件、车载嵌入式固件和基础软件测试，支持目标程序导入、运行数据采集、覆盖率分析和多轮测试结果合并，帮助团队评估测试覆盖完整性。

3/4

轨道交通

适用于信号系统、列车控制单元等轨道交通安全相关软件测试。工具支持目标程序解析、运行数据采集、覆盖率分析和未覆盖项审查，帮助团队形成可追踪的测试记录、审查说明和归档报告。

4/4

message

获取专业解决方案

联系解决方案专家，进行详细沟通