2021年软件测试工具总结——嵌入式软件测试工具 | IDCF
共 1465字,需浏览 3分钟
·
2022-01-14 23:40
来源:软件质量报道
ETest Studio
Klocwork
Hitex TESSY
Rapita Verification Suite
Squish
Trinity DT10
VectorCAST
一、ETest Studio
一款国产化黑盒测试工具,可以做配置项测试和系统测试,包括测试资源管理、环境描述、接口协议定义、用例设计、实时数据监控、测试任务管理等功能,主要特点有:
提供各类控制总线和仪器接口API,可由开发人员集成各类通用接口板卡和用户自定义的接口板卡。支持的I/O类型包括:RS232/422/485、1553B、CAN、TCP、UDP、AD、DA、DI、DO、ARINC429等,并可灵活扩展;
支持对待测系统及其外围环境、接口情况等进行可视化仿真建模设计,如提供Matlab/Simulink集成接口,可实现现有仿真模型的开发和利用,支持仿真模型实时代码的生成和运行;
提供接口协议描述语言(DPD语言)及其编辑编译环境;
可通过表格、仪表、曲线图、状态灯等虚拟仪表实时监测接口数据;
可按二进制、十进制、十六进制监测输入与输出的原始报文并查询过滤;
测试脚本支持时序测试和多任务实时测试,具有可自动生成满足不同组合覆盖要求测试数据的功能;
提供实时内核模块,可实现高可靠性强实时测试,响应时间<=1ms,同步传送和抖动时间小于10us。上位机和下位机分别采用Windows和实时操作系统。
二、Klocwork
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注入、被污染的数据、缓存溢出、弱代码实现及其它多种常见应用安全漏洞。
三、Hitex TESSY
Tessy 源自戴姆勒- 奔驰公司的软件技术实验室,由德国Hitex 公司负责全球销售及技术支持服务,是一款专门针对基于C/C++开发的嵌入式软件进行单元/ 集成测试的工具,Tessy 也可以满足各类标准( 如ISO26262、IEC61508、EN 50128/50129 等)对测试的需求,而工具自身也通过了TUV 的认证,证明该软件是安全可靠的。主要功能有:
自动生成测试环境、一键执行及评估结果;
便捷的测试用例设计方式,如集成了分类树编辑器CTE,支持导入导出多种格式的测试用例;
通过分析源文件自动识别函数及相关接口,在接口发生变更时,支持通过简便的操作进行测试数据复用,实现高度自动化的回归测试;
提供分支覆盖、MC/DC、多条件覆盖MCC等多种覆盖度分析。
还提供其它一些工具,如:
Static code anlaysis Test case specification Working with standards Analyzer Hardware-in-the-loop test
四、Rapita Verification Suite (RVS)
RVS是一套面向嵌入式软件的测试工具集,支持MC/DC覆盖率分析,满足DO-178C和ISO 26262认证要求。其中RapiTest具有易于编写和易于审查但功能丰富的测试格式,以及创建多线程测试和测试代码元素(如泛型和私有类型)的能力(无需编写源代码)。
单元、集成和系统测试的生成和执行 - RapiTest; 结构性代码覆盖率分析 - RapiCover; 执行时间分析 - RapiTime; 调度分析 - RapiTask。
五、Squish
Squish:自动化GUI测试; Squish CoCo:代码覆盖率分析。
六、DT10
支持跟踪和检测软件执行过程中的路径、变量和各种中间状态;
支持监测和分析系统运行过程中的硬件状态并和软件状态同步分析;
支持长达一个月的长时间不间断测试,实时动态更新的覆盖率分析;
性能测试功能可以细化任意代码模块,并精确到ns;
不依赖于被测系统的CPU和OS类型;
支持串口、以太网口、异步总线、GPIO, SPI, SD卡和CAN总线等丰富的接口类型。
官网地址:https://trinitytec.com.cn/product-204
七、VectorCAST