1.Tessy
Tessy是一个专门针对嵌入式软件的C/C++代码进行单元、集成测试的工具,可以自动化执行测试、评估测试结果并生成测试报告。
Tessy软件源自戴姆勒-奔驰公司的软件技术实验室,在戴姆勒-奔驰公司得到广泛使用,1997年之后独立称为专业的软件测试工具公司Razorcat,由德国Hitex负责销售及技术支持服务。
北京经纬恒润作为Hitex/Razarcat公司的中国合作伙伴,为中国汽车客户提供Tessy软件及软件测试服务。
2.QAC
Helix QAC是权威C/C++代码合规性静态分析工具,适用于对代码的规范性和可靠性有较高要求的软件系统。Helix QAC提供编码规则检查、数据流分析和代码度量分析等全面的代码静态分析功能,可以自动检测软件中不规则、不安全、不明确、不可移植的有关编码风格、命名惯例、程序逻辑、语法和结构的代码。
凭借对权威代码规则集的高准确率和覆盖率的显著优势,Helix QAC已经成为高可靠性和安全性嵌入式软件领域,尤其是汽车电子、轨道交通和航天航空领域最普遍使用和最权威的代码分析工具之一。
3.Coverity
也是静态分析软件,