TESSY 是 Razorcat 推出的一款专注于嵌入式软件自动化测试的专业工具，核心面向 C/C++ 嵌入式代码，覆盖单元测试、集成测试及回归测试全流程，兼具测试项目管理、需求追溯、代码覆盖率分析、故障注入等功能，且符合 IEC 61508、ISO 26262 等安全标准，广泛适配汽车电子、航空航天等安全关键领域。
- 全流程测试支持：自动化完成从项目搭建、测试设计、执行到结果分析、报告生成的完整单元测试周期，同时支持集成测试、变体代码测试、故障注入测试，适配不同测试阶段需求。
- 精细化测试设计工具：内置分类树编辑器（CTE）、测试数据编辑器（TDE）、场景编辑器（SCE）等专用工具，支持图形化创建测试用例、表格化编辑测试数据，还可通过用户代码编辑器添加自定义桩代码或操作寄存器。
- 全面的代码覆盖率分析：提供语句覆盖（C0）、分支覆盖（C1）、MC/DC、调用对覆盖（CPC）等多种标准覆盖率测量，创新推出超覆盖率（HC）和代码访问分析（CA）功能，自动识别未测试隐藏代码，满足安全标准对覆盖率的严格要求。
- 项目与需求管理：支持自定义测试项目结构，可导入导出 Polarion、DOORS 等工具的需求（支持 ReqIF、CSV、XML 格式），实现测试用例与需求的双向追溯，便于需求变更影响分析。
- 自动化与集成能力：提供 API 和命令行接口，支持编写脚本实现自动化测试与回归测试；可配置兼容主流编译器/调试器，支持与现有开发环境集成，简化测试流程。
- 报告与可视化：自动生成 PDF 格式的测试摘要报告、详细报告及 V&V 矩阵，通过测试驾驶舱、覆盖率查看器（CV）等可视化视图，直观展示测试结果与覆盖率数据，支持标注未达代码并纳入报告。
- 安全合规适配：通过 TÜV SÜD 认证，完全符合 IEC 61508、IEC 62304、ISO 26262、EN 50128 等安全关键领域标准，可直接支撑合规性验证与审计。
- 易用性与高效性：安装操作简便，图形化界面整合所有功能模块，减少手动操作，使测试流程可扩展、透明且不易出错；变体测试功能支持层级变体树管理，可高效完成系列化产品的差异化测试。
- 灵活适配性：支持不同目标系统的嵌入式软件测试，兼容多种编译器与调试器，可通过插件或格式兼容与其他需求管理、开发工具协同工作。
主要服务于嵌入式系统开发，尤其聚焦汽车电子、航空航天、工业自动化、轨交等对软件安全性和可靠性要求极高的安全关键领域，适用于需要严格合规验证、高覆盖率测试的复杂嵌入式 C/C++ 项目。
