loader image

Test Solutions for Simulink Models & Production Code

Products

Test Solutions for Simulink Models & Production Code

Use Cases

Back-to-Back Test

100% Completeness, 0% Manual Effort

Terminology

Back-to-Back Test

Back-to-back tests between model and code are highly recommend by the ISO 26262 standard, but preparing and executing a back-to-back test can become quite challenging… especially in larger projects. Not only is it difficult to build up the enough test data to ensure completeness, but also the execution and the comparison between the model and code is often not intuitive or efficient.

BTC EmbeddedPlatform manages this challenge automatically, with 100% completeness and 0% manual effort.

Play now
BacktoBackTest_start
播放视频
Play now
BacktoBackTest_start
播放视频

BTC EmbeddedPlatform

Back-to-Back Test with BTC EmbeddedTester

BTC EmbeddedTester provides an ISO 26262 certified environment for the automated back-to-back test between models (MIL) and production code (SIL/PIL). All relevant details of the model and code architecture are automatically extracted for TargetLink as well as Embedded Coder models.

The needed test cases are also generated automatically, making Back-to-back test with BTC EmbeddedTester a true push-button solution. The test generation is based on so-called model checking technology. Unlike random algorithms, this technology not only guarantees that the smallest and shortest set of test cases to cover the desired objectives will be found, but it also performs a dynamic analysis showing that some objectives are unreachable. This means that the tool is able to mathematically prove that some coverage goals is not reachable.

Divide and Conquer

Hierarchical Test Approach

Especially when working with large models, Back-to-back testing becomes challenge when we only focus on the top level.  

But isolating that subsystem for test harness creation can require time-consuming and error-prone manual labor. And this often leads to additional models and artifacts which need to be stored, managed and maintained.

 With the powerful “hierarchical test approach” in BTC EmbeddedTester, all these problems are smoothly managed in the background. The needed test harness models are automatically generated “on-the-fly” from the original model, so that they don’t need to be stored or manually updated.

ADD-ON

Test Automation & CI/CD

With the BTC EmbeddedTester Test Automation add-on, you are able to run your test workflows completely automatically. The test execution can be triggered by a script or by tools such as Jenkins. When the tests are finished, a comprehensive HTML report is generated, providing a clear overview of the results as well as hyperlinks to the integrated detailed reports.

With an off-the-shelf support for Jenkins, a powerful and flexible REST API and the availability of a Linux-based container image, BTC EmbeddedTester is ready for all your future test automation needs, on your own servers or even in the cloud. 

认证

ISO 26262

BTC EmbeddedPlatform已通过德国TÜV Süd认证,适合用于安全关键软件开发项目。 该证书适用于不同的标准,包括IEC 61508-3:3010,ISO 26262,EN 50128,IEC 62304以及ISO 25119。对于汽车标准ISO 26262,该证书适用于所有ASIL级别,包括ASIL D。作为验证工具,BTC EmbeddedTester被归类为TCL 3的最高工具置信度。 我们根据要求免费向客户提供证书和相应的报告,这大大减少甚至消除了客户方工具认证措施的任何努力
ISO 26262 Certificate

申请试用License

如果您想试用我们的工具,我们很乐意免费提供评试用License。评估包括免费的发布研讨会,还为您提供了与我们的支持和工程团队进行一对一会面的机会。

预定与我们的工程团队的会议

您有任何问题或希望看到我们的工具在实际项目中运行吗?如果是这样,请使用下面的链接安排会议,我们的工程团队成员将很乐意向您展示功能和用例,并直接回答您可能遇到的任何问题。

申请试用license

如果您想试用我们的工具,我们很乐意免费提供评试用License。评估包括免费的发布研讨会,还为您提供了与我们的支持和工程团队进行一对一会面的机会。

预定与我们的工程团队的会议

您有任何问题或希望看到我们的工具在实际项目中运行吗?如果是这样,请使用下面的链接安排会议,我们的工程团队成员将很乐意向您展示功能和用例,并直接回答您可能遇到的任何问题。

BTC EMBEDDED SYSTEMS BLOG

From our Blog

Sharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.

PRODUCT VIDEOS, VIDEO BLOG & WEBINARS

Videos & Webinars

Discover some of the main features of our products in these short videos.

BTC EmbeddedTester

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