BTC EmbeddedTester

Smart test generation for an ISO 26262 certified and fully automated Back-2-Back Test

BTC Back-to-Back 测试套件

BTC Back-to-Back 测试套件是经过 ISO26262认证的全自动的等效性测试套件

BTC Back-to-Back 测试套件可全自动完成 Simulink/TargetLink 模型和代码的等效性测试。在功能测试用例不能满足代码100%覆盖率时,该套件可自动解析未覆盖的代码,并自动生成测试用例,从而让代码的覆盖率达到 MC/DC 级别的100%覆盖。BTC Back-to-Back 测试套件无缝集成 Simulink/TargetLink模型和代码,可自动执行 MIL/SIL/PIL 等不同级别的测试,并自动比较仿真结果,生成等效性测试报告。

对于大规模模型,您可以不修改模型的前提下,先对较小的子系统进行开环的等效性测试,从而降低发现 和解决Bug 的难度。

另外,除了支持标准的模型和代码的等效性测试以外,
BTC Back-to-Back 测试套件还支持不同版本的模型或代码之间的回归测试,
这在把 MATLAB及 TargetLink 等升级到新版本之后,验证新环境对控制模型的影响时非常有效。

BTC Back-to-Back 测试套件包含 BTC Requirement-based 测试套件的所有功能。

 

满足结构覆盖率的智能测试用例生成技术

BTC Back-to-Back 测试套件可以自动生成测试用例激励输入来达到 C 代码结构的全覆盖,包括语句覆盖,判定覆盖,条件覆盖,MC/DC覆盖及可取值区间覆盖。测试用例生成引擎会自动生成输入和标定变量的数据,辅助检出在功能测试阶段没有得到暴露的问题。

 这里的测试用例生成引擎用的是一种叫模型检查(Model Checking)的技术,不像其他一些随机算法生成的测试用例比较冗长,模型检查技术不仅仅能保证生成的测试用例步数最精短(便于调试),而且在找不到合适的测试数据组合来覆盖对应覆盖率目标时,证明出死代码(Unreachable) 的存在。

 

C 代码的鲁棒性,品质测试

除了结构覆盖率目标,BTC Back-to-Back 测试套件也支持解析 C 代码的可靠性,从而保证代码的品质。这些可靠性测试包括 分母为0 的可能性的证明等,从而提高代码安全性的同时,大幅度的降低您复审代码的工时。

 

测试自动化和版本升级测试

为了确保新的 TargetLink 或MATLAB环境对控制策略本身没有影响,在升级环境的时候我们需要做回归测试。

BTC Back-to-Back 测试套件提供Test Automation插件辅助环境升级用户一站式完成升级时所需要的回归测试。除了使用直观的画面进行这一操作外,您也可以使用脚本来全自动化完成此测试,并生成清晰易懂的测试报告。