嵌入式软件测试工具
1、ETest Studio

-
提供各类控制总线和仪器接口API,可由开发人员集成各类通用接口板卡和用户自定义的接口板卡。支持的I/O类型包括:RS232/422/485、1553B、CAN、TCP、UDP、AD、DA、DI、DO、ARINC429等,并可灵活扩展;
-
支持对待测系统及其外围环境、接口情况等进行可视化仿真建模设计,如提供Matlab/Simulink集成接口,可实现现有仿真模型的开发和利用,支持仿真模型实时代码的生成和运行;
-
提供接口协议描述语言(DPD语言)及其编辑编译环境;
-
可通过表格、仪表、曲线图、状态灯等虚拟仪表实时监测接口数据;
-
可按二进制、十进制、十六进制监测输入与输出的原始报文并查询过滤;
-
测试脚本支持时序测试和多任务实时测试,具有可自动生成满足不同组合覆盖要求测试数据的功能;
-
提供实时内核模块,可实现高可靠性强实时测试,响应时间<=1ms,同步传送和抖动时间小于10us。上位机和下位机分别采用Windows和实时操作系统。
2、Klocwork
Klocwork是一款支持百万行甚至千万行以上的C/C++/Java/JS/C#代码质量静态检测工具。

利用领先的深度数据流分析技术,静态地跨类、跨文件地查找软件运行时缺陷、错误和安全漏洞,并准确定位错误发生的代码堆栈路径。
-
Klocwork支持自动化扫描1000多种代码缺陷,包括空指针、资源及内存泄漏、未捕获的异常、除零等,全面检测代码质量问题
-
Klocwork提供全面的安全规则扫描能力,支持CWE, OWASP, CERT, PCI DSS, DISA STIG, 和ISO/IEC TS 17961等标准,深度数据流分析能力强、准确率高、漏报率低
-
支持常用的IDE,如Eclipse, Visual Studio, IntelilJ Idea等,并与CI/CD工具和集成、B/S+C/S部署方式
-
Klocwork支持静态检测软件应用的安全漏洞,包括SQL注入、被污染的数据、缓存溢出、弱代码实现及其它多种常见应用安全漏洞
官网地址:
https://www.perforce.com/products/klocwork
3、Hitex TESSY

- 自动生成测试环境、一键执行及评估结果
- 便捷的测试用例设计方式,如集成了分类树编辑器CTE,支持导入导出多种格式的测试用例
- 通过分析源文件自动识别函数及相关接口,在接口发生变更时,支持通过简便的操作进行测试数据复用,实现高度自动化的回归测试
- 提供分支覆盖、MC/DC、多条件覆盖MCC等多种覆盖度分析。
- Static code anlaysis
- Test case specification
- Working with standards
- Analyzer
- Hardware-in-the-loop test

4、Rapita Verification Suite (RVS)

- 单元、集成和系统测试的生成和执行 - RapiTest
- 结构性代码覆盖率分析 - RapiCover
- 执行时间分析 - RapiTime
- 调度分析 - RapiTask
5、Squish

- Squish:自动化GUI测试
- Squish CoCo:代码覆盖率分析
6、DT10

- 支持跟踪和检测软件执行过程中的路径、变量和各种中间状态
- 支持监测和分析系统运行过程中的硬件状态并和软件状态同步分析
- 支持长达一个月的长时间不间断测试,实时动态更新的覆盖率分析
- 性能测试功能可以细化任意代码模块,并精确到ns
- 不依赖于被测系统的CPU和OS类型
- 支持串口、以太网口、异步总线、GPIO, SPI, SD卡和CAN总线等丰富的接口类型

7、VectorCAST
