Play now
Play Video
Play now
Play Video
How can I create the needed millions of scenarios?
How can I avoid the test explosion problem?
How can I find out if my tests are passed or failed?
How can I create the needed millions of scenarios?
How can I avoid the test explosion problem?
How can I find out if my tests are passed or failed?
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.
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.
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.
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.
BTC EmbeddedPlatform (incl. BTC EmbeddedTester BASE, BTC EmbeddedTester, BTC EmbeddedSpecifier and BTC EmbeddedValidator) has been certified by German TÜV Süd as fit for usage in safety critical software development projects.
The certificate addresses different standards including IEC 61508-3:3010, ISO 26262, EN 50128, IEC 62304 as well as ISO 25119.
For the automotive standard ISO 26262, we have been certified with the highest tool confidence level TCL and the certificate is valid for all ASIL levels including ASIL D.
We provide the certificate and the corresponding report to our customers free of charge upon request, which almost eliminates any effort for tool qualification measures on the customer side.
If you would like to try out our tools, we will gladly provide an evaluation license free of charge. Evaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.
Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.
If you would like to try out our tools, we will gladly provide an evaluation license free of charge. Evaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.
Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.
Thabo Krick
Oldenburg, Germany
Wolfgang Meincke
Stuttgart, Germany
Smart test generation for an ISO 26262 certified and fully automated Back-to-Back Test
We provide intelligent and automated test solutions which enable our customers to deal with the growing complexity of embedded software while achieving high quality in compliance with the ISO 26262 standard.
Copyright © 2024 BTC Embedded Systems