It’s all about integration

Requirements-based Testing for Simulink/TargetLink models and production code

Requirement-based testing 套件

一切为了集成,面向于Simulink/TargetLink 模型及量产代码进行功能测试

Requirement-based testing 套件主要用来创建,管理和在不同的级别(MIL/SIL/PIL)对模型及代码执行测试用例。通过集成的比如需求管理功能,模型及代码覆盖率统计,自动生成调试环境及报告等功能,您可在一个环境下完成Simulink/TargetLink模型及手写代码的功能测试。

如果您在做功能测试的同时使用BTC 的 SUP 形式语言来形式化需求,您这可以自动生成来自于需求的测试用例,或者执行形式测试自动判定所有的测试结果是否违反需求。

同时该套件提供一整套的 API 集及一系列插件开发接口来支持二次开发,让您很方便的定制该工具,从而满足项目的特殊需求。

 

和您现有开发工具的集成

Requirement-based testing 套件高度集成Simulink/TargetLink,作为最完美的工具来支撑模型和代码的测试。对于大规模的模型,可以在不修改模型的基础上对子系统进行单独测试,以最便利的方法进行深度测试。同时,还提供面向于需求管理工具的直接连接来支撑可靠的需求追溯管理,比如 IBM DOORS,PTC Integrity 及dSPACE SYNECT 和 Excel 格式的需求可以无缝连接。另外测试用例可被导入导出,并支持多种格式,比如 Excel,MAT,XML,Signal Builder 以及MDF。 通过二次开发的插件,可以很容易的支持新的格式。

 

智能且强大的测试用例编辑器BTC Test Composer

BTC TestComposer 是一个运行在 BTC EmbeddedPlatform 的一个插件,她提供一个 强大的测试用例编辑器,您可以在该编辑器的直观的画面中,像操作 Excel 一样,进行测试用例的编辑及测试数据的校验工作。同时 BTC TestComposer还提供了信号发生器,数据打印视图,及手写 M 文件脚本自动判定仿真结果功能。

 

 

支持所有的覆盖率指标

为了量化基于需求测试的完成程度,我们需要测量和评估各种覆盖率目标,BTC Requirement-based testing 套件可在一个画面中报告需求覆盖率,模型覆盖率和代码覆盖率。尤其是代码覆盖率报告在后台自动运行更新,不需要额外的插件。

 

 

一步到位的调试功能

如果某条测试用例没有通过测试,您可以使用BTC Requirement-based testing 套件导出包含该条测试用例的调试环境。该调试环境可以是 Simuink/TargetLink 模型,也可以是Microsoft Visual Studio Project的调试项目进行 C 代码的逐行调试。有关调试所需要的所有数据都被完整封装,您可以使用第三工具很容易的复用该调试环境。