知从软件测试工程服务
简介

在汽车基础软件开发过程中,测试的重要程度也日趋明显。测试用来检测该功能是否按照预期实现,测试是对软件质量的一个度量,通过前期的测试,尽早的发现软件中的 BUG,进而提高软件质量,保证产品质量。

测试链基本步骤如下:

       image.png 针对代码的静态测试

       image.png 针对详细设计的单元测试

       image.png 针对架构的集成测试

       image.png 针对需求的系统测试

详细介绍

1,静态测试-知从 QAC 测试服务

静态测试通过分析源程序的语法、结构、过程以及接口等来检查源程序的正确性、可读性性、可维护性。知从提供的静态测试主要是利用 QAC 根据 MISRA C 规范对静态代码的一个规范检测,并提供相应详细测试报告。 

QAC 测试可检测的度量:

       image.png 函数圈复杂度 STCYC

       image.png 路径复杂度STPTH

       image.png 嵌套深度STMIF

       image.png IF ELSE 数量 STELF

       image.png 其他度量

静态测试的优点:

       image.png 发现程序中的语法错误

       image.png 检查软件是否符合编程标准

image.png

QAC 静态分析界面

QAC 测试中可以检测多种度量,通过选择需要检测的度量,可以将代码中每个函数的度量结果以折线图方式显示在界面上。

image.png

QAC 各函数度量

显示的源文件引用嵌套关系,可以帮助减少不必要的嵌套调用,降低代码调用的复杂度。


image.png

该文件嵌套关系

测试提供的QAC 静态分析报告包括 Metrics 度量、MISRA 违反编程规范的错误列表以及误差列表——用于显示文件中出现的 QAC 错误以及修正建议。 

image.png

QAC 静态分析报告

2,单元测试-知从 TESSY 测试服务

单元测试是软件开发 V 模型中重要的一环(如图 5),在完成编码工作后,测试工程师根据详细设计进行单元测试,用来验证函数的功能是否按照详细设计来实现,以及通过单元测试来发现潜在 BUG。为此知从推出 Tessy 单元测试服务(C 语言),包括 PC 端模拟测试和实际芯片环境的测试。 

image.png

软件 V 模型开发部分

单元测试的作用:

       image.png 检测功能错误

       image.png 检测功能遗漏

       image.png 检测超出需求中的部分

Tessy 的实际芯片测试环境搭建很复杂,知从也提供环境搭建服务。

知从目前可提供搭建的环境:

image.png

image.png

根据提供的设计需求设计相应的测试 Case,检测代码实现的功能是否满足需求,保证功能与需求的可追溯性。 

image.png

Tessy 单元测试界面

检测代码的路径覆盖度是否能够满足,保证代码中所有路径都能正常运行。

image.png

Tessy 单元测试试用例覆盖度视图

搭建目标芯片在对应编译器与调试器下的实机环境,提供 xml 环境配置文件。 

image.png

Tessy 实机环境搭建

Tessy 测试可以生成 4 种报告,包括 Details Report、Overview Report、 Planning Coverage Report 和 Execution Coverage Report。 

image.png

Tessy Overview 报告

image.png

Tessy 测试路径覆盖度报告

相关下载
产品手册

点击下载产品手册